The Logic of CMV-Algebras
Antonio Di Nola, Brunella Gerla, Ciro Russo · arXiv (Cornell University) · 2010
In this paper, once recalled some properties of CMV-algebras, we introduce an expansion of the one-variable fragment of Lukasiewicz propositional logic whose algebraic semantics is the variety of CMV-algebras.