24 citations · 53 across the 7 of their papers we have counts for
5 papers · 1 filter
Infinitary logic and basically disconnected compact Hausdorff spaces
Antonio Di Nola, Serafina Lapenta, Ioana Leustean
We extend Łukasiewicz logic obtaining the infinitary logic whose models are algebras , where is a basically disconnected compact Hausdorff space. Eq…
An analysis of the logic of Riesz Spaces with strong unit
Antonio Di Nola, Serafina Lapenta, Ioana Leustean
We study Łukasiewicz logic enriched with a scalar multiplication with scalars taken in . Its algebraic models, called {\em Riesz MV-algebras}, are, up to isomorphism, unit i…
Lukasiewicz logic and Riesz spaces
Antonio Di Nola, Ioana Leustean
We initiate a deep study of {\em Riesz MV-algebras} which are MV-algebras endowed with a scalar multiplication with scalars from . Extending Mundici's equivalence between MV…
The semiring-theoretic approach to MV-algebras: a survey
Antonio Di Nola, Ciro Russo
In this paper we review some of the main achievements of the semiring-theoretic approach to MV-algebras initiated and pursued mainly by the present authors and their collaborators.…
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…