An equivalence between the category of MV-algebras and the category $${{\rm MV^{\bullet}}}$$ MV ∙ is given in Castiglioni et al. :67–92, 2014). An integral residuated lattice with bottom is an MV-algebra if and only if it satisfies the equations $${a = \neg \neg a, \vee = 1}$$ a = ¬ ¬ a, ∨ = 1 and $${a \odot = a \wedge b}$$ a ⊙ = a ∧ b. An object of $${{\rm MV^{\bullet}}}$$ MV ∙ is a residuated lattice which in (...) particular satisfies some equations which correspond to the previous equations. In this paper we extend the equivalence to the category whose objects are pairs, where A is an MV-algebra and I is an ideal of A. (shrink)

An equivalence between the category of MV-algebras and the category \ is given in Castiglioni et al. :67–92, 2014). An integral residuated lattice with bottom is an MV-algebra if and only if it satisfies the equations \ \vee = 1}\) and \ = a \wedge b}\). An object of \ is a residuated lattice which in particular satisfies some equations which correspond to the previous equations. In this paper we extend the equivalence to the category whose objects are pairs, where (...) A is an MV-algebra and I is an ideal of A. (shrink)

We give a new Esakia-style duality for the category of Sugihara monoids based on the Davey-Werner natural duality for lattices with involution, and use this duality to greatly simplify a construction due to Galatos-Raftery of Sugihara monoids from certain enrichments of their negative cones. Our method of obtaining this simplification is to transport the functors of the Galatos-Raftery construction across our duality, obtaining a vastly more transparent presentation on duals. Because our duality extends Dunn's relational semantics for the logic R-mingle (...) to a categorical equivalence, this also explains the Dunn semantics and its relationship with the more usual Routley-Meyer semantics for relevant logics. (shrink)