The Sixth Symposium

Welcome to the 6th Symposium on Proof-theoretic Semantics

David J. Pym

Proof-theoretic Validity: Canonical Proofs and Definitional Reflection

Tor Sandqvist

Bilateralism and Proof-theoretic Semantics: Recent Results

Sara Ayhan

Base-extension Semantics for Substructural Logics

Yll Buzoku

Semantic Pollution and Proof-theoretic Semantics

Gabriel Pulcini

Base-extension Semantics for Dynamic Epistemic LogicRemote

Timo Eckhardt

Proof-theoretic Semantics and the Intensional Perspective

Luca Tranchini

Proof-theoretic Semantics for Bunched Implications

Sonia Marin

Dialogues, Games, and Proof-theoretic Semantics

Catarina Dutilh Novaes

Ecumenical Systems and Proof-theoretic SemanticsRemote

Luiz Carlos Pereira

Proof-theoretic Validity ReconsideredRemote

Will Stafford

Linear Logic and Proof-theoretic Semantics

Giulio Guerrieri