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