Interval MV-algebras and generalizations

Leonardo Manuel Cabrer, Daniele Mundici

For any MV-algebra $A$ we equip the set $I(A)$ of intervals in $A$ with pointwise Łukasiewicz negation $\neg x=\{\neg \alpha \mid \alpha \in x\}$, (truncated) Minkowski sum, $x\oplus y=\{α\opl…