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 条

[41] Undecidable Iterative Propositional Calculus
G. V. Bokov
Algebra and Logic, 2016, 55 : 274 - 282
[42] CERTAIN HIERARCHIES OF PROPOSITIONAL CALCULUS
ARRUDA, AI
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1968, 266 (02): : 37 - &
[43] Basic propositional calculus I
Ardeshir, M
Ruitenburg, W
MATHEMATICAL LOGIC QUARTERLY, 1998, 44 (03) : 317 - 343
[44] FUNCTION ALGEBRA AND PROPOSITIONAL CALCULUS
LERCHER, B
JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (02) : 272 - &
[45] Computational structure for the propositional calculus
1600, Morgan Kaufmann Publ Inc, San Mateo, CA, USA (01):
[46] Metalogic of Intuitionistic Propositional Calculus
Citkin, Alex
NOTRE DAME JOURNAL OF FORMAL LOGIC, 2010, 51 (04) : 485 - 502
[47] PARACONSISTENT INFINITARY PROPOSITIONAL CALCULUS
LUNGARZO, C
JOURNAL OF SYMBOLIC LOGIC, 1978, 43 (02) : 359 - 359
[48] INTUITIONISTIC PROPOSITIONAL CALCULUS WITH QUANTIFIERS
SOBOLEV, SK
MATHEMATICAL NOTES, 1977, 22 (1-2) : 528 - 532
[49] On the completeness of Incidence calculus
Wang, LS
Wong, SKM
Yao, YY
JOURNAL OF AUTOMATED REASONING, 1996, 16 (03) : 355 - 368
[50] CIRQUENT CALCULUS SYSTEM CL8S VERSUS CALCULUS OF STRUCTURES SYSTEM SKSG FOR PROPOSITIONAL LOGIC
Xu, Wenyan
Liu, Sanyang
QUANTITATIVE LOGIC AND SOFT COMPUTING, 2012, 5 : 144 - 149

← 1 2 3 4 5 →