Meanings
plural Kleene algebras
- algebraA De Morgan algebra which also satisfies the inequation x∧∼x⩽y,∨∼y for all x and y, where "∼" here denotes the De Morgan involution.
Origin
Named for Stephen Cole Kleene.
Full word history & related roots →Cite this entry
Kleene algebra. (n.d.). In WatkinsX Dictionary. Retrieved November 5, 2026, from https://dictionary.watkinsx.com/word/Kleene%20algebra
“Kleene algebra.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/Kleene%20algebra. Accessed November 5, 2026.
WatkinsX Dictionary, s.v. “Kleene algebra,” accessed November 5, 2026, https://dictionary.watkinsx.com/word/Kleene%20algebra.
Source: Kleene algebra on Wiktionary, CC BY-SA 4.0.