17 citations · 20 across the 5 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
math.LO2010★ 2 cited
Representation of Perfect and Local MV-algebras
Brunella Gerla, Ciro Russo, Luca Spada
We describe representation theorems for local and perfect MV-algebras in terms of ultraproducts involving the unit interval [0,1]. Furthermore, we give a representation of local Ab…
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…