3月3日，我校数学与统计学院赵之光教授应邀在清华大学逻辑研究中心做了题为《Algebraic Correspondence Theory: A Duality-Theoretic Perspective》的学术报告。
赵之光主要从对偶理论的角度对对应理论做了阐述。对应理论与对偶理论、完全性理论一起，构成了模态逻辑研究中的三大支柱，可以说模态逻辑的广泛应用很大程度上是因为模态公式与刻画关系结构的一阶公式的对应。在目前的最新研究成果中，对应理论与对偶理论得到了结合，对应现象背后的代数本质被揭示出来；同时，对应理论的技术手段也被用在典范性理论中，因此也与完全性理论结合在了一起。同时，对应理论也被推广到了非经典的模态逻辑和其他的非经典逻辑，在非经典命题逻辑的研究中占有重要地位。
本次报告为数学与统计学院教师首次受国内名校邀请，对数学与统计学院教师开拓视野、拓宽更高层级的学术交流合作具有重要意义。
赵之光，泰山学者青年专家，主要研究方向为代数逻辑、非经典逻辑的对应理论与典范性理论，在Journal of Logic and Computation, Logic Journal of the IGPL, Logical Methods in Computer Science 和《逻辑学研究》等期刊和LORI、WoLLIC、TbiLLC等会议发表论文十余篇。
泰山学院师资力量
学校现有南、北两个校区，占地面积1378亩，建筑面积54万平方米。现有15个二级学院，54个本科专业，其中，国家级一流本科专业建设点4个，省级一流本科专业建设点12个，2个专业通过师范类本科专业二级认证，涵盖文学、理学、工学、历史学、教育学、管理学等9大学科门类。面向全国27个省（市、自治区）招生,全日制普通在校生1.7万余人。现有教职工1500余人，其中专任教师1100余人，高级职称教师450余人。
泰山学院学校建设
学校始终致力于高水平应用型大学建设。现有省级重点学科2个、省文化艺术重点学科2个。建有山东省社科理论重点研究基地、中国旅游研究院山岳旅游研究基地、省高等学校重点实验室、省高等学校工程研究中心、省高等学校对接产业类协同创新中心、省级院士工作站、省高等学校服务黄河流域生态保护和高质量发展协同创新中心等12个省级科研平台。
