Classical theorems in the Implicational Propositional Calculus
arXiv:1602.02301
Abstract
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.