COMPLETENESS OF FREE LOGIC

被引：20

作者：

VANFRAAS.BC

机构：

来源：

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1966年 / 12卷 / 03期

关键词：

D O I：

10.1002/malq.19660120117

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：219 / &

共 50 条

[1] STRONG COMPLETENESS OF A PURE FREE LOGIC
BENCIVENGA, E
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1985, 31 (01): : 35 - 38
[2] COMPLETENESS OF PRE-SUPPOSITION-FREE TENSE LOGIC
BARNES, RF
GUMB, RD
JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (01) : 146 - 147
[3] COMPLETENESS OF PRE-SUPPOSITION-FREE TENSE LOGIC
BARNES, RF
GUMB, RD
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1979, 25 (03): : 193 - 208
[4] A FREE IPC IS A NATURAL LOGIC - STRONG COMPLETENESS FOR SOME INTUITIONISTIC FREE LOGICS
POSY, CJ
TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY, 1982, 1 (1-2): : 30 - 43
[5] On Completeness of Logic Programs
Drabent, Wlodzimierz
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014), 2015, 8981 : 261 - 278
[6] Completeness of neighbourhood logic
Barua, R
Roy, S
Zhou, CC
JOURNAL OF LOGIC AND COMPUTATION, 2000, 10 (02) : 271 - 295
[7] COMPLETENESS OF QUANTUM LOGIC
STACHOW, EW
JOURNAL OF PHILOSOPHICAL LOGIC, 1976, 5 (02) : 237 - 280
[8] Proving completeness by logic
Escoffier, B
Paschos, VT
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 2005, 82 (02) : 151 - 161
[9] Completeness of Subtrilattice Logic
Kamide, Norihiro
2020 IEEE 50TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2020), 2020, : 279 - 284
[10] COMPLETENESS IN LOGIC OF QUESTIONS
HARRAH, D
AMERICAN PHILOSOPHICAL QUARTERLY, 1969, 6 (02) : 158 - 164