Thumbnail
Access Restriction
Open

Author Di Nola, Antonio ♦ Gerla, Brunella ♦ Russo, Ciro
Source arXiv.org
Content type Text
File Format PDF
Date of Submission 2010-02-04
Language English
Subject Domain (in DDC) Natural sciences & mathematics ♦ Mathematics
Subject Keyword Mathematics - Logic ♦ 03B50 ♦ math
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.
Description Reference: Collana Scientifica dell'Universit\`a di Salerno, pp. 131-151, Rubbettino Editore, Italy, 2010
Educational Use Research
Learning Resource Type Article


Open content in new tab

   Open content in new tab