Алгебраические эквиваленты некоторых свойств суперинтуиционистских предикатных логик
Базисы допустимых правил модальной системы Grz и интуиционистской логики
Базы допустимых правил логик S4 и Int
Вложения импликатных решеток и суперинтуиционистские логики
Гейтинговское исчисление предикатов с эпсилон-символом
Допустимые правила предтабличных модальных логик
Из чего вытекает закон исключенного третьего?
Интерполяционное свойство и суперинтуиционистские предикатные логики
Интерполяция в суперинтуиционистских логиках предикатов с равенством.
К теории моделей для интуиционисткой логоки
Критерий допустимости правил в модальной системе S4 и интуиционистской логике.
Матричный способ записи сетей меток
Минимальный копорядок псевдобулевых и топобулевых алгебр, не имеющих конечного базиса квазитождеств
Многообразия логических матриц
Модальные логики с LM-аксиомами.
Модальные напарники суперинтуиционистских логик: синтаксис, семантика и теоремы о сохранении
Наследственно конечно-аксиоматизируемые расширения логики S4
Независимые базисы для правил, допустимых в предтабличных логиках
Некоторые приемы, упрощающие построение сетей меток
Неразрешимое промежуточное исчисление