Free-decomposability in varieties of pseudocomplemented residuated lattices
From MaRDI portal
Publication:763308
DOI10.1007/s11225-011-9326-2zbMath1243.06008OpenAlexW2045332537MaRDI QIDQ763308
Diego N. Castaño, Antoni Torrens Torrell, José Patricio Díaz Varela
Publication date: 9 March 2012
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-011-9326-2
Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Pseudocomplemented lattices (06D15) Ordered semigroups and monoids (06F05) Free algebras (08B20) Varieties of lattices (06B20)
Related Items (6)
Several types of filters related to the Stonean axiom in residuated lattices ⋮ Free-decomposability in varieties of semi-Heyting algebras ⋮ \(\sigma\)-ideals in distributive pseudocomplemented residuated lattices ⋮ Regular elements and Kolmogorov translation in residuated lattices ⋮ The existence of states based on Glivenko semihoops ⋮ Projectivity in (bounded) commutative integral residuated lattices
Cites Work
- Unnamed Item
- Residuated lattices. An algebraic glimpse at substructural logics
- Free Stone algebras
- Free algebras in varieties of BL-algebras with a Boolean retract.
- On the structure of varieties with equationally definable principal congruences. I
- Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
- Free algebras in varieties of Stonean residuated lattices
- Free algebras in varieties of BL-algebras generated by a chain.
- Bounded BCK-algebras and their generated variety
- Glivenko like theorems in natural expansions of BCK-logic
This page was built for publication: Free-decomposability in varieties of pseudocomplemented residuated lattices
