arXiv Open Access 2015

Q-tableaux for Implicational Propositional Calculus

P. L. Robinson

Lihat Sumber

Abstrak

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

math.LO

P. L. Robinson

APA MLA BibTeX

Robinson, P.L. (2015). Q-tableaux for Implicational Propositional Calculus. https://arxiv.org/abs/1512.03525

Lihat di Sumber

Informasi Jurnal