О некотором ослаблении интуиционистской логики
О некоторых мощностных свойствах структуры примитивных логик
О некоторых подструктурах структуры всех логик высказываний с обычным понятием формулы
О нумерациях канонически вычислимых семейств конечных множеств
О регулярности элементов релятива
О сложности реализации некоторых симметрических функций формулами глубины 3 в базисе &,
О числе предлокально-табличных суперинтуиционистских пропозициональных логик.
Об алгебраической семантике для суперинтуиционистских предикатных логик.
Об одном многообразии алгебр
Об одном погружении итеративных алгебр Поста в полугруппы.
Об одном усилении теорем Слупецкого и Яблонского
Об элементарной теории структур подгрупп
Об элементарных теориях многообразий Поста
Обобщение двух теорем Белоусова для сильно зависимых функций k-значной логики
Объединение логик, моделируемых конечными деревьями.
Полиномиальные разложения булевых функций по невырожденным функциям.
Предтабличные расширения логики S4 Льюиса.
Проективные свойства Бета в модальных и суперинтуиционистских логиках.
Произведения итеративных алгебр.
Простые итеративные алгебры.