  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.
