Twist-structures for Constructive and Modal Logics and their Generalizations | Sciact - Система учета научной деятельности ИМ СО РАН

Twist-structures for Constructive and Modal Logics and their Generalizations Научная публикация

Журнал

Trends in Logic
ISSN: 1572-6126 , E-ISSN: 2212-7313

Вых. Данные

Год: 2026,

Ключевые слова

Belnapian modal logic, connexive logic, full group extension, Nelsons logic, strong negation, twist-rule, twist-structure

Авторы

Anishchenko Dmitry M. ¹ , Odintsov Sergei P. ²

Организации

1	Novosibirsk State University
2	Sobolev Institute of Mathematics

Информация о финансировании (1)

Институт математики им. С.Л. Соболева СО РАН

FWNF-2022-0012

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

Anishchenko D.M. , Odintsov S.P.
Twist-structures for Constructive and Modal Logics and their Generalizations
Trends in Logic. 2026.

Нет идентификаторов

Пока нет цитирований