报告人：刘壮虎

题目：蕴涵的邻域语义学刻画

时间：2021/5/18 15:10-18:00

地点：二教416

摘要：基于“保真性”的观点，在邻域语义学中用框架条件刻画了最一般的蕴涵，证明了蕴涵在满足关系上的重要特征，这重要特征说明了:虽然有不同的蕴涵，但它们对应的推理都是一样的。
      严格定义了蕴涵系统，并使用邻域语义学的典范模型证明了所有蕴涵系统都是模型完全的。在此基础上，证明正逻辑系统以及扩充都是模型完全的，除古典逻辑外，都不是框架完全的。
      扩展蕴涵为更为一般的“弱蕴涵”，定义弱蕴涵系统并证明它们的模型完全性。 从邻域语义学看，弱蕴涵比蕴涵包含更多的框架，但它们的极小系统是等价的。