The Fifth Symposium

Welcome to the 5th Symposium on Proof-theoretic Semantics

David J. Pym

Logics of Proof-theoretic Validity

Thomas Piecha

Proof-theoretic Semantics for Intuitionistic Linear Logic: Two Approaches

Victor Nascimento

Translations between Bases in Base-extension Semantics

Yll Buzoku

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

Sophie Nagler

Base-extension Semantics as Meaning Theory: Some Philosophical Remarks on Negation, Disjunction, and QuantificationRemote

Tor Sandqvist

Deep Semantic Pollution

Gabriel Pulcini

Mapping the Landscape of Logical Bilateralism

Sara Ayhan

Bilateralism and Classical Logic: Some Comments from the Intensional Perspective

Luca Tranchini

The Expressive Power of Inferentialism: Insights into Educational Practices

Jan Derry

From Normalisation to Proof-theoretic Semantics: the Semantic Role of Harmony, Atomic Bases and Reductions

Antonio Piccolomini d'Aragona

Inferentialism and Two Types of CorrectnessRemote

Bartosz Kaluzinski