Шрайнер П. А.
О фрагменте интуиционистской логики, полном относительно шкал Крипке с конечными областями
Schreiner P. A.
On a fragment of intuitionistic logic which is complete with respect to the Kripke frames with finite domains

Доказано, что фрагмент интуиционистской логики конечных областей, состоящий из формул первого порядка, не содержащих дизъюнкции и квантора существования, совпадает с аналогичным фрагментом интуиционистской логики предикатов. Показано также наличие ослабенного варианта интерполяционного свойства и свойства Бета у этого фрагмента.

Полный текст статьи / Full texts:

• PDF file (360 KB)
• PostScript file (725 KB)