3 papers
math.RA2023
The spectrum problem for -groups and for MV-algebras: a categorical approach
Giuseppina Gerarda Barbieri, Antonio Di Nola, Giacomo Lenzi
As a main result, we characterize prime spectra of abelian lattice ordered groups. Further we introduce some categories based on spectral spaces, lattices and Priestley spaces, and…
math.LO2017
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…
math.LO2016
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…