|
Алгебра и логика, 2001, том 40, номер 5, страницы 593–618
(Mi al238)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
О финитной аппроксимируемости для допустимых правил вывода
В. В. Рыбаковa, В. Р. Кияткинa, Т. Онерb a Красноярский государственный университет
b Ege University
Аннотация:
Рассматриваются методы, которые позволяют устанавливать финитную аппроксимируемость по допустимости или ее отсутствие для модальных логик. Устанавливается общее условие отсутствия финитной аппроксимируемости по допустимости для модальных логик над $K4$. Показывается, что для любые модальные логики $\lambda$ над $K4$ со свойством конакрытия и ширины строго больше 2 не обладают финитной аппроксимируемостью по допустимости (в частности, таковы логики $K4$, $GL$, $K4.1$, $K4.2$, $S4.1$, $S4.2$, $GL.2$). Доказывается, что все модальные логики $\lambda$ над $S4$ ширины не больше 2, которые не являются подлогиками трех специальных табличных логик обладают свойством финитной аппроксимируемости по допустимости. Формулируются несколько открытых вопросов.
Ключевые слова:
модальная логика, финитная аппроксимируемость для допустимых правил вывода.
Поступило: 06.07.1998
Образец цитирования:
В. В. Рыбаков, В. Р. Кияткин, Т. Онер, “О финитной аппроксимируемости для допустимых правил вывода”, Алгебра и логика, 40:5 (2001), 593–618; Algebra and Logic, 40:5 (2001), 334–347
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al238 https://www.mathnet.ru/rus/al/v40/i5/p593
|
Статистика просмотров: |
Страница аннотации: | 274 | PDF полного текста: | 133 | Список литературы: | 3 | Первая страница: | 1 |
|