...-... Algebras.
"Abstract logics" and "Classical abstract logics" [Book]
�?lgebras de Hilbert n-valentes
Алгебраические эквиваленты некоторых свойств суперинтуиционистских предикатных логик
Алгебраическое доказательство сепарационного свойства для доказуемостно-интуиционистского исчисления
Базисы допустимых правил вывода табличных модальных логик глубины 2.
Базы допустимых правил логик S4 и Int
Допустимые правила для логик, включающих S4.3.
Критерий допустимости правил в модальной системе S4 и интуиционистской логике.
Магариевы и -псевдобулевы алгебры.
Многообразия логических матриц
Модальные логики и многообразия модальных алгебр: свойства Бета, интерполяция и амальгируемость
О конечной базируемости по допустимости модальных логик ширины 2.
О конечных псевдобулевых и топобулевых алгебрах, не имеющих независимого базиса квазитождества
Об алгебраической семантике для суперинтуиционистских предикатных логик.
Обобщение двух теорем Белоусова для сильно зависимых функций k-значной логики
Проективные свойства Бета в модальных и суперинтуиционистских логиках.
Разрешимость проективного свойства Бета в многообразиях гейтинговых алгебр