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 条

[41] Topological completeness of the provability logic GLP
Beklemishev, Lev
Gabelaia, David
ANNALS OF PURE AND APPLIED LOGIC, 2013, 164 (12) : 1201 - 1223
[42] THE COMPLETENESS OF A PREDICATE-FUNCTOR LOGIC
BACON, J
JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (04) : 903 - 926
[43] Foundations of Logic: Completeness, Incompleteness, Computability
Salehi, Saeed
TEACHING PHILOSOPHY, 2024, 47 (03) : 460 - 463
[44] Expressive Completeness for Metric Temporal Logic
Hunter, Paul
Ouaknine, Joel
Worrell, James
2013 28TH ANNUAL IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2013, : 349 - 357
[45] Completeness and redundancy in constrained clause logic
Pichler, R
AUTOMATED DEDUCTION IN CLASSICAL AND NON-CLASSICAL LOGICS, 2000, 1761 : 221 - 235
[46] A criterion for positive completeness in ternary logic
Marchenkov S.S.
Journal of Applied and Industrial Mathematics, 2007, 1 (4) : 481 - 488
[47] Proving completeness of logic programs with the cut
Drabent, Wodzimierz
FORMAL ASPECTS OF COMPUTING, 2017, 29 (01) : 155 - 172
[48] A strong completeness result for a MAS logic
Kacprzak, Magdalena
FUNDAMENTA INFORMATICAE, 2006, 72 (1-3) : 197 - 213
[49] Completeness and Herbrand theorems for nominal logic
Cheney, J
JOURNAL OF SYMBOLIC LOGIC, 2006, 71 (01) : 299 - 320
[50] COMPLETENESS OF SOME SYSTEMS OF SENTENTIAL LOGIC
WEAVER, GE
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (07): : A641 - A642

← 1 2 3 4 5 →