F.埃斯特瓦。;L.戈多。;诺格拉，C。 关于谓词Łukasiewicz、乘积、哥德尔和幂零最小逻辑的完备性结果，用真常数展开。 （英语） Zbl 1213.03035号 数学软件计算。 14，第3期，233-246（2007）. 小结：本文讨论了一些左包含t-范数的一阶谓词逻辑在可数真常数集上的泛型展开。除了已知的Łukasiewicz逻辑情况的结果外，我们还获得了其他一些展开式的新的保守性和完备性结果。也就是说，我们证明了带真常数的谓词乘积、哥德尔和幂零极小逻辑的展开式是保守的，这已经意味着乘积逻辑的标准完备性失败。相比之下，谓词Gödel和幂零最小逻辑的展开式被证明是强标准完备的，但当语义被限制在规范代数上时，它们被证明仅对重言式是完备的。此外，当语言被限制于被评估的公式时，我们证明了从有限前提集推导的规范完备性。 引用于7文件 MSC公司： 03B52号 模糊逻辑；模糊逻辑 关键词：一阶谓词逻辑的泛型展开;左连续t-范数;完整性;产品逻辑;基于单体t-范数的逻辑;核心谓词模糊逻辑;理性Pavelka逻辑;幂零最小逻辑;哥德尔逻辑 PDF格式BibTeX公司 XML格式引用 \textit{F.Esteva}等人，《数学软件计算》。14，第3号，233--246（2007；Zbl 1213.03035） 全文： 欧洲DML