JA Brzozowski - … 30th IEEE International Symposium on Multiple …, 2000 - ieeexplore.ieee.org
We study de Morgan bisemilattices, which are algebras of the form (S,/spl cup/,/spl and/,/sup-
/, 1, 0), where (S,/spl cup/,/spl and/) is a bisemilattice, 1 and 0 are the unit and zero elements …