2015/11/30 by P. L. Robinson, Robinson, P. L.
Computer Science · #03B05 #03B20 #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
paper · pdf · doi:10.48550/arxiv.1512.00091
openalex publication_date 2015/11/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We discuss tableaux for the Implicational Propositional Calculus and show how they may be used to establish its completeness.