Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops
From MaRDI portal
Publication:4555455
DOI10.1093/logcom/exx014zbMath1404.06011OpenAlexW2785884469MaRDI QIDQ4555455
Sara Ugolini, Stefano Aguzzoli, Tommaso Flaminio
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
Related Items (10)
Twist structures and Nelson conuclei ⋮ Projectivity and unification in substructural logics of generalized rotations ⋮ Varieties of bounded K-lattices ⋮ A categorical equivalence for Stonean residuated lattices ⋮ Gluing residuated lattices ⋮ Structural and universal completeness in algebra and logic ⋮ Rotation logics ⋮ Hyperstates of Involutive MTL-Algebras that Satisfy $$(2x)^2=2(x^2)$$ ⋮ A topological approach to MTL-algebras ⋮ Representation by triples of algebras with an MV-retract
This page was built for publication: Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops
