Кангеровский вариант исчисления предикатов с символами для не всюду определенных функций
Классификация полных по Новикову логик с дополнительными логическими константами
Магариевы и -псевдобулевы алгебры.
Многообразия логических матриц
Наименьшие неподвижные точки в логике Гжегорчика и интуиционистской пропозициональной логике
Неявная определимость и позитивные логики
Новая регулярная константа в интуиционистской логике высказываний
О многообразиях алгебраических систем и пропозициональных исчислениях.
О некотором ослаблении интуиционистской логики
О неразрешимости общих проблем полноты, разрешения и эквивалентности для исчислений высказываний
Об интерпретации интуиционистской логики высказываний в интуиционистской прототетике.
Об одном расширении логики Габбая
Об отношении между интуиционистскими и классическими модальными логиками.
Описание базиса в полуредуцированной форме для правил вывода интуиционистской логики
Основные задачи выразимости формул в неклассических логиках
Отсутствие интерполяции в некоторых предикатных суперинтуиционистских логиках
Производность допустимых правил
Промежуточная предикатная логика без свойств Бета.
Разрешимость логических уравнений в модальной системе Grz и интуиционистской логике.
Сверхнезависимые суперинтуиционистские логики