Category: Seminar

Taus Brock-Nannestad talks at Parsifal Seminar

Taus Brock-Nannestad (Parsifal, Inria) Title: Forcing Saturation in the Inverse Method Abstract: The Inverse Method is a marvellous method of proof search in classical and non-classical logics. Among its nice features is the fact that any sequent produced during proof search is indeed a valid theorem. Unfortunately this feature is a double-edged sword. To disprove …

Continue reading