The Third Symposium

Welcome to the Symposium

David J. Pym

Intensional Proof-theoretic Semantics and the Identity of Formula Occurrences

Peter Schroeder-Heister

Proof-theoretic Topics from Prawitz and SundholmRemote

Antonio Piccolomini d'Aragona

Classical and Intuitionistic Proofs: an Ecumenical View of Proof-theoretic SemanticsRemote

Victor Nascimento

Substructural Proof-theoretic Semantics

Elaine Pimentel

Proof-theoretic Semantics for Intuitionistic Linear Logic

Yll Buzoku

Quasi-semantic Cut-elimination and Dispensability of Disjunctive Operators in Intuitionistic Logics

Tor Sandqvist

Dummett's Fundamental Assumption in Light of Recent Results

Will Stafford

Modal Base-extension Semantics via Relations between Bases

Timo Eckhardt

Proofs and Refutations Are the Same (and yet different)

Sara Ayhan