On a generalisation of twist-structures of constructive and modal logics Тезисы доклада
| Конференция |
Международная конференция "Мальцевские чтения" 10-14 нояб. 2025 , Новосибирск, ИМ СО РАН |
||||
|---|---|---|---|---|---|
| Сборник | Международная конференция МАЛЬЦЕВСКИЕ ЧТЕНИЯ 10–14 ноября 2025 г. Тезисы докладов Сборник, 2025. 236 c. |
||||
| Вых. Данные | Год: 2025, Страницы: 102 Страниц : 1 | ||||
| Авторы |
|
||||
| Организации |
|
Информация о финансировании (1)
| 1 | Институт математики им. С.Л. Соболева СО РАН | FWNF-2022-0012 |
Реферат:
Семантика ряда конструктивных и модальных логик задается при помощи так называемых твист-структур, которые представляют собой подмножества декартовой степени алгебры подъязыка рассматриваемой логики. Остальные связки действуют как перестановки компонент твист-структуры. Мы предлагаем обобщение этой конструкции на случай произвольной группы перестановок и показываем, как предложенное обобщение позволяет построить семантику для семейства расширений логики Гейтинга-Брауэра, которое было предложено ранее Г.Вансингом
Библиографическая ссылка:
Anishchenko D.M.
, Odintsov S.P.
On a generalisation of twist-structures of constructive and modal logics
В сборнике Международная конференция МАЛЬЦЕВСКИЕ ЧТЕНИЯ 10–14 ноября 2025 г. Тезисы докладов. 2025. – C.102.
On a generalisation of twist-structures of constructive and modal logics
В сборнике Международная конференция МАЛЬЦЕВСКИЕ ЧТЕНИЯ 10–14 ноября 2025 г. Тезисы докладов. 2025. – C.102.
Идентификаторы БД:
Нет идентификаторов
Цитирование в БД:
Пока нет цитирований