|
Алгебра и логика, 1976, том 15, номер 2, страницы 185–204
(Mi al1507)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Наследственно конечно-аксиоматизируемые расширения логики $S4$
В. В. Рыбаков
Аннотация:
Пусть $\tau(L)\rightleftharpoons\left[\{T(A)/A\in L\}\right]$, где $T$ —
перевод Тарского, $L$ — суперинтуиционистская логика. Доказывается,
что все расширения $\tau$-образов табличных и предтабличных
суперинтуиционистских логик конечно-аксиоматизируемы. Следствиями этого
результата являются разрешимость всех расширений упомянутых модальных логик
и счетность слоя $\mathcal{s}_2$ решетки модальных логик. В связи с этим, однако,
доказано, что в каждом слое $\mathcal{s}_n$, где $3\leqslant n\leqslant\infty$,
содержится континуум логик с одинаковым интуиционистским фрагментом.
Установлено, что у табличных (модальных и суперинтуиционистских) логик
число непосредственно предшествующих логик конечно.
Поступило: 09.03.1976
Образец цитирования:
В. В. Рыбаков, “Наследственно конечно-аксиоматизируемые расширения логики $S4$”, Алгебра и логика, 15:2 (1976), 185–204
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1507 https://www.mathnet.ru/rus/al/v15/i2/p185
|
Статистика просмотров: |
Страница аннотации: | 63 | PDF полного текста: | 46 |
|