5th of August - 9th of August @ ESSLLI 2024
4th Symposium on
Proof-theoretic Semantics
Organizers Alexander V. Gheorghiu and Tao Gu.
3rd Symposium on Proof-theoretic Semantics @ The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods — TABLEAUX 2023
A workshop spread across five days on current research on proof-theoretic semantics.
A workshop spread across five days on current research on proof-theoretic semantics.
Presentations will be a total of 45 minutes including questions and discussion.
Topics
Topics
soundness & completeness
classical, intuitionistic, modal, substructural logic
applications and interpretations
philosophical considerations
logical inferentialism
meta-theory
...anything proof-theoretic semantics.