Kleene algebra

English

Etymology

Named for Stephen Cole Kleene.

Noun

Kleene algebra (plural Kleene algebras)

(algebra) A De Morgan algebra which also satisfies the inequation $x\wedge \sim x\leqslant y\,\vee \sim y$ for all x and y, where " $\sim$ " here denotes the De Morgan involution.

Hypernyms

De Morgan algebra
- Ockham algebra
  - distributive lattice

Hyponyms

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.