A Universal Axiomatization of Metropolis-Rota Implication Algebras
From MaRDI portal
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.
This page was built for publication: A Universal Axiomatization of Metropolis-Rota Implication Algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6212591)
