arXiv:1512.03525 Abstract | arXiv Analytics

Published 2015-12-11Version 1

We study $Q$-tableaux and axiom systems that they engender, producing a new proof that the Implicational Propositional Calculus is complete.

Categories: math.LO

Subjects: 03B05, 03B20

Keywords: implicational propositional calculus, q-tableaux, axiom systems

Related articles: Most relevant | Search more

arXiv:1512.00091 [math.LO] (Published 2015-11-30)

Implicational Propositional Calculus: Tableaux and Completeness

P. L. Robinson

arXiv:1602.02301 [math.LO] (Published 2016-02-06)

Classical theorems in the Implicational Propositional Calculus

P. L. Robinson

arXiv:1511.02953 [math.LO] (Published 2015-11-10)

Implicational Completeness

P. L. Robinson