Interval MV-algebras and generalizations

• Generalizes Łukasiewicz logic with intervals in [0,1][0,1] as truth-values.
• Intervals are acted upon by Minkowski operations, like those of interval analysis.
• Presents a functorial map of algebraizable logics into their interval-valued counterpart.

For any MV-algebra A   we equip the set I(A)I(A) of intervals in A   with pointwise Łukasiewicz negation ¬x={¬α|α∈x}¬x={¬α|α∈x}, (truncated) Minkowski sum x⊕y={α⊕β|α∈x,β∈y}, pointwise Łukasiewicz conjunction x⊙y=¬(¬x⊕¬y)x⊙y=¬(¬x⊕¬y), the operators Δx=[min⁡x,min⁡x]Δx=[min⁡x,min⁡x], ∇x=[max⁡x,max⁡x]∇x=[max⁡x,max⁡x], and distinguished constants 0=[0,0],1=[1,1],i=A0=[0,0],1=[1,1],i=A. We list a few equations satisfied by the algebra I(A)=(I(A),0,1,i,¬,Δ,∇,⊕,⊙)I(A)=(I(A),0,1,i,¬,Δ,∇,⊕,⊙), call IMV-algebra   every model of these equations, and show that, conversely, every IMV-algebra is isomorphic to the IMV-algebra I(B)I(B) of all intervals in some MV-algebra B. We show that IMV-algebras are categorically equivalent to MV-algebras, and give a representation of free IMV-algebras. We construct Łukasiewicz interval logic  , with its coNP-complete consequence relation, which we prove to be complete for I([0,1])I([0,1])-valuations. For any class QQ of partially ordered algebras with operations that are monotone or antimonotone in each variable, we consider the generalization IQIQ of the MV-algebraic functor II, and give necessary and sufficient conditions for IQIQ to be a categorical equivalence. These conditions are satisfied, e.g., by all subquasivarieties of residuated lattices.