Symposium III · September 2023
The Third Symposium
18–19 September 2023
Prague · with TABLEAUX 2023
Co-located with TABLEAUX 2023 — the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods.
Programme
Monday 18th September
Arrival
Intensional Proof-theoretic Semantics and the Identity of Formula Occurrences
Peter Schroeder-Heister
Coffee Break
Proof-theoretic Topics from Prawitz and SundholmRemote
Antonio Piccolomini d'Aragona
Slides for “Proof-theoretic Topics from Prawitz and Sundholm”Lunch
Classical and Intuitionistic Proofs: an Ecumenical View of Proof-theoretic SemanticsRemote
Victor Nascimento
Coffee Break
Substructural Proof-theoretic Semantics
Elaine Pimentel
Slides for “Substructural Proof-theoretic Semantics”Proof-theoretic Semantics for Intuitionistic Linear Logic
Yll Buzoku
Slides for “Proof-theoretic Semantics for Intuitionistic Linear Logic”Tuesday 19th September
Quasi-semantic Cut-elimination and Dispensability of Disjunctive Operators in Intuitionistic Logics
Tor Sandqvist
Slides for “Quasi-semantic Cut-elimination and Dispensability of Disjunctive Operators in Intuitionistic Logics”Coffee Break
Dummett's Fundamental Assumption in Light of Recent Results
Will Stafford
Slides for “Dummett's Fundamental Assumption in Light of Recent Results”Modal Base-extension Semantics via Relations between Bases
Timo Eckhardt
Slides for “Modal Base-extension Semantics via Relations between Bases”Lunch
Bilateralism and Connexive LogicRemote
Heinrich Wansing
Proofs and Refutations Are the Same (and yet different)
Sara Ayhan
Slides for “Proofs and Refutations Are the Same (and yet different)”End of Symposium