Kleene algebra

Definition from Wiktionary, the free dictionary
Jump to: navigation, search

English[edit]

Wikipedia has an article on:
Wikipedia

Etymology[edit]

Named for Stephen Cole Kleene.

Noun[edit]

Kleene algebra (plural Kleene algebras)

  1. (algebra) A De Morgan algebra which also satisfies the inequation for all x and y, where "" here denotes the De Morgan involution.

Hypernyms[edit]

Hyponyms[edit]