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 条

[21] The Completeness Problem for Modal Logic
Achilleos, Antonis
LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2018), 2018, 10703 : 1 - 21
[22] Soundness and completeness of UNITY logic
Knapp, E
FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, 1994, 880 : 378 - 389
[23] POST COMPLETENESS IN MODAL LOGIC
SEGERBERG, K
JOURNAL OF SYMBOLIC LOGIC, 1972, 37 (04) : 711 - 715
[24] COMPLETENESS THEOREM FOR INFINITARY LOGIC
MANSFIELD, R
JOURNAL OF SYMBOLIC LOGIC, 1972, 37 (01) : 31 - +
[25] ON COMPLETENESS OF DYNAMIC TOPOLOGICAL LOGIC
Slavnov, Sergey
MOSCOW MATHEMATICAL JOURNAL, 2005, 5 (02) : 477 - 492
[26] COMPLETENESS THEOREM FOR INFINITARY LOGIC
MANSFIELD, R
JOURNAL OF SYMBOLIC LOGIC, 1971, 36 (04) : 709 - +
[27] COMPLETENESS THEOREM FOR STATIONARY LOGIC
BARWISE, J
MAKKAI, M
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (06): : A594 - A595
[28] Cauchy completeness in elementary logic
Cifuentes, JC
Sette, AM
Mundici, D
JOURNAL OF SYMBOLIC LOGIC, 1996, 61 (04) : 1153 - 1157
[29] EXPRESSIVENESS AND THE COMPLETENESS OF HOARE LOGIC
BERGSTRA, JA
TUCKER, JV
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1982, 25 (03) : 267 - 284
[30] Completeness for linear continuous logic
Bagheri, Seyed-Mohammad
Safari, Roghieh
JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (04) : 985 - 998

← 1 2 3 4 5 →