411 REFERENCE · Wiktionary
Kleene algebra
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Etymology
Named for Stephen Cole Kleene.
Noun
en algebra A De Morgan algebra which also satisfies the inequation for all x and y, where "" here denotes the De Morgan involution.
Hypernyms
en De Morgan algebra
Ockham algebra
distributive lattice
Hyponyms
en Boolean algebra
en eponyms