This Article 
 Bibliographic References 
 Add to: 
30th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2000)
De Morgan Bisemilattices
Portland, Oregon
May 23-May 25
ISBN: 0-7695-0692-5
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.
Index Terms:
algebra, bilattice, bisemilattice, circuit, de Morgan, digital, multivalued, simulation
J.A. Brzozowski, "De Morgan Bisemilattices," ismvl, pp.173, 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2000), 2000
Usage of this product signifies your acceptance of the Terms of Use.