Дедуктивные логики и их связь с интуиционистской логикой

Верификация логического следования с использованием исчисления конституентных множеств и соответствий Галуа

Хорошо определенные логики

Верификация логического следования в неклассической многозначной логике

О свойствах одного класса четырехзначных паранормальных логик

О некоторых свойствах оператора fе-замыкания в счетнозначной логике

О надструктуре класса квазиоднородных k-значных функций

Независимая базируемость дедуктивных пропозициональных систем

О действии оператора FE-замыкания на множестве функций счетнозначной логики

На пути к протологике