Kleene algebra

English

Etymology

Named for Stephen Cole Kleene.

Noun

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

• De Morgan algebra
  • Ockham algebra
    • distributive lattice

Hyponyms

• Boolean algebra