Free algebras in varieties of Stonean residuated lattices (Q2466756)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Free algebras in varieties of Stonean residuated lattices
scientific article

    Statements

    Free algebras in varieties of Stonean residuated lattices (English)
    0 references
    16 January 2008
    0 references
    The variety of Stonean residuated lattices consists of all bounded (integral, commutative) residuated lattices \(\langle A, *, \rightarrow, \vee, \wedge, \top, \perp \rangle\) that satisfy the identity \(\neg \, x \vee \neg \neg \,x = \top\), where \(\neg \, x := x \rightarrow \, \perp\). A key feature of a Stonean residuated lattice is that double negation is a retract onto its Boolean skeleton. This paper presents a weak Boolean product representation of the free algebras in varieties of Stonean residuated lattices. Given a variety \(V\) of Stonean residuated lattices and a generating set \(X\), let \(V^*\) be the variety of all residuated lattices that become members of \(V\) when a least element is appended. Then the \(V\)-free algebra over \(X\) is represented as a weak Boolean product over the Cantor space \(2^{|X|}\) of the family of \(V^*\)-free algebras over subsets of \(X\), with a least element appended.
    0 references
    Stonean residuated lattices
    0 references
    weak Boolean product representation
    0 references
    free algebras
    0 references

    Identifiers