24 citations · 53 across the 7 of their papers we have counts for
Showing 2010Show all
3 papers · 1 filter
math.FA2010★ 1 cited
Stone Duality Type Theorems for MV-algebras with Internal State
Antonio Di Nola, Anatolij Dvurecenskij, Ada Lettieri
Recently in \cite{FM, FlMo}, the language of MV-algebras was extended by adding a unary operation, an internal operator, called also a state-operator. In \cite{DD1}, a stronger ver…
math.LO2010
The Logic of CMV-Algebras
Antonio Di Nola, Brunella Gerla, Ciro Russo
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…
math.RA2010★ 24 cited
Semiring and semimodule issues in MV-algebras
Antonio Di Nola, Ciro Russo
In this paper we propose a semiring-theoretic approach to MV-algebras based on the connection between such algebras and idempotent semirings - such an approach naturally imposing t…