Time: 2016 Oct. 28, 09:30-11:00
Venue: Rm 301 XinZhai (新斋), Tsinghua University, Beijing.
Speaker: Johan van Benthem (Stanford University and University of Amsterdam)
Title: Connecting Proof Theory and Semantics
Abstract: Proof theory and semantics seem very different aspects of logic. But the two aspects meet in many productive ways, and I will explain two cases: semantic tableaux and substructural logic.
Hand-out: [ click to access .pdf file ]
Tsinghua University – University of Amsterdam Joint Research Centre for Logic
Department of Philosophy, Tsinghua University