English

Noun

Kleene algebra ‎(plural Kleene algebras)

1. (algebra) A De Morgan algebra which also satisfies the inequation for all x and y, where "" here denotes the De Morgan involution.

Hypernyms

• De Morgan algebra
  • Ockham algebra
    • distributive lattice

Hyponyms

• Boolean algebra