Proof Theory

Start TimeTitleAuthors
13:30On the Use of Isabelle/HOL for Formalizing New Concise Axiomatic Systems for Classical Propositional LogicAsta Halkjær From and Jørgen Villadsen
13:45Zaionc paradox revisitedPierre Lescanne
14:00Proof terms for generalized classical natural deductionHerman Geuvers and Tonny Hurkens

Event Timeslots (1)

chair: Delia Kesner

Leave a Comment

Your email address will not be published. Required fields are marked *