Twist-structures for Constructive and Modal Logics and their Generalizations Full article
| Journal |
Trends in Logic
ISSN: 1572-6126 , E-ISSN: 2212-7313 |
||||
|---|---|---|---|---|---|
| Output data | Year: 2026, | ||||
| Tags | Belnapian modal logic, connexive logic, full group extension, Nelsons logic, strong negation, twist-rule, twist-structure | ||||
| Authors |
|
||||
| Affiliations |
|
Funding (1)
| 1 | Sobolev Institute of Mathematics | FWNF-2022-0012 |
Abstract:
В данной работе мы приводим серию примеров логик, включающую конструктивные логики с сильным отрицанием и Белнаповские модальные логики, которые допускают семантическую характеризацию в терминах твист-структур. Отправляясь от этой базы мы предлагаем обобщение понятия твист-структуры, покрывающее все рассмотренные примеры.
Cite:
Anishchenko D.M.
, Odintsov S.P.
Twist-structures for Constructive and Modal Logics and their Generalizations
Trends in Logic. 2026.
Twist-structures for Constructive and Modal Logics and their Generalizations
Trends in Logic. 2026.
Identifiers:
No identifiers
Citing:
Пока нет цитирований