|
Алгебра и логика, 1993, том 32, номер 2, страницы 117–130
(Mi al2221)
|
|
|
|
Базисы допустимых правил вывода модальных логик $\mathrm{S4.2}$ и $\mathrm{S4.2Grz}$
С. В. Бабенышев
Аннотация:
Показано отсутствие конечного базиса допустимых правил вывода в модальных логиках $\mathrm{S4.2}$ и $\mathrm{S4.2Grz}$. Для решения этой проблемы использована алгебраическая семантика и семантика Крипке для модальных логик. Автор следовал подходу, примененному В. В. Рыбаковым (РЖ Мат. 1985, 12А53) для решения аналогичной проблемы в логике $\mathrm{S4}$. Дополнительно показана эквивалентность по допустимости модальных логик $\mathrm{S4.2}$ и $\mathrm{S4.2Grz}$ как модальных напарников суперинтуиционистской логики $\mathrm{KC}$.
Поступило: 10.12.1992
Образец цитирования:
С. В. Бабенышев, “Базисы допустимых правил вывода модальных логик $\mathrm{S4.2}$ и $\mathrm{S4.2Grz}$”, Алгебра и логика, 32:2 (1993), 117–130
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al2221 https://www.mathnet.ru/rus/al/v32/i2/p117
|
|