kleene algebra

Questions

What does kleene algebra mean?

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.

Where does kleene algebra come from?

Named for Stephen Cole Kleene.

How to pronounce kleene algebra

1. Open the pronunciation page — Open the Speakur entry for “kleene algebra”.
2. Read the phonetic spelling — Read the IPA spelling () so you know which sounds to aim for.
3. Play the audio — Click Play to hear reference audio for “kleene algebra”.
4. Repeat and practice — Say “kleene algebra” aloud, matching stress and vowels until it feels natural.