On the characterization of a subvariety of semi-De Morgan algebras (Q2469329)

From MaRDI portal





scientific article
Language Label Description Also known as
English
On the characterization of a subvariety of semi-De Morgan algebras
scientific article

    Statements

    On the characterization of a subvariety of semi-De Morgan algebras (English)
    0 references
    0 references
    0 references
    5 February 2008
    0 references
    In this paper, the authors characterize, by a new set of axioms, the largest subvariety of semi-De Morgan algebras with the congruence extension property. The equational class of semi-De Morgan algebras, introduced by Sankappanavar and denoted by SDMA for short, consists of bounded lattices with an additional unary operation and it contains the variety of pseudocomplemented distributive lattices and \(\mathcal{K}_{1,1}\), one of the subvarieties of Ockham algebras which includes De Morgan algebras. D. Hobby developed a duality for SDMA which he used to find the largest subvariety of SDMA (denoted by \(\mathcal{C}\)) with the congruence extension property. This variety contains both \(\mathcal{K}_{1,1}\) and the equational class of demi-pseudocomplemented lattices (a generalization of pseudocomplemented lattices studied by Sankappanavar) and it is characterized by the following inequalities: (\(\alpha\)) \(a'\vee b'\geq (a\wedge b)'\wedge (a\wedge c)'\wedge (b\wedge c)'\wedge (b\wedge c')'\), (\(\beta\)) \(a'\vee (a'\wedge b\wedge b')'\geq (a\wedge b)'\). The authors had determined (in previous papers) the equations defining principal congruences as well as the subdirectly irreducibles of the variety \(\mathcal{C}\) and, in this paper, they find a new inequality (\(\gamma\)) \((a'\wedge(b\wedge(c\vee c'))')\vee(b'\wedge (a\wedge c)')=(a\wedge b)'\wedge (a\wedge c)'\wedge (b\wedge (c\vee c'))'\) such that \(\mathcal{C}\) can be characterized (easier) by \(\gamma\) and \(\beta\).
    0 references
    Semi-De Morgan algebras
    0 references
    congruence extension property
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references