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 条

[31] A COMPLETENESS THEOREM IN MODAL LOGIC
BAYART, A
JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (02) : 276 - &
[32] A COMPLETENESS THEOREM FOR TENSE LOGIC
COCCHIARELLA, NB
JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (04) : 689 - +
[33] Correctness and Completeness of Logic Programs
Drabent, Wlodzimierz
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2016, 17 (03)
[34] On the completeness of propositional Hoare logic
Kozen, D
Tiuryn, J
INFORMATION SCIENCES, 2001, 139 (3-4) : 187 - 195
[35] On arithmetical completeness of the logic of proofs
Iwata, Sohei
Kurahashi, Taishi
ANNALS OF PURE AND APPLIED LOGIC, 2019, 170 (02) : 163 - 179
[36] Completeness of global evaluation logic
Goncharov, Sergey
Schroeder, Lutz
Mossakowski, Till
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2006, PROCEEDINGS, 2006, 4162 : 447 - 458
[37] Context Logic as Modal Logic: Completeness and Parametric Inexpressivity
Calcagno, Cristiano
Gardner, Philippa
Zarfaty, Uri
CONFERENCE RECORD OF POPL 2007: THE 34TH ACM SIGPLAN SIGACT SYMPOSIUM ON PRINCIPLES OF PROGAMMING LANGUAGES, 2007, : 123 - 134
[38] Context Logic as Modal Logic: Completeness and parametric inexpressivity
Calcagno, Cristiano
Gardner, Philippa
Zarfaty, Uri
ACM SIGPLAN NOTICES, 2007, 42 (01) : 123 - 134
[39] Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic
Gore, Rajeev
Postniece, Linda
JOURNAL OF LOGIC AND COMPUTATION, 2010, 20 (01) : 233 - 260
[40] A TOPOLOGICAL PROOF OF LOWENHEIM-SKOLEM COMPACTNESS AND STRONG COMPLETENESS THEOREMS FOR FREE LOGIC
VANFRAASSEN, BC
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1968, 14 (03): : 245 - +

← 1 2 3 4 5 →