Q-tableaux for Implicational Propositional Calculus
Logic
2015-12-14 v1
Abstract
We study -tableaux and axiom systems that they engender, producing a new proof that the Implicational Propositional Calculus is complete.
Cite
@article{arxiv.1512.03525,
title = {Q-tableaux for Implicational Propositional Calculus},
author = {P. L. Robinson},
journal= {arXiv preprint arXiv:1512.03525},
year = {2015}
}