Kleene algebra

English

Wikipedia has an article on:
Wikipedia

Etymology

Named for Stephen Cole Kleene.

Noun

Kleene algebra ‎(plural Kleene algebras)

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