詹姆斯·J·卢。;雅克·卡梅特;约阿希姆·舒尤 计算多值逻辑程序。 （英语） Zbl 0880.68014号 数学软件软计算。 4，第2期，129-153（1997）。 摘要：符号公式的逻辑可以用来推理各种各样的多值逻辑。本文对这种签名逻辑程序的操作语义进行了研究。给出了符号逻辑编程与约束逻辑编程的联系，简要讨论了一般和特殊情况下的搜索空间问题，并分析了其在双值逻辑编程和真实维护中的应用。 引用于4文件 MSC公司： 68N17号 逻辑编程 关键词：操作语义学;双晶格逻辑编程;真实维护 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Lu}等人，《数学软件计算》。4，编号2，129--153（1997；Zbl 0880.68014） 全文： 欧洲DML