The Schedule

November 2022

Day 1

Wednesday 9th of November

Arrival & Registration  13:30-14:30

14:30-15:15

Proof-theoretic Semantics in London (pdf)

David J. Pym

15:15-16:00

Natural Deduction with Alternatives (pdf)

Greg Restall

16:00-16:15

coffee break

16:15-17:00

Abstract Validity-based Proof-theoretic Semantics

Thomas Piecha (remote)

END OF DAY

Day 2

Thursday 10th of November

11:00-11:45

Internal Categoricity as a Route to Univocal Concepts (pdf)

Tim Button

11:45-12:30

Cut-elimination by Quasi-semantic Means (pdf)

Tor Sandqvist

12:30-14:30

Lunch 


14:30-15:15

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

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 (pdf)

Edmund Robinson

Day 3

Friday 11th of 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 (pdf)

Sara Ayhan

12:30-14:30

Lunch

14:30-15:15

Base-extension Semantics for Modal Logics (pdf)

Timo Eckhardt

15:15-16:00

Base-extension Semantics via Logic Programming (pdf)

Alexander V. Gheorghiu


END OF SYMPOSIUM