** CANCELED **,
Dec. 12, 2019

## Amina Doumane (CNRS, ENS de Lyon), Completeness for Identity-free Kleene Lattices **CANCELED**

### Schedule

- Dec. 12, 2019, 15:30 - 16:30

### 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 completeteness theorem for Kleene algebra, and on a novel automata construction that makes it possible to extract axiomatic proofs using a Kleene-like algorithm.

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 completeteness theorem for Kleene algebra, and on a novel automata construction that makes it possible to extract axiomatic proofs using a Kleene-like algorithm.