English Explanatory Dictionary

Kleene algebra

English dictionary entry

Meanings

noun
  1. 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.

Word forms

Kleene algebra Kleene algebras

Etymology

Named for Stephen Cole Kleene.

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on K Russian dictionary Dahl dictionary