AILo Talk - Valentina Trucco Dalmas, University of Groningen

Title: Craig's Interpolation via Proof Theory

Abstract:

Interpolation, “the last significant property of first order logic”, is a concept that has motivated logicians from fields ranging from proof theory, algebraic logic, and automata theory, to software verification and automated theorem proving. In this talk, we will give a brief introduction on the topic from a proof theoretical perspective.