Implicational Propositional Calculus: Tableaux and Completeness
Logic
2015-12-08 v2
Abstract
We discuss tableaux for the Implicational Propositional Calculus and show how they may be used to establish its completeness.
Cite
@article{arxiv.1512.00091,
title = {Implicational Propositional Calculus: Tableaux and Completeness},
author = {P. L. Robinson},
journal= {arXiv preprint arXiv:1512.00091},
year = {2015}
}
Comments
Added two clarifications; transposed a couple of terms