31 citations · 126 across the 16 of their papers we have counts for
Showing 2010 · math.LOShow all
3 papers · 2 filters
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…
math.LO2010★ 31 cited
Quantale Modules and their Operators, with Applications
Ciro Russo
The central topic of this work is the categories of modules over unital quantales. The main categorical properties are established and a special class of operators, called Q-module…