Cubic algebras and Implication Algebras
Bailey, Colin · Oliveira, Joseph
Original · EN
We consider relationships between cubic algebras and implication algebras. We first exhibit a functorial construction of a cubic algebra from an implication algebra. Then we consider an collapse of a cubic algebra to an implication algebra and the connection between these two operations. Finally we use the ideas of the collapse to obtain a Stone-type representation theorem for a large class of cubic algebras.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.