Исчисления с монотонными выводами и их экономическая интерпретация
К теории моделей для интуиционисткой логоки
Кангеровский вариант исчисления предикатов с символами для не всюду определенных функций
Классификация полных по Новикову логик с дополнительными логическими константами
Кодирование псевдобулевых моделей для инфинитарной неклассической логики трансфинитного порядка.
Конструктивные модели полных разрешимых теорий.
Континуум нормальных расширений модальной логики доказуемости с интерполяционным свойством.
Критерий автоустойчивости 1-разрешимых моделей
Критерий допустимости правил в модальной системе S4 и интуиционистской логике.
Критерий сильной конструктивизируемости однородной модели.
Критические теории
Критические теории над-коммутативно-ассоциативных многообразий колец.
Критические теории некоторых классов графов и унарных алгебр
Критические теории некоторых классов неассоциативных колец
Критррий полноты систем операций в операторных алгоритмах, реализующих функции k-значной логики
Магариевы и -псевдобулевы алгебры.
Максимальные -поля
Матричные иерархии языков первого порядка и их приложения.
Матричный способ записи сетей меток
Метод синтеза условий выводимости хорновских и некоторых других формул.