Completeness for Identity-free Kleene Lattices

Prelegent(ci)

Amina Doumane

Afiliacja

Uniwersytet Warszawski

Termin

13 lutego 2019 14:15

Pokój

p. 5050

Seminarium

Seminarium „Teoria automatów”

---

We provide a finite set of axioms for identity-free Kleene lattices, which we prove sound and
complete for the equational theory of their relational models. Our proof builds on the complete-
ness theorem for Kleene algebra, and on a novel automata construction that makes it possible to
extract axiomatic proofs using a Kleene-like algorithm.

---