Попов, В. М. Секвенциальная аксиоматизация и семантика I-логик васильевского типа. ЛИ 2016, 22, 32-69.