Left-handed completeness

We give a new proof of the completeness of the left-handed star rule of Kleene algebra. The proof is significantly shorter than previous proofs and exposes the rich interaction of algebra and coalgebra in the theory of Kleene algebra.

Authors

• Dexter Kozen
• Alexandra Silva

Keywords

• Nivat
• Kleene algebra
• Completeness