arXiv Open Access 2015

Implicational Propositional Calculus: Tableaux and Completeness

P. L. Robinson

Lihat Sumber

Abstrak

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

math.LO

P. L. Robinson

APA MLA BibTeX

Robinson, P.L. (2015). Implicational Propositional Calculus: Tableaux and Completeness. https://arxiv.org/abs/1512.00091

Lihat di Sumber

Informasi Jurnal