Definitions from Wiktionary (Kleene algebra)
▸ noun: (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.
▸ Words similar to kleene algebra
▸ Usage examples for kleene algebra
▸ Idioms related to kleene algebra
▸ Wikipedia articles (New!)
▸ Words that often appear near kleene algebra
▸ Rhymes of kleene algebra
▸ Invented words related to kleene algebra
▸ noun: (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.
Similar:
De Morgan algebra,
De Morgan's law,
Ockham algebra,
Boolean algebra,
zroupoid,
Loday algebra,
linear algebra,
Heyting algebra,
coalgebra,
division algebra,
more...
Opposite:
▸ Words similar to kleene algebra
▸ Usage examples for kleene algebra
▸ Idioms related to kleene algebra
▸ Wikipedia articles (New!)
▸ Words that often appear near kleene algebra
▸ Rhymes of kleene algebra
▸ Invented words related to kleene algebra