|
Алгебра и логика, 1974, том 13, номер 2, страницы 188–216
(Mi al1423)
|
|
|
|
Эта публикация цитируется в 9 научных статьях (всего в 9 статьях)
О решетке нормальных модальных логик
Л. Л. Максимова, В. В. Рыбаков
Аннотация:
Изучается семейство $M$ модальных логик, содержащих логику $S4$ Льюиса, и
его связь с решеткой $\mathfrak L$ суперинтуиционистских логик. Доказано,
что $M$ образует полную дистрибутивную решетку. Существуют два монотонных
отображения $\tau$ и $\sigma$ из решетки $\mathfrak L$ суперинтуиционистских
логик в $M$ и отображение $\rho$ из $M$ на $\mathfrak L$ такие, что $\tau$
есть решеточный изоморфизм, $\rho$ — гомоморфизм и выполнены условия:
$\rho\tau=\rho\sigma=id_{\mathfrak L}$, $\tau\rho\leqslant
id_{\mu}\leqslant\sigma\rho$. В последнем параграфе рассматриваются
табличные логики из $M$. Доказано, что все они конечно аксиоматизируемы и
что логики, непосредственно предшествующие табличным, табличны.
Поступило: 05.03.1974
Образец цитирования:
Л. Л. Максимова, В. В. Рыбаков, “О решетке нормальных модальных логик”, Алгебра и логика, 13:2 (1974), 188–216
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1423 https://www.mathnet.ru/rus/al/v13/i2/p188
|
Статистика просмотров: |
Страница аннотации: | 124 | PDF полного текста: | 66 |
|