Модальные напарники специальных расширений конструктивной логики Нельсона Научная публикация
| Журнал |
Математические заметки
ISSN: 0025-567X , E-ISSN: 2305-2880 |
||||
|---|---|---|---|---|---|
| Вых. Данные | Год: 2025, Том: 117, Номер: 3, Страницы: 344–364 Страниц : DOI: 10.4213/mzm14305 | ||||
| Ключевые слова | сильное отрицание, логика Нельсона, белнаповская модальная логика, решетка логик, модальный напарник, твист-структура. | ||||
| Авторы |
|
||||
| Организации |
|
Информация о финансировании (1)
| 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
Модальные напарники специальных расширений конструктивной логики Нельсона
Математические заметки. 2025. Т.117. №3. С.344–364. DOI: 10.4213/mzm14305 РИНЦ OpenAlex
Даты:
| Поступила в редакцию: | 7 мар. 2024 г. |
| Опубликована в печати: | 4 мар. 2025 г. |
| Опубликована online: | 4 мар. 2025 г. |
Идентификаторы БД:
| РИНЦ: | 82450361 |
| OpenAlex: | W4408154607 |
Цитирование в БД:
Пока нет цитирований