在中间逻辑中对强等价逻辑程序的表征
摘要：逆应答集语义相关的非经典、非单调推理关系在逻辑程序中产生了一个“强等价”的关系，在3值哥德尔逻辑G3中可以验证逻辑程序（Lifschitz，Pearce和Valverde，2001）。在本文中，我们将证明KC（通过将公理~A v ~~A添加到直觉逻辑中获得的逻辑）是最弱的中间逻辑，其中在允许否定的情况下，强等价的逻辑程序在逻辑上等价。
作者：Dick de Jongh, Lex Hendriks
论文ID：cs/0206005
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23