COMPLETENESS OF AN ANCIENT LOGIC

被引：71

作者：

CORCORAN, J ^{[1
]}

机构：

[1] SUNY, AMHERST, NY 14226 USA

来源：

关键词：

D O I：

10.2307/2272415

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：696 / 702

页数：7

共 50 条

[1] On Completeness of Logic Programs
Drabent, Wlodzimierz
[J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014), 2015, 8981 : 261 - 278
[2] Completeness of neighbourhood logic
Barua, R
Roy, S
Zhou, CC
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2000, 10 (02) : 271 - 295
[3] COMPLETENESS OF QUANTUM LOGIC
STACHOW, EW
[J]. JOURNAL OF PHILOSOPHICAL LOGIC, 1976, 5 (02) : 237 - 280
[4] Proving completeness by logic
Escoffier, B
Paschos, VT
[J]. INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 2005, 82 (02) : 151 - 161
[5] Completeness of Subtrilattice Logic
Kamide, Norihiro
[J]. 2020 IEEE 50TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2020), 2020, : 279 - 284
[6] COMPLETENESS IN LOGIC OF QUESTIONS
HARRAH, D
[J]. AMERICAN PHILOSOPHICAL QUARTERLY, 1969, 6 (02) : 158 - 164
[7] Completeness for Game Logic
Enqvist, Sebastian
Hansen, Helle Hvid
Kupke, Clemens
Marti, Johannes
Venema, Yde
[J]. 2019 34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2019,
[8] On the Completeness of Dynamic Logic
Leivant, Daniel
[J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2009, 5504 : 78 - 91
[9] COMPLETENESS OF FREE LOGIC
VANFRAAS.BC
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1966, 12 (03): : 219 - &
[10] Completeness of neighbourhood logic
Barua, R
Roy, S
Zhou, CC
[J]. STACS'99 - 16TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, 1999, 1563 : 521 - 530