|
Эта публикация цитируется в 12 научных статьях (всего в 12 статьях)
Базисы допустимых правил модальной системы Grz и интуиционистской логики
В. В. Рыбаков
Аннотация:
Доказывается, что свободная псевдобулева алгебра $F_\omega(\mathrm{Int})$ и свободная топобулева алгебра $F_\omega(\mathrm{Grz})$ не имеют базисов квазитождеств от конечного числа переменных. Как следствие получается, что интуиционистская логика высказываний $\mathrm{Int}$ и модальная система $\mathrm{Grz}$ не имеют конечных базисов допустимых правил.
Найдены бесконечные рекурсивные базисы квазитождеств для $F_\omega(\mathrm{Int})$ и $F_\omega(\mathrm{Grz})$. Отсюда следует, что проблема допустимости правил в логиках $\mathrm{Grz}$ и $\mathrm{Int}$ алгоритмически разрешима.
Библиография: 14 названий.
Поступила в редакцию: 07.06.1984
Образец цитирования:
В. В. Рыбаков, “Базисы допустимых правил модальной системы Grz и интуиционистской логики”, Матем. сб., 128(170):3(11) (1985), 321–338; V. V. Rybakov, “Bases of admissible rules of the modal system Grz and of intuitionistic logic”, Math. USSR-Sb., 56:2 (1987), 311–331
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/sm2162 https://www.mathnet.ru/rus/sm/v170/i3/p321
|
Статистика просмотров: |
Страница аннотации: | 317 | PDF русской версии: | 116 | PDF английской версии: | 14 | Список литературы: | 37 |
|