Kleene algebra (English, noun)
expansion: Kleene algebra (plural Kleene algebras)
Senses:
topics: algebra
mathematics
sciences
glosses: 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.
Forms:
form: Kleene algebras
tags: plural