Abstract: В докладе представлены результаты, полученные совместно с Д. Фазио. Определен классы С-алгебр. Доказано, что данный класс алгебр является многообразием и является эквивалентной алгебраической семантикой для коннексивной логики С, предложенной Г.Вансингом. Доказано, что С-алгебры допускают представление в виде твист структур над импликативными решетками. Получены первые результаты о строении решетки расширений логики С.

Cite: Одинцов С.П.
Об алгебраической семантике коннексивных логик
Мальцевские чтения : Международная конференция 13-17 нояб. 2023