Kleene algebra
English
editEtymology
editNamed for Stephen Cole Kleene.
Noun
editKleene algebra (plural Kleene algebras)
- (algebra) A De Morgan algebra which also satisfies the inequation for all x and y, where " " here denotes the De Morgan involution.