Canonical extensions and relational representations of lattices with negation (Q1015482): Difference between revisions

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).