|
Математические заметки, 1984, том 36, выпуск 5, страницы 755–764
(Mi mzm5973)
|
|
|
|
Финитная аппроксимируемость лесных суперинтуиционистских логик
Я. М. Другуш
Аннотация:
Доказано, что всякая лесная суперинтуиционистская логика финитно аппроксимируема. Под лесной логикой понимается логика, моделируемая лесом (частично упорядоченным множеством с древесным порядком). Непосредственным следствием главного результата является утверждение: всякое лесное исчисление (т. е. конечно-аксиоматизируемая логика) разрешимо. Приводятся и другие (кроме конечной аксиоматизируемости) достаточные условия для того, чтобы лесная логика была разрешимой. Библ. 5 назв.
Поступило: 07.07.1981
Образец цитирования:
Я. М. Другуш, “Финитная аппроксимируемость лесных суперинтуиционистских логик”, Матем. заметки, 36:5 (1984), 755–764; Math. Notes, 36:5 (1984), 878–882
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mzm5973 https://www.mathnet.ru/rus/mzm/v36/i5/p755
|
Статистика просмотров: |
Страница аннотации: | 192 | PDF полного текста: | 84 | Первая страница: | 1 |
|