弗朗西斯科·埃斯特瓦;路易斯·戈多;彼得·哈耶克;佛朗哥·蒙塔格纳 环形和模糊逻辑。 （英语） Zbl 1039.03016号 J.日志。计算。 13，第4期，531-555（2003）。 BL-代数是哈耶克基本逻辑的代数[参见P.Hájek先生模糊逻辑的元数学。《逻辑趋势——Studia Logica Library 4》，Kluwer Academic Publishers，Dordrecht（1998；Zbl 0937.03030号)]. 在BL-代数及其零自由子约化的邻域中，作者研究了与基本逻辑相关的各种逻辑的正片段。所有由此产生的结构都是Büchi-Owens箍的特殊情况。正如基本逻辑是连续t-范数的逻辑一样，MTL也是左连续t-范的逻辑。作者还研究了MTL产生的较弱结构，称为半环。它们提供了公理化，并证明了几个此类逻辑的完备性和保守性结果。将注意力转向谓词逻辑，作者证明了关于相应全序结构的安全解释的进一步完备性结果，推广了Hájek对基本逻辑的先前结果。最后一节讨论了相互解释性问题。由于所有解释都可以在多项式时间内计算，因此这些逻辑的重言式问题的各种co-NP完全性结果都是从有关Łukasiewicz逻辑的著名相应结果中获得的[D.蒙迪奇，“多值句子逻辑中的可满足性是NP完全的”，Theor。计算。科学。52, 145–153 (1987;Zbl 0639.03042号)]以及关于基本逻辑等[巴兹先生，P.Hájek先生，F.蒙塔格纳、和H.维思，“t-重言式的复杂性”，Ann.Pure Appl。逻辑113，3–11（2002；Zbl 1006.03022号)].审核人：丹尼尔·蒙迪奇（费伦泽） 引用于58文件 MSC公司： 03B52号 模糊逻辑；模糊逻辑 05年6月 MV-代数 2015年3月1日 计算复杂性（包括隐式计算复杂性） 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 关键词：关联片段;基本逻辑;MTL t范数;BL-代数环;MV代数 引文：Zbl 0937.03030号;Zbl 0639.03042号;Zbl 1006.03022号 PDF格式BibTeX公司 XML格式引用 \textit{F.Esteva}等人，J.Log。计算。13，第4号，531--555（2003；Zbl 1039.03016） 全文： 内政部