一种定义模态和谓词逻辑演绎后承的新方法

摘要：

模态和谓词逻辑中的演绎后承有多种定义方式.虽然其中多数是等价的,但它们有各自的优缺点.通过在公理系统中区分两类规则,我们给出了一种定义演绎后承的新方法.该方法不仅继承了已有定义的优点,而且可以将模态和谓词逻辑中的6种后承概念统一起来.我们还表明,新的定义方式具有教学法上的优点.

所属期刊栏目：13

在线出版日期：2021-02-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共24页

页码：1-24