Embedded Files
3rd Symposium on Proof-theoretic Semantics @ The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods — TABLEAUX 2023
A workshop spread across three days on current research on proof-theoretic semantics.
A workshop spread across three days on current research on proof-theoretic semantics.
Presentations will be a total of 50 minutes including questions and discussion.
The event is hosted by the Centre for Logic, Language, and Information (CeLLI), Institute of Philosophy (IoP) at the School of Advanced Study (SAS).
Topics
Topics
soundness & completeness
classical, intuitionistic, modal, substructural logic
applications and interpretations
philosophical considerations
logical inferentialism
meta-theory
...anything proof-theoretic semantics.
Time
9th of February: 09:30 - 16:00
10th of February: 10:00 - 16:00
11th of February: 10:00 - 13:00
Location
Room 349, Senate House (South Block), Malet St, London WC1E 7HU
Page updated
Google Sites
Report abuse