Free algebras in varieties of Stonean residuated lattices
From MaRDI portal
Publication:2466756
DOI10.1007/s00500-007-0183-xzbMath1142.06003OpenAlexW2008688251MaRDI QIDQ2466756
Publication date: 16 January 2008
Published in: Soft Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00500-007-0183-x
Related Items
Several types of filters related to the Stonean axiom in residuated lattices ⋮ Projectivity and unification in substructural logics of generalized rotations ⋮ Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term ⋮ A categorical equivalence for Stonean residuated lattices ⋮ Erratum to: ``Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \({2(x^2) = (2x)^2}\) ⋮ \(\sigma\)-ideals in distributive pseudocomplemented residuated lattices ⋮ Free-decomposability in varieties of pseudocomplemented residuated lattices ⋮ Commutative integral bounded residuated lattices with an added involution ⋮ The existence of states based on Glivenko semihoops ⋮ Regularity in residuated lattices
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic
- Free Stone algebras
- On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
- Free algebras in varieties of BL-algebras with a Boolean retract.
- Boolean products of MV-algebras: hypernormal MV-algebras
- Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
- Sheaf Constructions and Their Elementary Properties
- Glivenko like theorems in natural expansions of BCK-logic
- Free algebras in varieties of BL-algebras generated by a BLn-chain
This page was built for publication: Free algebras in varieties of Stonean residuated lattices
