Canonical extensions and relational representations of lattices with negation (Q1015482)

From MaRDI portal
Revision as of 13:02, 10 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Canonical extensions and relational representations of lattices with negation
scientific article

    Statements

    Canonical extensions and relational representations of lattices with negation (English)
    0 references
    0 references
    8 May 2009
    0 references
    The author gives some results about (not necessarily distributive) lattices with some ``negation'' (called \textit{negation algebras} in the paper). Some negations, for example, \(x\leq y\Longrightarrow\neg y\leq \neg x\) (DM), \(x le\neg\neg x\) (DNI) and so on, are considered and it is proved that these negations are \textit{canonical}, that is, they are preserved by canonical extensions. It is also proved that homomorphisms of negation algebras are extended to complete homomorphisms of canonical extensions. Using the fact that the class of RF-frames is in one-to-one correspondence with the class of perfect algebras, it is proved that the class of perfect negation algebras (with some negation) is in one-to-one correspondence with the class of negation frames (with some negation).
    0 references
    0 references
    lattice
    0 references
    negation
    0 references
    canonical extension
    0 references
    duality
    0 references

    Identifiers