Q-tableaux for Implicational Propositional Calculus
P.L. Robinson
TL;DR
This paper introduces Q-tableaux and related axiom systems to demonstrate the completeness of the Implicational Propositional Calculus, providing a new proof of this fundamental logical property.
Contribution
It presents a novel approach using Q-tableaux to establish the completeness of the Implicational Propositional Calculus, advancing proof techniques in propositional logic.
Findings
Q-tableaux effectively characterize implicational logic
A new proof of completeness for the Implicational Propositional Calculus
Enhanced understanding of axiom systems for propositional logic
Abstract
We study -tableaux and axiom systems that they engender, producing a new proof that the Implicational Propositional Calculus is complete.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems · Advanced Algebra and Logic · Logic, Reasoning, and Knowledge