On a generalisation of twist-structures of constructive and modal logics Conference Abstracts
| Conference |
Международная конференция "Мальцевские чтения" 10-14 Nov 2025 , Новосибирск, ИМ СО РАН |
||||
|---|---|---|---|---|---|
| Source | Международная конференция МАЛЬЦЕВСКИЕ ЧТЕНИЯ 10–14 ноября 2025 г. Тезисы докладов Compilation, 2025. 236 c. |
||||
| Output data | Year: 2025, Pages: 102 Pages count : 1 | ||||
| Authors |
|
||||
| Affiliations |
|
Funding (1)
| 1 | Sobolev Institute of Mathematics | FWNF-2022-0012 |
Abstract:
Семантика ряда конструктивных и модальных логик задается при помощи так называемых твист-структур, которые представляют собой подмножества декартовой степени алгебры подъязыка рассматриваемой логики. Остальные связки действуют как перестановки компонент твист-структуры. Мы предлагаем обобщение этой конструкции на случай произвольной группы перестановок и показываем, как предложенное обобщение позволяет построить семантику для семейства расширений логики Гейтинга-Брауэра, которое было предложено ранее Г.Вансингом
Cite:
Anishchenko D.M.
, Odintsov S.P.
On a generalisation of twist-structures of constructive and modal logics
In compilation Международная конференция МАЛЬЦЕВСКИЕ ЧТЕНИЯ 10–14 ноября 2025 г. Тезисы докладов. 2025. – C.102.
On a generalisation of twist-structures of constructive and modal logics
In compilation Международная конференция МАЛЬЦЕВСКИЕ ЧТЕНИЯ 10–14 ноября 2025 г. Тезисы докладов. 2025. – C.102.
Identifiers:
No identifiers
Citing:
Пока нет цитирований