A categorical equivalence for Stonean residuated lattices
From MaRDI portal
Publication:2422315
DOI10.1007/s11225-018-9800-1zbMath1494.03094arXiv1706.06332OpenAlexW2803711685WikidataQ129813139 ScholiaQ129813139MaRDI QIDQ2422315
Roberto L. O. Cignoli, Miguel Andrés Marcos, Manuela Busaniche
Publication date: 19 June 2019
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1706.06332
Logical aspects of lattices and related structures (03G10) Other algebras related to logic (03G25) Stone spaces (Boolean spaces) and related structures (06E15)
Related Items
Varieties of bounded K-lattices, A topological approach to MTL-algebras, Representation by triples of algebras with an MV-retract
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Erratum to: ``Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \({2(x^2) = (2x)^2}\)
- Constructions of p-algebras
- Residuated lattices. An algebraic glimpse at substructural logics
- Commutative integral bounded residuated lattices with an added involution
- Triple and sheaf representations of Stone lattices
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Free algebras in varieties of BL-algebras with a Boolean retract.
- Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term
- A categorical equivalence for product algebras
- Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
- Free algebras in varieties of Stonean residuated lattices
- Sheaf spaces and sheaves of universal algebras
- Sheaves of Algebras over Boolean Spaces
- Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops
- Stone Lattices. I: Construction Theorems
- A New Proof of the Construction Theorem for Stone Algebras