佛朗哥·蒙塔格纳;小野，Hiroakira Esteva和Godo逻辑MTL的Kripke语义、不可判定性和标准完整性。 （英语） 兹比尔1013.03021 螺柱日志。 71，第2期，227-245（2002）. 逻辑MTL是由F.埃斯特瓦和L.戈多【模糊集系统124271-288（2001；Zbl 0994.03017号)]. MTL的公理是完全Lambek微积分FL（{text{ew}}）（即FL加上交换和减弱）加上（（A\rightarrow B）vee（B\rightarrow A））和（所有x（A\vee B）rightarror（A\ve所有x B））（x）在（A\）中不自由的谓词版本的公理)在Hilbert-style公理化中使用modus-ponens和泛化。基本上，MTL的Kripke结构正是线性排序的FL（{text{ew}}）的结构。在MTL的情况下，不仅相应的模型是线性排序的，而且域是恒定的，即它们不依赖于模型的节点。本文的第一个结果是证明了MTL关于这个Kripke语义的完备性。然后考虑Kripke完备性的两个应用：MTL的不可判定性和标准完备性。审核人：Albert Hoogewijs（根特） 引用于24文件 MSC公司： 03B52号 模糊逻辑；模糊逻辑 03B50号 多值逻辑 03G25号 与逻辑相关的其他代数 关键词：多值逻辑;无收缩逻辑;克里普克语义学;左连续t-范数 引文：Zbl 0994.03017号 PDF格式BibTeX公司 XML格式引用 \textit{F.Montagna}和\textit{H.Ono}，Stud.Log。71，第2号，227--245（2002；Zbl 1013.03021） 全文： 内政部