In mathematics, a De Morgan algebra (named after Augustus De Morgan, a British mathematician and logician) is a structure A = (A, ∨, ∧, 0, 1, ¬) such...

Augustus De Morgan (1806–1871) was a British mathematician and logician best known for formulating De Morgan's laws. De Morgan is also known for coining...

values. It is also a special case of a De Morgan algebra and a Kleene algebra (with involution). Every Boolean algebra gives rise to a Boolean ring, and vice...

Boolean algebra Interior algebra Two-element Boolean algebra Derivative algebra (abstract algebra) Free Boolean algebra Monadic Boolean algebra De Morgan algebra...

In propositional logic and Boolean algebra, De Morgan's laws, also known as De Morgan's theorem, are a pair of transformation rules that are both valid...

mathematics and mathematical logic, Boolean algebra is a branch of algebra. It differs from elementary algebra in two ways. First, the values of the variables...

In mathematics, a Heyting algebra (also known as pseudo-Boolean algebra) is a bounded lattice (with join and meet operations written ∨ and ∧ and with...

function. Fuzzy logic Fuzzy set T-norm Type-2 fuzzy sets and systems De Morgan algebra Klir, George J.; Bo Yuan (1995). Fuzzy Sets and Fuzzy Logic: Theory...

Heyting algebra Relatively complemented lattice Complete Heyting algebra Pointless topology MV-algebra Ockham algebras: Stone algebra De Morgan algebra Kleene...

space is a Stone algebra. The lattice of positive divisors of a given positive integer is a Stone lattice. De Morgan algebra Heyting algebra Balbes, Raymond...