Friday 13 May 2016, 10:30: Decidability, Introduction Rules and Automata, Gilles Dowek (INRIA).

Joint work with Ying Jiang. We present a method to prove the decidability of provability in several well-known inference systems. This method generalizes both cut-elimination and the construction of an automaton recognizing the provable propositions.