阿诺德·贝克曼；Preining，诺伯特 具有分散端块的线性Kripke框架的逻辑判定。 （英语） Zbl 1400.03053号 软计算。 191-197年1月21日（2017年）. 本文使用了[巴兹先生等，Ann.Pure Appl。《逻辑147》，第1-2期，第23-47页（2007年；Zbl 1146.03010号)]关于哥德尔逻辑的非递归可数性结果和方法[A.贝克曼和N.预浸，J.赛姆布。日志。72，第1期，26-44（2007年；Zbl 1118.03016号)]基于可数线性克里普克框架将哥德尔逻辑的结果转换为逻辑。提供的扩展有两个方面：–扩展到任意大小的线性Kripke框架，–域增加情况的扩展。审核人：Albert Hoogewijs（根特） 引用于1文件 MSC公司： 03B50号 多值逻辑 03B52号 模糊逻辑；模糊逻辑 关键词：哥德尔逻辑；线性克里普克框架 引文：Zbl 1146.03010号；Zbl 1118.03016号 PDF格式BibTeX公司 XML格式引用 \textit{A.Beckmann}和\textit{N.Preining}，软计算。21，第1号，191--197（2017；Zbl 1400.03053） 全文： 内政部 链接 参考文献： [1] Baaz M，Iemhoff R（2005）关于存在逻辑中的插值。收录：《编程逻辑、人工智能和推理：第12届国际会议，2005年LPAR，牙买加蒙特哥湾，2005年12月2-6日》。诉讼程序。柏林施普林格，第697-711页·Zbl 1143.03325号 [2] Baaz M，Iemhoff R（2006）直觉主义逻辑中存在量词的skolemization。Ann Pure Appl日志142（1）：269-295·Zbl 1106.03004号 ·doi:10.1016/j.apal.2006.02.001 [3] Baaz M，Preining N，Zach R（2007）一阶哥德尔逻辑。Ann Pure Appl日志147:23-47·Zbl 1146.03010号 ·doi:10.1016/j.apal.2007.03001 [4] Beckmann A，Preining N（2007），线性Kripke框架和哥德尔逻辑。J Symb日志71（1）：26-44·Zbl 1118.03016号 ·doi:10.2178/jsl/1174668382 [5] Minari P，Takano M，Ono H（1990）序数决定的中间谓词逻辑。J Symb日志55（3）：1099-1124·Zbl 0745.03022号 ·doi:10.2307/2274476 [6] Scott D（1979）直觉逻辑中的同一性和存在性。在：层的应用：层理论在逻辑、代数和分析中的应用研究研讨会论文集，达勒姆，1977年7月9日至21日。柏林施普林格，第660-696页·Zbl 0656.03018号 [7] Takano M（1987）将R和Q作为Kripke模型的基础。螺柱日志46:137-148·Zbl 0656.03018号 ·doi:10.1007/BF00370376 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。