ON THE THEORY OF MODELS FOR INTUITIONISTIC LOGIC

被引：0

作者：

STEPANOV, VI

机构：

来源：

MATHEMATICS OF THE USSR-SBORNIK | 1983年 / 120卷 / 1-2期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：223 / 235

页数：13

共 14 条

[1]

Aczel Peter, 1968, CONTRIBUTIONS MATH L, P1

[2]

DAVIS M, 1977, APPLIED NONSTANDARD

[3]

Fitting M., 1969, INTUITIONISTIC LOGIC

[4] MODEL THEORY FOR INTUITIONISTIC LOGIC [J].

GABBAY, DM .

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1972, 18 (01) :49-&

[5] EFFECTIVELY RETRACTABLE THEORIES AND DEGREES OF UNDECIDABILITY [J].

JONES, JP .

[6]

KEISLER HJ, 1973, MODEL THEORY

[7]

KLEENE SC, 1952, INTRO METAMATHEMATIC

[8]

KOMOGOROFF A, 1932, MATH Z, V35, P58

[9]

KRIPKE SA, 1965, 1963 FORM SYST REC F, P92

[10]

Shoenfield J. R., 1967, MATH LOGIC