Kleene algebra
Jump to navigation
Jump to search
English[edit]
Etymology[edit]
Named for Stephen Cole Kleene.
Noun[edit]
Kleene 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.