The Logic of CMV-Algebras
Logic
2011-09-21 v1
Abstract
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.
Cite
@article{arxiv.1002.0974,
title = {The Logic of CMV-Algebras},
author = {Antonio Di Nola and Brunella Gerla and Ciro Russo},
journal= {arXiv preprint arXiv:1002.0974},
year = {2011}
}