迪克·乔恩。;莱克斯·亨德里克斯 中间逻辑中强等价逻辑程序的特征。 （英语） Zbl 1069.68538号 理论与实践。日志。程序。 3，第3期，259-270（2003）. 摘要：与逻辑程序的答案集语义相关联的非经典、非单调推理关系产生了强等价可在三值哥德尔逻辑（mathbf{G3}）中验证的逻辑程序之间，最强大的非经典中间命题逻辑。我们证明了KC（通过将公理\（\neg A\vee\neg \neg A\）添加到直觉逻辑中获得的逻辑）是最弱的中间逻辑，在允许否定的语言中，强等价逻辑程序在逻辑上是等价的。 引用于11文件 MSC公司： 68N17号 逻辑编程 03B55号 中间逻辑 关键词：答案集语义;强等价程序;命题中间逻辑 PDF格式BibTeX公司 XML格式引用 \textit{D.H.J.de Jongh}和\textit{L.Hendriks}，理论与实践。日志。程序。3，第3号，259--270（2003；Zbl 1069.68538） 全文： 内政部