Representation by triples of algebras with an MV-retract

DOI10.1016/j.fss.2018.10.024zbMath1423.06044OpenAlexW2899590450MaRDI QIDQ2328956

Miguel Andrés Marcos, Sara Ugolini, Manuela Busaniche

Publication date: 16 October 2019

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2018.10.024

zbMATH Keywords

rotationcategorical equivalenceresiduated lattices

Mathematics Subject Classification ID

Other algebras related to logic (03G25) MV-algebras (06D35) Varieties of lattices (06B20)

Related Items

Projectivity and unification in substructural logics of generalized rotations, Varieties of bounded K-lattices, Gluing residuated lattices, Rotation logics, A topological approach to MTL-algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Residuated lattices. An algebraic glimpse at substructural logics
• On the structure of rotation-invariant semigroups
• Adding involution to residuated structures
• Varieties of BL-algebras. I: General properties.
• Algebraic foundations of many-valued reasoning
• Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term
• A categorical equivalence for product algebras
• A categorical equivalence for Stonean residuated lattices
• Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
• Constructive Logic with Strong Negation as a Substructural Logic
• Hoops and Fuzzy Logic
• Structure of left-continuous triangular norms with strong induced negations (I) Rotation construction
• Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops
• Free nilpotent minimum algebras
• Stone Lattices. I: Construction Theorems