Talk by Amina Doumane: «Completeness for identity-free Kleene Lattices»
Speaker:
Amina Doumane
Location:
Room Grace Hopper
Date:
Tue, 19 Feb 2019, 14:00-15:00
Amina Doumane (ENS Lyon) will speak at the Parsifal seminar on Tuesday, February 19th, at 14h00 in room Schützenberger.
Abstract: 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 completeness theorem for Kleene algebra, and on a novel automata construction that makes it possible to extract axiomatic proofs using a Kleene-like algorithm.