The Second Symposium · November 2022

Wednesday 9th November

13:30 – 14:30

Arrival & Registration

14:30 – 15:15

Proof-theoretic Semantics in London

David J. Pym

Slides

15:15 – 16:00

Natural Deduction with Alternatives

Greg Restall

Slides

16:00 – 16:15

Coffee Break

16:15 – 17:00

Abstract Validity-based Proof-theoretic SemanticsRemote

Thomas Piecha

Thursday 10th November

11:00 – 11:45

Internal Categoricity as a Route to Univocal Concepts

Tim Button

Slides

11:45 – 12:30

Cut-elimination by Quasi-semantic Means

Tor Sandqvist

Slides

12:30 – 14:30

Lunch

14:30 – 15:15

Proof-theoretic Validity and Proof-theoretic Completeness: A Reassessment of Prawitz's ConjectureCancelled

Peter Schroeder-Heister · remote

15:15 – 16:00

Categorical View of Base-extension Semantics for Intuitionistic Logic

Eike Ritter

16:00 – 16:15

Coffee Break

16:15 – 17:00

Kripke Models, Heyting Algebras, Presheaves and Proof-Theoretic Semantics

Edmund Robinson

Slides

Friday 11th November

11:00 – 11:45

Proof Theoretic Semantics for Theories of Definite Descriptions

Nils Kürbis

11:45 – 12:30

'Bad' Reductions, Paradoxes and the Meaning of Proofs

Sara Ayhan

Slides

12:30 – 14:30

Lunch

14:30 – 15:15

Base-extension Semantics for Modal Logics

Timo Eckhardt

Slides

15:15 – 16:00

Base-extension Semantics via Logic Programming

Alexander V. Gheorghiu

Slides