Модальные напарники специальных расширений конструктивной логики Нельсона | Sciact - Система учета научной деятельности ИМ СО РАН

Модальные напарники специальных расширений конструктивной логики Нельсона Научная публикация

Журнал

Математические заметки
ISSN: 0025-567X , E-ISSN: 2305-2880

Вых. Данные

Год: 2025, Том: 117, Номер: 3, Страницы: 344–364 Страниц : DOI: 10.4213/mzm14305

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

сильное отрицание, логика Нельсона, белнаповская модальная логика, решетка логик, модальный напарник, твист-структура.

Авторы

Вишнева А.Г. ¹ , Одинцов С.П. ²

Организации

1	Новосибирский государственный университет
2	Математический институт им. В. А. Стеклова Российской академии наук, г. Москва

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

Российский научный фонд

23-11-00104

Белнаповская версия BS4 нормальной модальной логики S4 соотносится с конструктивной логикой Нельсона N4⊥ примерно также, как логика S4 с интуиционистской логикой. Поэтому естественно определять модальные напарники расширений логики N4⊥ как расширения Белнаповской модальной логики BS4. В данной работе доказано, что для каждого специального расширения L логики N4⊥ логика BL, где B– естественная модификация отображения , сопоставляющего суперинтуиционистской логике ее наименьший модальный напарник, является наименьшим модальным напарником логики L в классе расширений логики BS4.

Вишнева А.Г. , Одинцов С.П.
Модальные напарники специальных расширений конструктивной логики Нельсона
Математические заметки. 2025. Т.117. №3. С.344–364. DOI: 10.4213/mzm14305 OpenAlex

Поступила в редакцию:	7 мар. 2024 г.
Опубликована в печати:	4 мар. 2025 г.
Опубликована online:	4 мар. 2025 г.

OpenAlex:

W4408154607

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