Mathematics – Logic
Scientific paper
2010-02-04
Collana Scientifica dell'Universit\`a di Salerno, pp. 131-151, Rubbettino Editore, Italy, 2010
Mathematics
Logic
Scientific paper
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.
Gerla Brunella
Nola Antonio Di
Russo Ciro
No associations
LandOfFree
The Logic of CMV-Algebras does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with The Logic of CMV-Algebras, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The Logic of CMV-Algebras will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-154890