Y逻辑 swMATH ID: 1411 软件作者： 苏布拉曼尼亚，V.S。 描述： Y-logic：关于具有不一致补全的变色龙程序的推理框架大型逻辑程序通常由个人团队设计，每个团队设计一个子程序。虽然这些子程序中的每一个都可能有一致的完成，但通过这些子程序的并集获得的逻辑程序可能没有。然而，生成的程序仍然有其用途，因为（可能）它的一个很大的子集仍然具有一致的完成。我们认为，“小”的不一致可能会导致逻辑程序没有模型（在传统意义上），尽管它仍然有一些有用的用途。为通用逻辑程序开发了一种语义，它将非常合理的含义赋予通用逻辑程序，而不管它们是否具有一致的（经典逻辑意义上的）补全。 主页： http://dl.acm.org/citation.cfm？id=107723 关键词： 逻辑程序；完井 相关软件： 引用于： 2文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 Y-logic：一种用于推理具有不一致补全的变色龙程序的框架。 兹比尔0706.68031苏布拉曼尼亚，V.S。 1990 2位作者引用 1 恰基萨卡马 1 苏布拉曼尼亚，V.S。 连载1篇 1 《社会数学年鉴》（Annales Societatis Mathematicae Polonae）。系列IV 在2个字段中引用 2 计算机科学（68至XX） 1 数理逻辑与基础（03-XX） 按年份列出的引文