Kleene algebras

A form of Kleene algebra — A De Morgan algebra which also satisfies the inequation x∧∼x⩽y,∨∼y for all x and y, where "∼" here denotes the De Morgan involution.

Meanings

noun
  1. pluralplural of Kleene algebra
Cite this entry
APA

Kleene algebras. (n.d.). In WatkinsX Dictionary. Retrieved November 5, 2026, from https://dictionary.watkinsx.com/word/Kleene%20algebras

MLA

“Kleene algebras.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/Kleene%20algebras. Accessed November 5, 2026.

Chicago

WatkinsX Dictionary, s.v. “Kleene algebras,” accessed November 5, 2026, https://dictionary.watkinsx.com/word/Kleene%20algebras.

Source: Kleene algebras on Wiktionary, CC BY-SA 4.0.