Об алгебраической семантике коннексивных логик Доклады на конференциях
Язык | Русский | ||
---|---|---|---|
Тип доклада | Пленарный | ||
Url доклада | http://old.math.nsc.ru/conference/malmeet/23/prog-23.pdf | ||
Конференция |
Мальцевские чтения : Международная конференция 13-17 нояб. 2023 , Новосибирск |
||
Авторы |
|
||
Организации |
|
Реферат:
В докладе представлены результаты, полученные совместно с Д. Фазио. Определен классы С-алгебр. Доказано, что данный класс алгебр является многообразием и является эквивалентной алгебраической семантикой для коннексивной логики С, предложенной Г.Вансингом. Доказано, что С-алгебры допускают представление в виде твист структур над импликативными решетками. Получены первые результаты о строении решетки расширений логики С.
Библиографическая ссылка:
Одинцов С.П.
Об алгебраической семантике коннексивных логик
Мальцевские чтения : Международная конференция 13-17 нояб. 2023
Об алгебраической семантике коннексивных логик
Мальцевские чтения : Международная конференция 13-17 нояб. 2023