The Schedule

Arrival & Registration

Welcome to the 5th Symposium on Proof-theoretic Semantics

David J. Pym 

(UCL & Institute of Philosophy, University of London, UK)

Logics of Proof-theoretic Validity

Thomas Piecha

(University of Tübingen, Germany)

Proof-theoretic Semantics for Intuitionistic Linear Logic: Two Approaches (pdf) 

Victor Nascimento

(University College London, UK)

Lunch

Translations between bases in Base-extension Semantics (pdf)

Yll Buzoku

(University College London, UK)

Coffee Break

Inference Behaviour Semantics for all* Connectives in Two-dimensional Sequent Calculi (pdf)

Sophie Nagler

(ILLC, University of Amsterdam, the Netherlands; University of St Andrews, UK)

Base-extension Semantics as Meaning Theory: Some philosophical remarks on negation, disjunction, and quantification (pdf)

Tor Sandqvist (remote)

(KTH Royal Institute of Technology, Sweden)

Deep Semantic Pollution

Gabriel Pulcini

(University of Rome Tor Vergata, Italy)

Lunch

Mapping the Landscape of Logical Bilateralism (pdf)

Sara Ayhan

(Ruhr University Bochum, Germany)

Coffee Break

Bilateralism and Classical Logic: some comments from the intensional perspective (pdf)

Luca Tranchini

(University of Tübingen, Germany)

The Expressive Power of Inferentialism: insights into educational practices.

Jan Derry 

(University College London, UK)

From Normalisation to Proof-theoretic Semantics: the semantic role of harmony, atomic bases and reductions

Antonio Piccolomini d'Aragona

(University of Tübingen, Germany)

Coffee Break

Inferentialism and Two Types of Correctness (pdf)

Bartosz Kaluzinski (remote)

(Uniwersytet im Adama Mickiewicza w Poznaniu, Poland)