逻辑编程和非单调推理的几乎经典逻辑
摘要：N^4中的模型理论介绍了一种一阶逻辑，该逻辑不像经典逻辑那样消除双重否定，而是减少了四重否定。N^4非常接近经典逻辑：N^4有两个真值；与经典逻辑一样，N^4中的蕴含是实质的；在N^4中，否定像在经典逻辑中一样分发于复合公式。结果表明，正常逻辑程序的语义在N^4中可以方便地形式化：经典逻辑的赫尔布兰解释可以直接推广到N^4；正向逻辑程序的经典最小赫尔布兰模型与其唯一的最小N^4赫尔布兰模型相一致；正常逻辑程序的稳定模型与其所谓的完全最小N^4赫尔布兰模型相一致。
作者：Franc{c}ois Bry (University of Munich, Germany)
论文ID：cs/0207091
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23