|
Алгебра и логика, 1997, том 36, номер 5, страницы 483–493
(Mi al2404)
|
|
|
|
О допустимых правилах полимодальной логики $S5_nC$
П. А. Алексеевa, М. И. Головановb a г. Красноярск
b Красноярский государственный университет, матем. факультет
Аннотация:
Изучаются полимодальные логики, имеющие $n$ модальных связок $\Box_1,\dots,\Box_n$, каждая из которых удовлетворяет аксиомам $S5$ и, кроме того, выполняются законы коммутирования $\Box_i\Box_jp\equiv\Box_j\Box_ip$, $i,j=1,\dots,n$ . Доказываются следующие результаты: 1) логика $S5_nC$ не является локально конечной; 2) правило вывода $A(p_1,\dots,p_m)/B(p_1,\dots,p_m)$ не является допустимым в $S5_nC$ тогда и только тогда, когда $(\Box_1\cdots\Box_nA\to B)\notin S5_nC$ и на одноэлементной модели $\mathfrak{E}$ существует такое означивание переменных $p_1,\dots,p_m$, что $\mathfrak{E}\Vdash A$.
Поступило: 17.01.1995 Окончательный вариант: 02.04.1997
Образец цитирования:
П. А. Алексеев, М. И. Голованов, “О допустимых правилах полимодальной логики $S5_nC$”, Алгебра и логика, 36:5 (1997), 483–493
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al2404 https://www.mathnet.ru/rus/al/v36/i5/p483
|
Статистика просмотров: |
Страница аннотации: | 22 | PDF полного текста: | 5 |
|