О конечной базируемости по допустимости модальных логик ширины 2.
О конечно-определенных и свободных алгебрах многообразий Кантора
О конструктивизируемости простой модели.
О конструктивных псевдофункциях
О метаматематическом подходе к доказательству теорем дискретной математики
О многообразиях алгебраических систем и пропозициональных исчислениях.
О моделях исчисления E
О некотором ослаблении интуиционистской логики
О некоторых мощностных свойствах структуры примитивных логик
О некоторых подструктурах структуры всех логик высказываний с обычным понятием формулы
О неразрешимости общих проблем полноты, разрешения и эквивалентности для исчислений высказываний
О неразрешимости теорий булевых алгебр с выделенным идеалом.
О нумерациях насыщенных и однородных моделей
О параметрической выразимости функций трехзначной логики
О позитивных теориях свободных инверсных полугрупп
О позитивных формулах на свободных полугруппах
О полноте систем формул в двойственностно цепных логиках
О построении разрешимых сингулярных теорий двух функций следования с дополнительным предикатом.
О применении стратегии упорядочивания дизьюктов для одной модификации метода резолюций
О применениях булевых степеней алгебраических систем.