Kleene algebra

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

English[edit]

Wikipedia has an article on:

Wikipedia

Noun[edit]

Kleene algebra (plural Kleene algebras)

  1. (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[edit]

Hyponyms[edit]