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

Standard

Модальные напарники специальных расширений конструктивной логики Нельсона. / Вишнева, Анна Геннадьевна ; Одинцов, Сергей Павлович.

In: Математические заметки, Vol. 117, No. 3, 2025, p. 344-364.

Research output: Contribution to journal › Article › peer-review

BibTeX

@article{79b53f7fac004908a0fc1626fc98e0db,

title = "Модальные напарники специальных расширений конструктивной логики Нельсона",

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

keywords = "СИЛЬНОЕ ОТРИЦАНИЕ, ЛОГИКА НЕЛЬСОНА, БЕЛНАПОВСКАЯ МОДАЛЬНАЯ ЛОГИКА, РЕШЕТКА ЛОГИК, МОДАЛЬНЫЙ НАПАРНИК, ТВИСТ-СТРУКТУРА",

author = "Вишнева, {Анна Геннадьевна} and Одинцов, {Сергей Павлович}",

note = "Вишнева, А. Г. Модальные напарники специальных расширений конструктивной логики Нельсона / А. Г. Вишнева, С. П. Одинцов // Математические заметки. – 2025. – Т. 117, № 3. – С. 344-364. – DOI 10.4213/mzm14305. – EDN TJOICE. Результаты в разделах 3 и 5 получены С. П. Одинцовым; результаты в разделе 4 - А. Г. Вишневой. Исследование С. П. Одинцова выполнено за счет гранта Российского научного фонда № 23-11-00104, https://rscf.ru/project/23-11-00104/, в Математическом институте им. В. А. Стеклова Российской академии наук.",

year = "2025",

doi = "10.4213/mzm14305",

language = "русский",

volume = "117",

pages = "344--364",

journal = "Математические заметки",

issn = "0025-567X",

publisher = "Математический институт им. В.А. Стеклова Российской академии наук (Москва)",

number = "3",

}

RIS

TY - JOUR

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

AU - Вишнева, Анна Геннадьевна

AU - Одинцов, Сергей Павлович

N1 - Вишнева, А. Г. Модальные напарники специальных расширений конструктивной логики Нельсона / А. Г. Вишнева, С. П. Одинцов // Математические заметки. – 2025. – Т. 117, № 3. – С. 344-364. – DOI 10.4213/mzm14305. – EDN TJOICE. Результаты в разделах 3 и 5 получены С. П. Одинцовым; результаты в разделе 4 - А. Г. Вишневой. Исследование С. П. Одинцова выполнено за счет гранта Российского научного фонда № 23-11-00104, https://rscf.ru/project/23-11-00104/, в Математическом институте им. В. А. Стеклова Российской академии наук.

PY - 2025

Y1 - 2025

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

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

KW - СИЛЬНОЕ ОТРИЦАНИЕ

KW - ЛОГИКА НЕЛЬСОНА

KW - БЕЛНАПОВСКАЯ МОДАЛЬНАЯ ЛОГИКА

KW - РЕШЕТКА ЛОГИК

KW - МОДАЛЬНЫЙ НАПАРНИК

KW - ТВИСТ-СТРУКТУРА

UR - https://www.elibrary.ru/item.asp?id=82450361

U2 - 10.4213/mzm14305

DO - 10.4213/mzm14305

M3 - статья

VL - 117

SP - 344

EP - 364

JO - Математические заметки

JF - Математические заметки

SN - 0025-567X

IS - 3

ER -

ID: 74482780