{"id":861,"date":"2016-10-27T00:59:40","date_gmt":"2016-10-26T16:59:40","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?p=861"},"modified":"2016-10-28T15:40:22","modified_gmt":"2016-10-28T07:40:22","slug":"talk-connecting-proof-theory-and-semantics-johan-van-benthem","status":"publish","type":"post","link":"http:\/\/tsinghualogic.net\/JRC\/talk-connecting-proof-theory-and-semantics-johan-van-benthem\/","title":{"rendered":"[talk] Connecting Proof Theory and Semantics (Johan van Benthem)"},"content":{"rendered":"<blockquote><p><strong>Time:<\/strong> 2016 Oct. 28,\u00a009:30-11:00<br \/>\n<strong>Venue:<\/strong> Rm 301\u00a0XinZhai (\u65b0\u658b), Tsinghua University, Beijing.<\/p><\/blockquote>\n<p><strong>Speaker:<\/strong> <strong>Johan van Benthem<\/strong>\u00a0(Stanford University and University of Amsterdam)<br \/>\n<strong>Title:\u00a0Connecting Proof Theory and Semantics<\/strong><br \/>\n<strong>Abstract:<\/strong>\u00a0Proof theory and semantics seem very different aspects of logic.\u00a0But the two aspects meet in many productive ways, and I will explain two cases: semantic tableaux and substructural logic.<br \/>\n<strong>Hand-out:<\/strong>\u00a0[\u00a0<a title=\"click to access .pdf file\" href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2016\/10\/2016.TsinghuaSeminar.pdf\" target=\"_blank\">click to access .pdf file<\/a>\u00a0]<\/p>\n<p><strong>Organization:<br \/>\n<\/strong>Tsinghua University &#8211; University of Amsterdam Joint Research Centre for Logic<br \/>\nDepartment of Philosophy, Tsinghua University<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Time: 2016 Oct. 28,\u00a009:30-11:00 Venue: Rm 301\u00a0XinZhai ( [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":[],"categories":[52,10,41],"tags":[],"_links":{"self":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts\/861"}],"collection":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/comments?post=861"}],"version-history":[{"count":4,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts\/861\/revisions"}],"predecessor-version":[{"id":869,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/posts\/861\/revisions\/869"}],"wp:attachment":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=861"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/categories?post=861"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/tags?post=861"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}