Classical theorems in the Implicational Propositional Calculus
Paul Lee Robinson · arXiv (Cornell University) · 2016
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.