刘燕红A。;斯科特·斯托勒。 建立了逻辑规则的语义和约束语义。 （英语） Zbl 07285901号 J.日志。计算。 1609-1668（2020）第8期第30页. 摘要：逻辑规则和推理是计算机科学的基础，已经被广泛研究。然而，逻辑语言的先前语义可能有微妙的含义，甚至在非常简单的程序上，包括在试图解决众所周知的罗素悖论时，也可能存在重大分歧。在递归中使用无限制否定时，这些语义通常是非直观的，很难理解。本文描述了逻辑规则的一种简单的新语义，基础语义学，以及它直接扩展到另一个简单的新语义，约束语义统一了不同先验语义的核心。新的语义支持不受限制的否定，以及不受限制的存在和普遍的量化。它们具有独特的表达力和直观性，允许明确指定关于谓词、规则和推理的假设，作为简单而精确的二进制选择。它们是完全声明性的，并且与先前的语义有明确的关系。此外，所建立的语义可以在线性时间内计算出地面程序的大小。 引用于2文件 MSC公司： 68问题55 计算理论中的语义学 03B70号 计算机科学中的逻辑 关键词：数据日志;递归;无限制否定;存在量词和普遍量词;定点语义;约束;基础良好的语义学;稳定模型语义 PDF格式BibTeX公司 XML格式引用 \textit{Y.A.Liu}和\textit{S.D.Stoller}，J.Log。计算。30，第8号，1609--1668（2020；Zbl 07285901） 全文： 内政部 arXiv公司