De Morgan bisemilattices

Proceedings of The International Symposium on Multiple-Valued Logic

Volumn , Issue , 2000, Pages 173-178

  Brzozowski, J A ^a  

^a UNIVERSITY OF WATERLOO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER SIMULATION; DIGITAL CIRCUITS; SET THEORY; THEOREM PROVING;

DE MORGAN BISEMILATTICES; INVOLUTION LAW; UNARY OPERATION;

MANY VALUED LOGICS;

EID: 0033727351     PISSN: 0195623X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)