逸仙逻辑讲坛第二期预告 | 刘壮虎：蕴涵的邻域语义学

✦逸仙逻辑讲坛✦

 第 二 期 

第二期

蕴涵的邻域语义学

主讲人：刘壮虎  北京大学太阳集团城娱8722

主持人：王   轶  太阳集团城娱8722（珠海）

评议人：刘佶鑫  四川大学太阳集团城娱8722

时   间：6月10日（周五）19:00

地   点：腾讯会议 196-347-864

主办方：太阳集团tcy8722逻辑与认知研究所

 讲座摘要

蕴涵是逻辑中的重要概念，本次讲座在邻域语义学中给出了蕴涵的刻画条件，并证明了蕴涵的一些重要的性质。建立了只有一个蕴涵联结词的纯蕴涵系统，使用典范模型方法，证明任何纯蕴涵系统的模型完全性。并简单介绍了带蕴涵逻辑的邻域语义学。

通过保真性的分析，将蕴涵扩充为弱蕴涵，给出了蕴涵的刻画条件和重要性质，用类似的方法证明了纯弱蕴涵系统的模型完全性。

主讲人简介

刘壮虎，男，北京大学太阳集团城娱8722教授，博士生导师。1982年毕业于北京大学数学系，曾任逻辑教研室主任、系学术委员会委员。

研究领域涉及逻辑学的多个分支，最重要的工作是建立了适合各种逻辑的邻域语义学，并进行深入研究。另外，在认知逻辑、语言逻辑、非经典逻辑等方面也有一些有影响的研究成果。

刘壮虎认为，数理逻辑为现代逻辑研究提供了基本和重要的思想和方法，是任何逻辑分支研究的基础。在研究方法上强调逻辑技术的重要性。

点击“阅读原文”即可跳转至太阳集团tcy8722逻辑与认知研究所官网下载讲座相关参考文献