|
Алгебра и логика, 1978, том 17, номер 4, страницы 455–467
(Mi al1617)
|
|
|
|
Модальные логики с LM-аксиомами
В. В. Рыбаков
Аннотация:
Изучаются модальные логики с аксиомами специального вида. Доказывается, что логика, полученная присоединением конечного числа таких аксиом к разрешимой (финитно-аппроксимируемой) модальной логике, разрешима (финитно-аппроксимируема). В частности, отсюда следует, что суперинтуиционистская логика, полученная из интуиционистской присоединением конечного числа “существенно отрицательных” аксиом, финитно-аппроксимируема.
Поступило: 10.03.1978
Образец цитирования:
В. В. Рыбаков, “Модальные логики с LM-аксиомами”, Алгебра и логика, 17:4 (1978), 455–467
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1617 https://www.mathnet.ru/rus/al/v17/i4/p455
|
Статистика просмотров: |
Страница аннотации: | 54 | PDF полного текста: | 32 |
|