  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.
