Free algebras in varieties of BL-algebras with a Boolean retract.
From MaRDI portal
Publication:1771935
DOI10.1007/s00012-002-8204-1zbMath1058.03077OpenAlexW2054035820MaRDI QIDQ1771935
Roberto L. O. Cignoli, Antoni Torrens Torrell
Publication date: 19 April 2005
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00012-002-8204-1
Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25) Stone spaces (Boolean spaces) and related structures (06E15) MV-algebras (06D35) Free algebras (08B20)
Related Items
Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term ⋮ A categorical equivalence for Stonean residuated lattices ⋮ Transfer theorems for finitely subdirectly irreducible algebras ⋮ Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\) ⋮ State morphism MV-algebras ⋮ Lattice-theoretic properties of algebras of logic ⋮ The subvariety of commutative residuated lattices represented by twist-products ⋮ An approach to Glivenko's theorem in algebraizable logics ⋮ Boolean representation of bounded BCK-algebras ⋮ States on semi-divisible residuated lattices ⋮ Free algebras in varieties of Stonean residuated lattices ⋮ Functional representation of finitely generated free algebras in subvarieties of BL-algebras ⋮ Double negation semantics for generalisations of Heyting algebras ⋮ Free algebras in varieties of BL-algebras generated by a BLn-chain ⋮ Free-decomposability in varieties of pseudocomplemented residuated lattices ⋮ Standard completeness of Hájek basic logic and decompositions of BL-chains