Модальные напарники специальных расширений конструктивной логики Нельсона Full article
| Journal |
Математические заметки
ISSN: 0025-567X , E-ISSN: 2305-2880 |
||||
|---|---|---|---|---|---|
| Output data | Year: 2025, Volume: 117, Number: 3, Pages: 344–364 Pages count : DOI: 10.4213/mzm14305 | ||||
| Tags | сильное отрицание, логика Нельсона, белнаповская модальная логика, решетка логик, модальный напарник, твист-структура. | ||||
| Authors |
|
||||
| Affiliations |
|
Funding (1)
| 1 | Russian Science Foundation | 23-11-00104 |
Abstract:
Белнаповская версия BS4 нормальной модальной логики S4 соотносится с конструктивной логикой Нельсона N4⊥ примерно также, как логика S4 с интуиционистской логикой. Поэтому естественно определять модальные напарники расширений логики N4⊥ как расширения Белнаповской модальной логики BS4. В данной работе доказано, что для каждого специального расширения L логики N4⊥ логика BL, где B– естественная модификация отображения , сопоставляющего суперинтуиционистской логике ее наименьший модальный напарник, является наименьшим модальным напарником логики L в классе расширений логики BS4.
Cite:
Вишнева А.Г.
, Одинцов С.П.
Модальные напарники специальных расширений конструктивной логики Нельсона
Математические заметки. 2025. Т.117. №3. С.344–364. DOI: 10.4213/mzm14305 РИНЦ OpenAlex
Модальные напарники специальных расширений конструктивной логики Нельсона
Математические заметки. 2025. Т.117. №3. С.344–364. DOI: 10.4213/mzm14305 РИНЦ OpenAlex
Dates:
| Submitted: | Mar 7, 2024 |
| Published print: | Mar 4, 2025 |
| Published online: | Mar 4, 2025 |
Identifiers:
| Elibrary: | 82450361 |
| OpenAlex: | W4408154607 |
Citing:
Пока нет цитирований