INTUITIONISTIC COMPLETENESS THEOREM FOR INTUITIONISTIC PREDICATE LOGIC

被引：46

作者：

VELDMAN, W ^{[1
]}

机构：

[1] KATHOLIEKE UNIV NIJMEGEN,INST MATH,NIJMEGEN,NETHERLANDS

来源：

JOURNAL OF SYMBOLIC LOGIC | 1976年 / 41卷 / 01期

关键词：

D O I：

10.2307/2272955

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：159 / 166

页数：8

共 50 条

[1] A COMPLETENESS THEOREM FOR INTUITIONISTIC PREDICATE LOGIC - AN INTUITIONISTIC PROOF
DRAGALIN, AG
[J]. PUBLICATIONES MATHEMATICAE-DEBRECEN, 1987, 34 (1-2): : 1 - 19
[2] An Intuitionistic Completeness Theorem for Classical Predicate Logic
Victor N. Krivtsov
[J]. Studia Logica, 2010, 96 : 109 - 115
[3] An Intuitionistic Completeness Theorem for Classical Predicate Logic
Krivtsov, Victor N.
[J]. STUDIA LOGICA, 2010, 96 (01) : 109 - 115
[4] DEFINABILITY THEOREM FOR THE INTUITIONISTIC PREDICATE LOGIC WITH EQUALITY
MIZUTANI, C
[J]. NAGOYA MATHEMATICAL JOURNAL, 1982, 87 (NOV) : 1 - 15
[5] A strong completeness theorem in intuitionistic quantified modal logic
Gao, HS
[J]. SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 2000, 43 (01): : 60 - 70
[6] A strong completeness theorem in intuitionistic quantified modal logic
Hengshan Gao
[J]. Science in China Series E: Technological Sciences, 2000, 43 : 60 - 70
[7] A strong completeness theorem in intuitionistic quantified modal logic
高恒珊
[J]. Science China Technological Sciences, 2000, (01) : 60 - 70
[8] A FORMAL AND INTUITIONISTIC PROOF OF THE COMPLETENESS THEOREM OF CLASSICAL LOGIC
Krivine, Jean-Louis
[J]. BULLETIN OF SYMBOLIC LOGIC, 1996, 2 (04) : 405 - 421
[9] INTUITIONISTIC COMPLETENESS OF HEYTINGS PREDICATE CALCULUS
FRIEDMAN, H
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 22 (06): : A648 - A648
[10] A translation of intuitionistic predicate logic into basic predicate logic
Ardeshir M.
[J]. Studia Logica, 1999, 62 (3) : 341 - 352

← 1 2 3 4 5 →