Rencontre, March 12, 2020
Programme
 15:30 – 16:30

Amina Doumane (CNRS, ENS de Lyon)Invited talk: Completeness for Identityfree Kleene Lattices
We provide a finite set of axioms for identityfree Kleene lattices, which we prove sound and complete for the equational theory of their relational models. Our proof builds on the completeteness theorem for Kleene algebra, and on a novel automata construction that makes it possible to extract axiomatic proofs using a Kleenelike algorithm.
We provide a finite set of axioms for identityfree Kleene lattices, which we prove sound and complete for the equational theory of their relational models. Our proof builds on the completeteness theorem for Kleene algebra, and on a novel automata construction that makes it possible to extract axiomatic proofs using a Kleenelike algorithm.