A Universal Axiomatization of Metropolis-Rota Implication Algebras

Loading...
Thumbnail Image

Date

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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.
14 pages

Citation

Consulte el texto completo en el siguiente enlace:

Collections