| Start Time | Title | Authors |
|---|---|---|
| 13:30 | On the Use of Isabelle/HOL for Formalizing New Concise Axiomatic Systems for Classical Propositional Logic | Asta Halkjær From and Jørgen Villadsen |
| 13:45 | Zaionc paradox revisited | Pierre Lescanne |
| 14:00 | Proof terms for generalized classical natural deduction | Herman Geuvers and Tonny Hurkens |
Zaionc paradox revisited
1 file(s) 205.52 KB
Proof terms for generalized classical natural deduction
1 file(s) 242.05 KB
Event Timeslots (1)
Wednesday
-
chair: Delia Kesner
Leave a Comment