No label defined (Q4780640)

Semilattices \((S,\wedge)\) with a unary operation \('\) on \(S\) are studied. It is shown that the following conditions are equivalent: (i) \((S,\wedge,')\) is a semilattice such that the identity \(((x\wedge y)'\wedge y')'=y\) is satisfied; (ii) \((S,\wedge,\vee)\), where \(x\vee y\) is defined by \(x\vee y =(x'\wedge y')'\), is a lattice, \('\) is an involution on \(S\) with \((x\wedge y)'=x'\vee y'\) and \((x\vee y)'=x'\wedge y'\). Similarly, the following assertions are equivalent: (iii) \((S,\wedge,',0)\) is a semilattice satisfying \(((x\wedge y)'\wedge y')'=y\), \(x\wedge 0=0\) and \(x\wedge x'=0\); (iv) \((S,\wedge,\vee,',0,1)\) is an ortholattice, where \(x\vee y=(x'\wedge y')'\) and \(1'=0\).