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 条

[41] Contributory Infringement: R. I. P.
Knoth, Harold M.
JOURNAL OF THE PATENT OFFICE SOCIETY, 1949, 31 (10): : 767 - 776
[42] On the Catholicism of princess I. P. Dolgorukova.
Pisarenko, K. A.
VOPROSY ISTORII, 2009, (10) : 172 - 175
[43] In Memory of P. I. Marikovsky (1912–2008)
V. L. Kazenas
G. S. Medvedev
S. A. Belokobylskij
Entomological Review, 2009, 89 (9) : 1214 - 1223
[44] Towards Completeness via Proof Search in the Linear Time μ-calculus
Doumane, Amina
Baelde, David
Hirschi, Lucca
Saurin, Alexis
PROCEEDINGS OF THE 31ST ANNUAL ACM-IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016), 2016, : 377 - 386
[45] A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle
Bengtson, Jesper
Parrow, Joachim
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 192 (01) : 61 - 75
[46] Proof-Search in Natural Deduction Calculus for Classical Propositional Logic
Ferrari, Mauro
Fiorentini, Camillo
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2015), 2015, 9323 : 237 - 252
[47] Justification of the logical implication of propositional calculus: Proof by incremental constructive reasoning
Moussa, AS
PROCEEDINGS OF THE 7TH JOINT CONFERENCE ON INFORMATION SCIENCES, 2003, : 225 - 228
[48] Thematic and Bibliographical Catalogue of P. I. Tchaikovsky's (P. I. Cajkovskij's) Works, 2nd edition
Bullock, Philip Ross
MUSIC & LETTERS, 2010, 91 (02) : 271 - 273
[49] Propositional intuitionistic multiple-conclusion calculus via proof graphs
Carvalho, Ruan V. B.
de Oliveira, Anjolina G.
de Queiroz, Ruy J. G. B.
LOGIC JOURNAL OF THE IGPL, 2019, 27 (01) : 33 - 59
[50] ON AXIOM SYSTEMS OF PROPOSITIONAL CALCULI .I.
IMAI, Y
ISEKI, K
PROCEEDINGS OF THE JAPAN ACADEMY, 1965, 41 (06): : 436 - &

← 1 2 3 4 5 →