arXiv Analytics

Sign in

arXiv:1512.00091 [math.LO]AbstractReferencesReviewsResources

Implicational Propositional Calculus: Tableaux and Completeness

P. L. Robinson

Published 2015-11-30Version 1

We discuss tableaux for the Implicational Propositional Calculus and show how they may be used to establish its completeness.

Categories: math.LO
Subjects: 03B05, 03B20
Related articles: Most relevant | Search more
arXiv:1602.02301 [math.LO] (Published 2016-02-06)
Classical theorems in the Implicational Propositional Calculus
arXiv:1512.03525 [math.LO] (Published 2015-12-11)
Q-tableaux for Implicational Propositional Calculus
arXiv:1511.02953 [math.LO] (Published 2015-11-10)
Implicational Completeness

Links

Toolbox