蒂姆·弗兰纳根 否定作为失败的一致性。 (英语) Zbl 0598.68064号 J.逻辑程序。 3, 93-114 (1986). 该论文声称显示了K·L·克拉克《逻辑与数据库》,293-322(1978;Zbl 0412.68089号)]在一阶逻辑中验证否定是否为失败。“封闭世界假设”通常被证明是荒谬的,甚至是无关紧要的。查询评估过程也被认为是声称被解释为失败的否定作为定理证明器没有实际用途。审核人:E.克努特 引用于三文件 MSC公司: 68吨15 定理证明(演绎、解析等)(MSC2010) 68号01 软件理论的一般主题 68第20页 信息存储和数据检索 60年第68季度 规范和验证(程序逻辑、模型检查等) 关键词:已完成的数据库;逻辑程序设计;封闭世界假设;查询评估过程 引文:Zbl 0412.68089号 PDF格式BibTeX公司 XML格式引用 \textit{T.Flannagan},J.Log。程序。3、93——114(1986年;Zbl 0598.68064) 全文: 内政部