A Gr\"atzer-Schmidt theorem for the Lindenbaum-Tarski algebra of IPC
P.L. Robinson
TL;DR
This paper extends the Gr"atzer-Schmidt theorem to the Lindenbaum-Tarski algebra of the Implicational Propositional Calculus, providing new insights into its algebraic structure.
Contribution
It introduces a version of the Gr"atzer-Schmidt theorem specifically for the algebra associated with IPC, a novel theoretical result.
Findings
Establishes a new algebraic characterization of IPC's Lindenbaum-Tarski algebra
Provides a theoretical foundation for further algebraic studies of IPC
Enhances understanding of the structure of propositional calculus algebras
Abstract
We prove a version of the Gr\"atzer-Schmidt theorem for the Lindenbaum-Tarski algebra associated to the Implicational Propositional Calculus.
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
TopicsAdvanced Algebra and Logic · Advanced Topics in Algebra · Logic, Reasoning, and Knowledge