Classical theorems in the Implicational Propositional Calculus
Logic
2016-02-09 v1
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.
Keywords
Cite
@article{arxiv.1602.02301,
title = {Classical theorems in the Implicational Propositional Calculus},
author = {P. L. Robinson},
journal= {arXiv preprint arXiv:1602.02301},
year = {2016}
}