Free algebras in varieties of Stonean residuated lattices
From MaRDI portal
Publication:2466756
DOI10.1007/s00500-007-0183-xzbMath1142.06003MaRDI 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
Regularity in residuated lattices, Several types of filters related to the Stonean axiom in 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, Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term, The existence of states based on Glivenko semihoops, A categorical equivalence for Stonean residuated lattices, Projectivity and unification in substructural logics of generalized rotations
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