A Universal Axiomatization of Metropolis-Rota Implication Algebras
Colin Bailey, Joseph Oliveira
TL;DR
This paper provides a universal axiomatization for Metropolis-Rota implication algebras using a new operation related to oriented matroids, clarifying their structural collapse.
Contribution
It introduces a novel operation that enables a universal axiomatization of MR-algebras, advancing the theoretical understanding of their structure.
Findings
Universal axiomatization of MR-algebras achieved
New operation related to oriented matroids defined
Role of operation in MR-algebra collapse explained
Abstract
We show that the class of Metropolis-Rota implication algebras can be given a universal axiomatization using an operation closely related to composition in oriented matroids. Lastly we describe the role of our new operation in the collapse of an MR-algebra.
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 · Logic, programming, and type systems · Logic, Reasoning, and Knowledge