bn:03731564n
Noun Concept
Categories: Algebra, Algebraic logic, Lattice theory, Ockham algebras
EN
De Morgan algebra  Distributive i-lattice  Kleene algebra  Quasi-boolean algebra
EN
In mathematics, a De Morgan algebra is a structure A = such that: is a bounded distributive lattice, and ¬ is a De Morgan involution: ¬ = ¬x ∨ ¬y and ¬¬x = x. Wikipedia
Definitions
Relations
Sources
EN
In mathematics, a De Morgan algebra is a structure A = such that: is a bounded distributive lattice, and ¬ is a De Morgan involution: ¬ = ¬x ∨ ¬y and ¬¬x = x. Wikipedia
A bounded distributive lattice equipped with an involution (typically denoted ¬ or ~) which satisfies De Morgan's laws. Wiktionary
DISCOVERER OR INVENTOR
NAMED AFTER
STUDIED BY