De Morgan algebra

English

Etymology

Named after Augustus De Morgan (1806–1871), British mathematician and logician.

Noun

De Morgan algebra (plural De Morgan algebras)

(algebra) A bounded distributive lattice which has — additionally — an involution which satisfies De Morgan's laws.

Hypernyms

Ockham algebra
- distributive lattice

Hyponyms

Kleene algebra
- Boolean algebra

This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.