2015/12/11 by P. L. Robinson, Robinson, P. L.
Computer Science · Mathematics · #03B05 #03B20 #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #math.LO #msc:03B05 #msc:03B20
paper · pdf · doi:10.48550/arxiv.1512.03525
arxiv created 2015/12/11 · openalex publication_date 2015/12/11 · arxiv updated 2015/12/14 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We study Q-tableaux and axiom systems that they engender, producing a new proof that the Implicational Propositional Calculus is complete.