关于关于有限域的Kripke框架完备的直觉主义逻辑片段。

Shrejner，P.A.“关于直觉主义逻辑的一个片段，它相对于有限域的Kripke框架是完整的。”西伯利亚数学杂志41.2 (2000): 470-479 (2000); Sib中的翻译。数学。期刊41<http://eudml.org/doc/120558>.

@文章{Shrejner2000，
author={Shrejner，P.A.}，
期刊＝{西伯利亚数学期刊}，
关键词={直觉主义逻辑；克里普克框架；完整性}，
语言={eng}，
数字={2}，
pages={470-479（2000）；翻译为Sib.Math.J.41}，
publisher={Pleiades Publishing，英属维尔京群岛托托拉；Nauka/Interperiodica，莫斯科；Springer}，
title={关于有限域的克里普克框架是完备的直觉主义逻辑片段。}，
url={http://eudml.org/doc/120558},
体积={41}，
年份={2000}，
}

TY-JOUR公司
澳大利亚-Shrejner，P.A。
关于直觉主义逻辑的一个片断，它相对于有限域的Kripke框架是完全的。
JO-西伯利亚数学杂志
2000年
PB-Pleiades出版社，托托拉，英属维尔京群岛；Nauka/Interperiodica，莫斯科；施普林格
VL-41
IS-2
SP-470
EP-479（2000）；Sib中的翻译。数学。期刊41
洛杉矶-eng
KW——直觉逻辑；克里普克框架；完整性
UR-（欧元）http://eudml.org/doc/120558
急诊室-