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

Cite: Anishchenko D.M. , Odintsov S.P.
On a generalisation of twist-structures of constructive and modal logics
Международная конференция "Мальцевские чтения" 10-14 Nov 2025