Lattices and semilattices having an antitone involution in every upper interval
Ivan Chajda · Czech digital mathematics library · 2003
summary:We study $\vee$-semilat\/tices and lat\/tices with the greatest element 1 where every interval [p,1] is a lat\/tice with an antitone involution. We characterize these semilat\/tices by means of an induced binary operation, the so called sectionally antitone involution. This characterization is done by means of identities, thus the classes of these semilat\/tices or lat\/tices form varieties. The congruence properties of these varieties are investigated.