The Sixth Symposium

Welcome to the Symposium

David J. Pym (Institute of Philosophy & University College London, UK)

Variants of Proof-theoretic Semantics: Pros and Cons

Peter Schroeder-Heister (University of Tübingen, Germany)

Meaning Dependence in Proof-Theoretic Semantics and SASC Systems

Leonardo Ceragioli (Università degli Studi di Milano, Italy)

Content-based Entailment

Gabriele Pulcini (Tor Vergata University of Rome, Italy)

A More General Approach to Proof-theoretic Semantics

Edmund Robinson (Queen Mary University of London, UK)

Towards an Inferentialist Account of Information and Situation

Matthew Collinson (University of Aberdeen, UK)

Ideas on Agency in an Inferentialist Account of InformationRemote

Timo Eckhardt (University College London, UK)

From Tonk to Harmony via Identity and Cut

Allard Tamminga (University of Greifswald, Germany)

A Base-extension Semantics for a Paraconsistent Logic

Gabriele Brancati Abate (University College London, UK)

Feasible Counterfactuals for Accountability and Recourse

Pinaki Chakraborty (University College London, UK)

Curry-Howard: What is it good for?Remote

Will Stafford (Kansas State University, US)

Constructive Validity of Classical Principles: an unpublished note by Dag PrawitzRemote

Luiz Carlos Pereira (State University of Rio de Janeiro, Brazil)

Proof-theoretic Semantics as a Generalisation of Model-theoretic Semantics

Victor Barroso-Nascimento (University College London, UK)

From Phase Semantics to Base-extension Semantics

Ekaterina Piotrovskaya (University College London, UK)

A Base-extension Semantics approach to Bilateralism

Maria Osório Oliveira Costa (Universidade de Lisboa, Portugal & University College London, UK)

Base-extension Semantics for Prawitz's Ecumenical System

Joaquim Waddington (University College London, UK)