模态系统T的Herbrand定理

发布时间：2017-10-25 14:34

  本文关键词：模态系统T的Herbrand定理

  更多相关文章： 模态系统T Herbrand定理 加标公式表列系统

【摘要】：模态Herbrand定理研究是模态逻辑领域的重要开放问题。不含Barcan公式的模态系统T的Herbrand定理的获得必须完成两个方向的证明工作:首先是证明相对简单的从右到左方向;而对于相对复杂的从左到右方向,则可以通过在加标公式表列系统K的基础上增加特殊规则获得加标公式表列系统T,证明T的可靠性和完全性,并在此基础上完成从左到右方向的证明。同样的方法还可以用来证明模态系统D、K4、S4的Herbrand定理。
【作者单位】： 华侨大学哲学与社会发展学院;厦门大学哲学系;
【关键词】： 模态系统T Herbrand定理 加标公式表列系统
【基金】：福建省社会科学规划项目“谓词抽象研究”(2009B2051)
【分类号】：B815.1
【正文快照】： Herbrand定理在经典逻辑中地位显赫,它是机器定理证明的核心定理,为人工智能提供了理论基础。[1]然而,Herbrand定理的影响力仍主要停留在经典逻辑的范围内,模态Herbrand定理研究是模态逻辑领域的重要开放问题。如果能够实现模态Herbrand定理的证明,那必将为模态定理的机器证，

本文编号：1094160