Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term
From MaRDI portal
Publication:1935556
DOI10.1007/s11225-012-9453-4zbMath1272.03162MaRDI QIDQ1935556
Roberto L. O. Cignoli, Antoni Torrens Torrell
Publication date: 18 February 2013
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-012-9453-4
Related Items
Quasi-discriminator varieties, Frame definability in finitely valued modal logics, Structural and universal completeness in algebra and logic, Semisimples in varieties of commutative integral bounded residuated lattices, Erratum to: ``Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \({2(x^2) = (2x)^2}\), On state ideals and state relative annihilators in De Morgan state residuated lattices, Projectivity in (bounded) commutative integral residuated lattices, Rotation logics, Regular elements and Kolmogorov translation in residuated lattices, Compatibly involutive residuated lattices and the Nelson identity, Representation by triples of algebras with an MV-retract, A categorical equivalence for Stonean residuated lattices, Lattice-theoretic properties of algebras of logic, Projectivity and unification in substructural logics of generalized rotations
Cites Work
- Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts
- Residuated lattices. An algebraic glimpse at substructural logics
- Commutative integral bounded residuated lattices with an added involution
- Free algebras in varieties of BL-algebras with a Boolean retract.
- On the structure of hoops
- Boolean products of MV-algebras: hypernormal MV-algebras
- Varieties in which the Pierce stalks are directly indecomposable
- Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
- Free algebras in varieties of Stonean residuated lattices
- Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras
- Sheaf Constructions and Their Elementary Properties
- Glivenko like theorems in natural expansions of BCK-logic
- Algebras Whose Congruence Lattices are Distributive.
- Unnamed Item
- Unnamed Item
- Unnamed Item