Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
Tavole semantiche per sistemi astratti di logica estensionale
The Heyting doctrines
Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik.
Undecidability of intuitionistic theories formulated with the apartness relation
Unterstruktur-Invariante Formeln in der intuitionistischen Logik.
Vollständigkeit und Schnittelimination in der intuitionistischen Typenlogik.
Алгебраические эквиваленты некоторых свойств суперинтуиционистских предикатных логик
Базисы допустимых правил модальной системы Grz и интуиционистской логики
Базы допустимых правил логик S4 и Int
Вложения импликатных решеток и суперинтуиционистские логики
Гейтинговское исчисление предикатов с эпсилон-символом
Допустимые правила предтабличных модальных логик
Из чего вытекает закон исключенного третьего?
Интерполяционное свойство и суперинтуиционистские предикатные логики
Интерполяция в суперинтуиционистских логиках предикатов с равенством.
К теории моделей для интуиционисткой логоки
Критерий допустимости правил в модальной системе S4 и интуиционистской логике.
Матричный способ записи сетей меток
Минимальный копорядок псевдобулевых и топобулевых алгебр, не имеющих конечного базиса квазитождеств