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 条

[21] A formal deductive system for fuzzy propositional calculus
WANG GuojunInstitute of Mathematics
ChineseScienceBulletin, 1997, (18) : 1521 - 1525
[22] A formal deductive system for fuzzy propositional calculus
Wang, GJ
CHINESE SCIENCE BULLETIN, 1997, 42 (18): : 1521 - 1525
[23] STRONG SEMANTICAL COMPLETENESS OF ANY EXTENSION OF INTUITIONISTIC PREDICATE CALCULUS
RAUSZER, C
BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1976, 24 (02): : 81 - 87
[24] Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus
Arch Math Logic, 5-6 (327):
[25] NEW PROOF OF FUNCTIONAL COMPLETENESS OF SYSTEM [C,N,T] OF ROSSER-TURQUETTE, IN M-VALENT PROPOSITIONAL CALCULUS
DURAND, D
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1975, 281 (16): : 681 - 682
[26] Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus
Dekkers, W
Bunder, M
Barendregt, H
ARCHIVE FOR MATHEMATICAL LOGIC, 1998, 37 (5-6) : 327 - 341
[27] Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus
Wil Dekkers
Martin Bunder
Henk Barendregt
Archive for Mathematical Logic, 1998, 37 : 327 - 341
[28] AN INVESTIGATION OF THE PROPOSITIONAL CALCULUS USED IN A PARTICULAR SYSTEM OF LOGIC
HARROP, R
PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 1954, 50 (04): : 495 - 512
[29] PROPOSITIONAL CALCULUS AND REALIZABILITY
ROSE, GF
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1953, 75 (JUL) : 1 - 19
[30] REVISION IN PROPOSITIONAL CALCULUS
PAPINI, O
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 548 : 272 - 276

← 1 2 3 4 5 →