De Morgan Bisemilattices

Authors:
J. A. Brzozowski
Affiliations:
-
Venue:
ISMVL '00 Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic
Year:
2000

Citing 0
Cited 8

Hazard algebras (extended abstract)

A half-century of automata theory
Algebras for hazard detection

Beyond two
Hazard Algebras

Formal Methods in System Design
Points with Type-2 Operations

IFSA '07 Proceedings of the 12th international Fuzzy Systems Association world congress on Foundations of Fuzzy Logic and Soft Computing
Sets with type-2 operations

International Journal of Approximate Reasoning
The variety generated by the truth value algebra of type-2 fuzzy sets

Fuzzy Sets and Systems
A functional completeness theorem for De Morgan functions

Discrete Applied Mathematics
Type-2 operations on finite chains

Fuzzy Sets and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.