May 23, 2000 to May 25, 2000
J.A. Brzozowski , University of Waterloo
We study de Morgan bisemilattices, which are algebras of the form (S, +, *, -, 1,0), where (S, +, *) 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 abilities.
algebra, bilattice, bisemilattice, circuit, de Morgan, digital, multivalued, simulation
J.A. Brzozowski, "De Morgan Bisemilattices", ISMVL, 2000, 2013 IEEE 43rd International Symposium on Multiple-Valued Logic, 2013 IEEE 43rd International Symposium on Multiple-Valued Logic 2000, pp. 173, doi:10.1109/ISMVL.2000.848616