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

发布时间：2025-05-15 00:21

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

【文章页数】：24 页


本文编号：4045958