加载中…
2009-02-01
A Universal Axiomatization of Metropolis-Rota Implication Algebras
Colin BaileyJoseph Oliveira
文献摘要
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.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本