The Logic of CMV-Algebras

Antonio Di Nola; Brunella Gerla; Ciro Russo

arxiv: 1002.0974 · v1 · pith:JH3JVIEKnew · submitted 2010-02-04 · 🧮 math.LO

The Logic of CMV-Algebras

Antonio Di Nola , Brunella Gerla , Ciro Russo This is my paper

classification 🧮 math.LO

keywords cmv-algebraslogicalgebraicexpansionfragmentintroducelukasiewiczonce

0 comments

read the original 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.

This paper has not been read by Pith yet.

The Logic of CMV-Algebras

discussion (0)