Negations and contrapositions of complete lattices (Q1381851)

Let \(L\) be a complete lattice. The authors introduce the negation \({\mathcal C}L\) as the complementary context \(({\mathcal J}L,{\mathcal M}L,<)\), formed by the join-irreducible elements as objects and the meet-irreducible elements as attributes. They show that the double negation \({\mathcal {CC}}L\) is always order-embeddable in \(L\). For finite lattices, the sequence \(({\mathcal C}^nL)_{n\in\omega}\) runs into a ``flip-flop'' (i.e. \({\mathcal C}^nL \simeq{\mathcal C}^{n+2}L\) for some \(n\)). Using vertical sums, some constructions of lattices which are isomorphic or dually isomorphic to their own negation are given. The only finite distributive examples among such ``self-negative'' or ``self-contrapositive'' lattices are vertical sums of four-element Boolean lattices. The authors determine all self-negative and self-contrapositive lattices with less than 11 points.