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 $[0,1]$. Its algebraic models, called {\em Riesz MV-algebras}, are, up to isomorphism, unit i…