Kleene algebra

English

Etymology

Named for Template:W.

Noun

1. Template:Lb A De Morgan algebra which also satisfies the inequation $x\wedge \sim x⩽y\vee \sim y$ for all x and y, where "$\sim$" here denotes the De Morgan involution.

Hypernyms

• Template:L
  • Ockham algebra
    • distributive lattice

Hyponyms

• Template:L