Kleene algebra English

Meaning Kleene algebra meaning

What does Kleene algebra mean?

Kleene algebra noun

— (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.