Базисы допустимых правил модальной системы Grz и интуиционистской логики
Из чего вытекает закон исключенного третьего?
Интуиционистская теория алгебраических систем и гейтинговозначный анализ.
К теории моделей для интуиционисткой логоки
Мажорантная семантика гиперарифметических суждений
Математическая интерпретация теоремы о веерах
О финитной аппроксимируемости суперинтуиционистских логик
Об иерархии конструктивных функционалов Брауэра
Переход от выводимости в классической теории множеств к выводимости в интуиционистской теории множеств для языка колец.
Теорема когеррентности для канонических морфизмов в декартово замкнутых категориях
Теорема Крейга в суперинтуиционистских логиках и амальгамируемые многообразия псевдобулевых алгебр
Топологические варианты теоремы о непрерывности отображений и родственных теорем
Три способа выявления несущественных формул в секвенциях