Riesz MV-algebras and their logic
Antonio Di Nola, Ioana Leuştean · 2011
We develop the general theory of RMV-algebras, which are essentially unit intervals in Riesz spaces with strong unit. Since the variety of RMV-algebras is generated by [0, 1], we get an equational characterization of the real product on [0,1] interpreted as scalar multiplication.