THE COMPLETENESS OF INTUITIONISTIC LOGIC WITH RESPECT TO A VALIDITY CONCEPT BASED ON AN INVERSION PRINCIPLE

被引：0

|

作者：

SCHROEDERHEISTER, P

机构：

来源：

JOURNAL OF PHILOSOPHICAL LOGIC | 1983年 / 12卷 / 03期

关键词：

D O I：

10.1007/BF00263483

中图分类号：

B81 [逻辑学（论理学）];

学科分类号：

010104 ; 010105 ;

摘要：

引用

收藏

页码：359 / 377

页数：19

相关论文

共 50 条

[1] COMPLETENESS OF INTUITIONISTIC LOGIC WITH RESPECT TO MODELS WITH COVERING
FABIANO, A
[J]. BOLLETTINO DELLA UNIONE MATEMATICA ITALIANA, 1983, 2A (01): : 21 - 28
[2] Completeness of (a #956;,a #957;)-resolution principle of intuitionistic operator fuzzy logic
Zheng, Hongliang
Xu, Benqiang
Zou, Li
[J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (ISKE 2007), 2007,
[3] INTUITIONISTIC COMPLETENESS THEOREM FOR INTUITIONISTIC PREDICATE LOGIC
VELDMAN, W
[J]. JOURNAL OF SYMBOLIC LOGIC, 1976, 41 (01) : 159 - 166
[4] COMPLETENESS AND INCOMPLETENESS FOR INTUITIONISTIC LOGIC
McCarty, Charles
[J]. JOURNAL OF SYMBOLIC LOGIC, 2008, 73 (04) : 1315 - 1327
[5] A COMPLETENESS THEOREM FOR INTUITIONISTIC PREDICATE LOGIC - AN INTUITIONISTIC PROOF
DRAGALIN, AG
[J]. PUBLICATIONES MATHEMATICAE-DEBRECEN, 1987, 34 (1-2): : 1 - 19
[6] Arithmetical Completeness of the Intuitionistic Logic of Proofs
Dashkov, Evgenij
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2011, 21 (04) : 665 - 682
[7] The semantic completeness of a global intuitionistic logic
Aoyama, H
[J]. MATHEMATICAL LOGIC QUARTERLY, 1998, 44 (02) : 167 - 175
[8] Provability logic and the completeness principle
Visser, Albert
Zoethout, Jetze
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2019, 170 (06) : 718 - 753
[9] CRITERION OF FUNCTIONAL COMPLETENESS IN INTUITIONISTIC PROPOSITIONAL LOGIC
RATSA, MF
[J]. DOKLADY AKADEMII NAUK SSSR, 1971, 201 (04): : 794 - &
[10] Intuitionistic completeness of first-order logic
Constable, Robert
Bickford, Mark
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2014, 165 (01) : 164 - 198

← 1 2 3 4 5 →