Q-tableaux for Implicational Propositional Calculus
arXiv:1512.03525
Abstract
We study -tableaux and axiom systems that they engender, producing a new proof that the Implicational Propositional Calculus is complete.
arXiv:1512.03525
We study -tableaux and axiom systems that they engender, producing a new proof that the Implicational Propositional Calculus is complete.