STRONG COMPLETENESS OF A PARTIAL SYSTEM OF PROPOSITIONAL CALCULUS

被引：0

|

作者：

LONDEY, DG

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1967年 / 32卷 / 04期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：574 / &

相关论文

共 50 条

[1] STRUCTURAL COMPLETENESS OF PROPOSITIONAL CALCULUS
POGORZELSKI, WA
BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1971, 19 (05): : 349 - +
[2] Completeness of Kozen's axiomatisation of the propositional μ-calculus
Walukiewicz, I
INFORMATION AND COMPUTATION, 2000, 157 (1-2) : 142 - 182
[3] A propositional calculus formal deductive system LU of universal logic and its completeness
Luo, MX
He, HC
FUZZY SYSTEMS AND KNOWLEDGE DISCOVERY, PT 1, PROCEEDINGS, 2005, 3613 : 31 - 41
[4] A NOTE ON THE COMPLETENESS OF KOZEN'S AXIOMATISATION OF THE PROPOSITIONAL μ-CALCULUS
Walukiewicz, Igor
BULLETIN OF SYMBOLIC LOGIC, 1996, 2 (03) : 349 - 366
[5] ON SEMANTICAL COMPLETENESS OF 2 SYSTEMS OF INFINITARY PROPOSITIONAL CALCULUS
THOMASON, RH
JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (04) : 703 - &
[6] Extracting the resolution algorithm from a completeness proof for the propositional calculus
Constable, Robert
Moczydlowski, Wojciech
LOGICAL FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 2007, 4514 : 147 - +
[7] FUNCTIONAL COMPLETENESS OF POST M-VALUED PROPOSITIONAL CALCULUS
BARTON, S
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1979, 25 (05): : 445 - 446
[8] COMPLETENESS THEOREMS FOR PROPOSITIONAL CALCULUS OF KIND W . PRELIMINARY REPORT
BROWN, DJ
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 16 (03): : 510 - &
[9] Extracting the resolution algorithm from a completeness proof for the propositional calculus
Constable, Robert
Moczydlowski, Wojciech
ANNALS OF PURE AND APPLIED LOGIC, 2009, 161 (03) : 337 - 348
[10] On canonicity and strong completeness conditions in intermediate propositional logics
Ghilardi S.
Miglioli P.
Studia Logica, 1999, 63 (3) : 353 - 385

← 1 2 3 4 5 →