Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops

DOI10.1093/LOGCOM/EXX014MaRDI QIDQ4555455zbMATH OpenOpenAlexFDO

Authors Stefano Aguzzoli, Tommaso Flaminio, Sara Ugolini

Publication date 20 November 2018

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exx014

zbMATH Keywords

Boolean algebrascategorical equivalenceprelinear semihoopsstrongly perfect MTL-algebras

Mathematics Subject Classification ID

MV-algebras (06D35)

Recommendations

• Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
• A categorical equivalence for product algebras
• On Some Varieties of MTL-algebras
• Hyperstates of involutive MTL-algebras that satisfy (2x)^2=2(x^2)
• On categorical equivalences of equality algebras and monadic equality algebras

Cited in

(15)

• Twist structures and Nelson conuclei
• Rotation logics
• A topological approach to MTL-algebras
• Representation by triples of algebras with an MV-retract
• A categorical equivalence for product algebras
• A categorical equivalence for Stonean residuated lattices
• Projectivity and unification in substructural logics of generalized rotations
• Hyperstates of involutive MTL-algebras that satisfy (2x)^2=2(x^2)
• Varieties of bounded K-lattices
• Gluing residuated lattices
• Structural and universal completeness in algebra and logic
• Algebras and relational frames for Gödel modal logic and some of its extensions
• Free constructions in hoops via -groups
• Module structures and filters on semihoops
• Unification via projectivity in varieties of hoops

This page was built for publication: Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4555455)