Switch to: References

Citations of:

The logic Ł•

Marta S. Sagastume & Hernán J. San Martín

Mathematical Logic Quarterly 60 (6):375-388 (2014)

Add citations

You must login to add citations.

(1 other version)A Categorical Equivalence Motivated by Kalman’s Construction.Marta S. Sagastume & Hernán J. San Martín - 2016 - Studia Logica 104 (2):185-208.details 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 (...) Download Export citation Bookmark
(1 other version)A Categorical Equivalence Motivated by Kalman’s Construction.Hernán J. San Martín & Marta S. Sagastume - 2016 - Studia Logica 104 (2):185-208.details 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 (...) Download Export citation Bookmark

1