de Morgan bisemilattices

We study de Morgan bisemilattices, which are algebras of the form (S, square, Lambda, (-), 1, 0), where (S, square, Lambda) is a bisemilattice, 1 and 0 are the unit and zero elements of S, and - is a unary operation, called quasi-complementation, that satisfies the involution law and de Morgan's laws. De Morgan bisemilattices are generalizations of de Morgan algebras, and have applications in multi-valued simulations of digital circuits. We present some basic observations about bisemilattices, and provide a set-theoretic characterization for a subfamily of de Morgan bisemilattices, which we call locally distributive de Morgan bilattices.