|
Сибирский математический журнал, 2000, том 41, номер 2, страницы 470–479
(Mi smj1543)
|
|
|
|
О фрагменте интуиционистской логики, полном относительно шкал Крипке с конечными областями
П. А. Шрайнер
Аннотация:
Доказано, что фрагмент интуиционистской логики конечных областей, состоящий из формул первого порядка, не содержащих дизъюнкции и квантора существования, совпадает с аналогичным фрагментом интуиционистской логики предикатов. Показано также наличие ослабенного варианта интерполяционного свойства и свойства Бета у этого фрагмента.
Библиогр. 6.
Статья поступила: 01.10.1998
Образец цитирования:
П. А. Шрайнер, “О фрагменте интуиционистской логики, полном относительно шкал Крипке с конечными областями”, Сиб. матем. журн., 41:2 (2000), 470–479; Siberian Math. J., 41:2 (2000), 389–396
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj1543 https://www.mathnet.ru/rus/smj/v41/i2/p470
|
|