Symposium II · November 2022
The Second Symposium
9–11 November 2022
London
The second instalment of the series, held over three days in London.
Programme
Wednesday 9th November
Arrival & Registration
Coffee Break
Abstract Validity-based Proof-theoretic SemanticsRemote
Thomas Piecha
Thursday 10th November
Internal Categoricity as a Route to Univocal Concepts
Tim Button
Slides for “Internal Categoricity as a Route to Univocal Concepts”Cut-elimination by Quasi-semantic Means
Tor Sandqvist
Slides for “Cut-elimination by Quasi-semantic Means”Lunch
Proof-theoretic Validity and Proof-theoretic Completeness: A Reassessment of Prawitz's ConjectureRemote
Peter Schroeder-Heister
Categorical View of Base-extension Semantics for Intuitionistic Logic
Eike Ritter
Coffee Break
Kripke Models, Heyting Algebras, Presheaves and Proof-Theoretic Semantics
Edmund Robinson
Slides for “Kripke Models, Heyting Algebras, Presheaves and Proof-Theoretic Semantics”Friday 11th November
Proof Theoretic Semantics for Theories of Definite Descriptions
Nils Kürbis
'Bad' Reductions, Paradoxes and the Meaning of Proofs
Sara Ayhan
Slides for “'Bad' Reductions, Paradoxes and the Meaning of Proofs”Lunch
Base-extension Semantics for Modal Logics
Timo Eckhardt
Slides for “Base-extension Semantics for Modal Logics”Base-extension Semantics via Logic Programming
Slides for “Base-extension Semantics via Logic Programming”