AILo Talk - Valentina Trucco Dalmas, University of Groningen
When: | Tu 30-04-2024 16:00 - 18:00 |
Where: | 5161.0293 Bernoulliborg |
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.