{"id":5875,"date":"2023-05-20T12:15:32","date_gmt":"2023-05-20T04:15:32","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?page_id=5875"},"modified":"2023-05-21T20:39:12","modified_gmt":"2023-05-21T12:39:12","slug":"research-program-mathematical-logic","status":"publish","type":"page","link":"https:\/\/tsinghualogic.net\/JRC\/research-program-mathematical-logic\/","title":{"rendered":"Research Program: Mathematical\u00a0Logic"},"content":{"rendered":"\n<p><\/p>\n\n\n\n<div class=\"wp-block-cover\"><span aria-hidden=\"true\" class=\"wp-block-cover__background has-background-dim-60 has-background-dim\"><\/span><img decoding=\"async\" loading=\"lazy\" width=\"1024\" height=\"1024\" class=\"wp-block-cover__image-background wp-image-5876\" alt=\"\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/michael14_Create_an_image_featuring_a_chalkboard_or_whiteboard__23b8a23b-20bc-445d-bab9-b9fc0257f195.png\" data-object-fit=\"cover\" srcset=\"https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/michael14_Create_an_image_featuring_a_chalkboard_or_whiteboard__23b8a23b-20bc-445d-bab9-b9fc0257f195.png 1024w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/michael14_Create_an_image_featuring_a_chalkboard_or_whiteboard__23b8a23b-20bc-445d-bab9-b9fc0257f195-200x200.png 200w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/michael14_Create_an_image_featuring_a_chalkboard_or_whiteboard__23b8a23b-20bc-445d-bab9-b9fc0257f195-80x80.png 80w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/michael14_Create_an_image_featuring_a_chalkboard_or_whiteboard__23b8a23b-20bc-445d-bab9-b9fc0257f195-768x768.png 768w, https:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/michael14_Create_an_image_featuring_a_chalkboard_or_whiteboard__23b8a23b-20bc-445d-bab9-b9fc0257f195-510x510.png 510w\" sizes=\"(max-width: 1024px) 100vw, 1024px\" \/><div class=\"wp-block-cover__inner-container\">\n<p class=\"has-text-align-center has-large-font-size\"> Mathematical&nbsp;Logic<\/p>\n\n\n\n<p>Current research lines include logics with provability semantics, proof theory for non-classical logics, set theory, and philosophy of mathematics and the sciences.<\/p>\n<\/div><\/div>\n\n\n\n<h3>Core group\uff1a<\/h3>\n\n\n\n<p>Names of the coordinating project leaders are italicized.<\/p>\n\n\n\n<ul>\n<li>Nick Bezhanishvili (ILLC)<\/li>\n\n\n\n<li> Melvin Fitting (CUNY)<\/li>\n\n\n\n<li>&nbsp;<em>Junhua Yu&nbsp;<\/em>(Tsinghua)<\/li>\n\n\n\n<li> Qi Feng (Tsinghua)<\/li>\n<\/ul>\n\n\n\n<h3>Key publications\uff1a<\/h3>\n\n\n\n<ul>\n<li>G. Bezhanishvili, N. Bezhanishvili, J. de Groot: A Coalgebraic Approach to Dualities for Neighborhood Frames. <em>Log. Methods Comput. Sci<\/em>. 18(3), 2022 <\/li>\n\n\n\n<li>Q. Feng, <em>Logic and Discovery<\/em>, Science Press, 2022 <\/li>\n\n\n\n<li>M. Fitting: A Family of Strict\/Tolerant Logics. <em>J. Philos. Log<\/em>. 50(2): 363-394, 2021<\/li>\n\n\n\n<li>G. Bezhanishvili, N. Bezhanishvili, J. Lucero-Bryan, J. van Mill. The McKinsey- Tarski Theorem for Locally Compact Ordered Spaces. <em>Bulletin of Symbolic Logic<\/em>, 27 (2), 187-211, 2021<\/li>\n<\/ul>\n\n\n\n<h3>Highlight:<\/h3>\n\n\n\n<ul>\n<li>Qi Feng&nbsp;(formerly Chinese Academy of Sciences)&nbsp;was appointed&nbsp;for three years&nbsp;as a&nbsp;distinguished visiting professor.&nbsp;He&nbsp;will&nbsp;teach set theory and mathematical logic,&nbsp;strengthening&nbsp;collaboration&nbsp;between the JRC and&nbsp;the&nbsp;Tsinghua mathematics community.<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Core group\uff1a Names of the coordinating project leaders a [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/5875"}],"collection":[{"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/comments?post=5875"}],"version-history":[{"count":2,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/5875\/revisions"}],"predecessor-version":[{"id":6079,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/5875\/revisions\/6079"}],"wp:attachment":[{"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=5875"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}