×
马提亚斯·巴兹;奥利弗·法辛

单调算子的哥德尔逻辑。 （英语） Zbl 1258.03027号

模糊集系统。 197, 3-13 (2012).
作者摘要：我们考虑了Gödel逻辑由单位区间上具有某些单调性的函数解释的一元算子的扩展。通过给出一个完备的证明系统和有限多个公理，我们证明了命题公式的有效性是可判定的。我们还展示了如何将演绎定理、提升引理以及蕴涵与1-蕴涵的一致性从哥德尔逻辑转移到我们扩展的命题片段。最后，我们证明了环正规prenex片段的可枚举性结果。
审核人：丹尼尔·蒙迪奇（费伦泽）

引用于2文件

MSC公司：

03B50号 多值逻辑
03B25号 理论和句子集的可决定性
03B52号 模糊逻辑；模糊逻辑

关键词：

多值逻辑;哥德尔逻辑;Łukasiewicz逻辑;可判定性;基于t-范数的逻辑;单调算子
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}和\textit{O.Fasching}，模糊集系统。197,3--13（2012；Zbl 1258.03027）
全文： 内政部
OA许可证

参考文献：

[1] A.Avron，基于超序贯演算的哥德尔-杜米特逻辑的Tableau系统，Tableaux 2000，计算机科学讲义，第1847卷，2000年，第98-111页。；A.Avron，基于超序贯演算的哥德尔-杜米特逻辑的Tableau系统，Tableaux 2000，计算机科学讲义，第1847卷，2000年，第98-111页·Zbl 0963.03008号
[2] Baaz，M。；Fasching，O.，关于与Delta，Ann一起见证哥德尔逻辑的注释。纯粹应用。日志。，161, 121-127 (2009) ·Zbl 1183.03022号
[3] M.Baaz，O.Fasching，《添加常量的影响》，提交出版。；M.Baaz，O.Fasching，《添加常量的影响》，提交出版。
[4] M.Baaz，N.Preining，R.Zach，一阶哥德尔逻辑公理化prenex片段的表征，收录于：IEEE多值逻辑国际研讨会，2003年，第175-180页。；M.Baaz，N.Preining，R.Zach，一阶哥德尔逻辑公理化prenex片段的表征，收录于：IEEE多值逻辑国际研讨会，2003年，第175-180页。
[5] M.Baaz，R.Zach，紧命题哥德尔逻辑，载于：IEEE多值逻辑国际研讨会，1998年，第108-113页。；M.Baaz，R.Zach，《紧凑命题哥德尔逻辑》，载于：IEEE多值逻辑国际研讨会，1998年，第108-113页。
[6] Bou，F。；埃斯特娃，F。；字体，J.M。；吉尔，A。；戈多，L。；托伦斯，A。；Verdü，V.，《从各种剩余格中保持真度的逻辑学》，J.Logic Comput。，19, 1031-1069 (2009) ·Zbl 1197.03023号
[7] 辛图拉，P。；埃斯特娃，F。；Gispert，J。；戈多，L。；蒙塔格纳，F。；Noguera，C.，《基于t-范数的模糊逻辑、方法和代数等价的区别代数语义》，Ann.Pure Appl。日志。，160, 53-81 (2009) ·Zbl 1168.03052号
[8] Dummett，M.，《具有可数矩阵的命题演算》，J.Symb。日志。，第24页，97-106页（1959年）·Zbl 0089.24307号
[9] O.Fasching，维也纳理工大学博士论文。；O.Fasching，维也纳科技大学博士论文。
[10] Hájek，P.，《模糊逻辑的元数学》（1998），Kluwer·Zbl 0937.03030号
[11] Horn，A.，《线性有序Heyting代数中真值的逻辑》，J.Symb。日志。，34395-408（1969年）·Zbl 0181.29904号
[12] G.Metcalfe，N.Olivetti，D.M.Gabbay，Abelian和Lukasiewicz Logics的分析序列演算，Tableaux 2002，计算机科学讲义，第2381卷，2002年，第191-205页。；G.Metcalfe，N.Olivetti，D.M.Gabbay，Abelian和Lukasiewicz Logics的分析序列演算，Tableaux 2002，计算机科学讲义，第2381卷，2002年，第191-205页·Zbl 1016.03058号
[13] Rose，A。；Rosser，J.B.，多值语句计算片段，Trans。美国数学。Soc.，87，1-53（1958）·Zbl 0085.24303号
[14] Scarpellini，B.，Die Nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls vonŁukasiewicz，J.Symb。日志。，27, 159-170 (1962) ·Zbl 0112.24503号
[15] Weiermann，A.，《物流和商业的阶段》，DMV Mitteilungen，13，3，152-156（2005）
[16] A.Weiermann，《逻辑和组合学中的相变》，《当代展览》。数学。2005年（秋季会议1）（2005）42-54。；A.Weiermann，《逻辑和组合学中的相变》，《当代展览》。数学。2005年（秋季会议1）（2005）42-54。
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。