On a new proof of completeness of p. i. Propositional Calculus

被引：0

作者：

Lenzi, Domenico ^{[1
]}

机构：

[1] Univ Salento, Dipartimento Matemat E De Giorgi, I-73100 Lecce, Italy

来源：

NOTE DI MATEMATICA | 2007年 / 27卷 / 01期

关键词：

implication; algebras;

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

In this paper, in order to obtain some interesting properties of the implicational algebras, we prove a completeness theorem on positive implicational Propositional Calculus in which we use the axiom schema (( a superset of b) superset of b) superset of (( b superset of a) superset of a) in an essential manner. We demonstrate this theorem without using neither Zorn's Lemma, nor similar properties.

引用

页码：139 / 144

页数：6

共 50 条

[21] Academician I. P. Pavlov
不详
JOURNAL OF THE AMERICAN MEDICAL ASSOCIATION, 1934, 103 : 1551 - 1552
[22] ALGEBRAIC PROOF OF SEPARATION THEOREM ON CLASSICAL PROPOSITIONAL CALCULUS
HOSOI, T
PROCEEDINGS OF THE JAPAN ACADEMY, 1966, 42 (02): : 67 - &
[23] The Codex Gertrudianus: P. I. A New Interpretation of the Iconographic Programme
Szili, S.
DREVNYAYA RUS-VOPROSY MEDIEVISTIKI, 2014, 57 (03): : 90 - +
[24] The Researcher of the Mordva P. I. Melnikov
Shaldenkova, M. V.
VOPROSY ISTORII, 2013, (07) : 147 - 149
[25] P. S. I. and a Sigh
Siggers, Philip E.
JOURNAL OF THE PATENT OFFICE SOCIETY, 1952, 34 (11): : 899 - 900
[26] I. P. R. Notes
Price, Maurice T.
ANNALS OF THE AMERICAN ACADEMY OF POLITICAL AND SOCIAL SCIENCE, 1937, 194 : 256 - 257
[27] The Mnemic Effects of P. I. Zinchenko
Meshcheryakov, B. G.
KULTURNO-ISTORICHESKAYA PSIKHOLOGIYA-CULTURAL-HISTORICAL PSYCHOLOGY, 2009, 2 : 3 - 13
[28] I. P. R. Notes
Martin, Charles E.
AMERICAN JOURNAL OF INTERNATIONAL LAW, 1937, 31 (04) : 766 - 767
[29] I. P. Pavlov about religion
Bolondinsky, VK
ZHURNAL VYSSHEI NERVNOI DEYATELNOSTI IMENI I P PAVLOVA, 1995, 45 (05) : 1062 - 1067
[30] An Easy Completeness Proof for the Modal μ-Calculus on Finite Trees
ten Cate, Balder
Fontaine, Gaelle
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2010, 6014 : 161 - +

← 1 2 3 4 5 →