Commutative integral bounded residuated lattices with an added involution (Q1035650)

From MaRDI portal
Revision as of 02:23, 2 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Commutative integral bounded residuated lattices with an added involution
scientific article

    Statements

    Commutative integral bounded residuated lattices with an added involution (English)
    0 references
    0 references
    0 references
    4 November 2009
    0 references
    A symmetric residuated lattice is an algebra \(A=(A,\vee ,\wedge ,*,\rightarrow ,\sim,1,0)\) such that \((A,\vee ,\wedge ,*,\rightarrow ,1,0)\) is a commutative integral bounded residuated lattice and the equations \({\sim\sim x}=x\) and \({\sim(x\vee y)}={\sim x}\wedge{\sim y}\) are satisfied. The aim of this paper is to investigate the properties of the unary operation \(\varepsilon \) defined by \(\varepsilon x={\sim x} \rightarrow 0\). The authors give necessary and sufficient conditions for \(\varepsilon\) to be an interior operator. Since these conditions are rather restrictive, they consider when an iteration of \(\varepsilon \) is an interior operator. In particular they consider the chain of varieties of symmetric residuated lattices such that the \(n\)-fold iteration of \(\varepsilon\) is a Boolean interior operator. They show that these varieties are semisimple. For \(n=1\), the variety of symmetric Stonean residuated lattices is obtained. Also, the authors characterize the subvarieties admitting representations as subdirect products of chains.
    0 references
    0 references
    residuated lattices
    0 references
    pseudo-complemented residuated lattices
    0 references
    Stonean residuated lattices
    0 references
    order-reversing involutions
    0 references
    interior operators
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references