arXiv Analytics

Sign in

arXiv:1602.02301 [math.LO]AbstractReferencesReviewsResources

Classical theorems in the Implicational Propositional Calculus

P. L. Robinson

Published 2016-02-06Version 1

For formulas of the Implicational Propositional Calculus (IPC) that are theorems of the classical Propositional Calculus (PC) we show that PC proofs yield IPC proofs. As a consequence, completeness of PC yields completeness of IPC.

Categories: math.LO
Subjects: 03B05, 03B20
Related articles: Most relevant | Search more
arXiv:1512.00091 [math.LO] (Published 2015-11-30)
Implicational Propositional Calculus: Tableaux and Completeness
arXiv:1512.03525 [math.LO] (Published 2015-12-11)
Q-tableaux for Implicational Propositional Calculus
arXiv:1511.02953 [math.LO] (Published 2015-11-10)
Implicational Completeness

Links

Toolbox