布鲁诺·特奥 基于Łukasiewicz有效性关系的模态可定义性。 (英语) Zbl 1396.03037号 螺柱日志。 104,第2期,343-363(2016). 摘要:基于Ł{ukasiewicz有限值逻辑的模态扩展,我们研究了关系结构类的可定义性的两个概念。本文的主要结果是这些可定义性概念的Goldblatt-Thomason定理的等价性。} 引用于1文件 MSC公司: 03B45号 模态逻辑(包括规范逻辑) 03B50号 多值逻辑 03C40 插值、保存、可定义性 关键词:模态逻辑;多值逻辑;Łukasiewicz逻辑;克里普克语义学;关系语义学;戈德布拉特-托马森定理;模态可定义性 PDF格式BibTeX公司 XML格式引用 \textit{B.Teheux},螺柱日志。104、2号、343--363(2016;Zbl 1396.03037) 全文: 内政部 arXiv公司 参考文献: [1] Bell,J.L.,《多模格与多模逻辑》,《数学逻辑季刊》42:219-233·Zbl 0855.03037号 [2] Blackburn,P.、M.de Rijke和Y.Venema,《模态逻辑》,《剑桥理论计算机科学丛书》,第53卷,剑桥大学出版社,剑桥,2001年·Zbl 0988.03006号 [3] Chang C.C.:多值逻辑的代数分析。美国数学学会学报88,467-490(1958)·Zbl 0084.00704号 ·doi:10.1090/S0002-9947-1958-0094302-9 [4] Chang C.C.,Łukasiewicz公理完备性的新证明,美国数学学会学报93,74-80(1959)·Zbl 0093.01104号 [5] Chang,C.C.和H.J.Keisler,模型理论,第三版。,荷兰北部,阿姆斯特丹,1990年·Zbl 0697.03022号 [6] Cignoli,R.L.O.,I.M.L.D’Ottaviano和D.Mundici,多值推理的代数基础,Logic-Studia Logica Library趋势,第7卷,Kluwer,Dordrecht,2000年·Zbl 0937.06009 [7] Félix B.,Esteva F.,Godo L.,Rodríguez R.O.:关于有限剩余格上的最小多值模态逻辑。《逻辑与计算杂志》21(5),739-790(2011)·Zbl 1252.03040号 ·doi:10.1093/log.com/exp062 [8] Gehrke M.,Jónsson B.:有界分配晶格展开。《斯堪的纳维亚数学》94(1),13-45(2004)·Zbl 1077.06008号 [9] Goguadze G.,Piazza C.,Venema Y.:用一元逻辑模拟多元模态逻辑。符号逻辑杂志68(2),419-462(2003)·兹比尔1059.03008 ·doi:10.2178/jsl/1052669058 [10] Goldblatt R.:复代数的种类。《纯粹与应用逻辑年鉴》44,173-242(1989)·Zbl 0722.08005号 ·doi:10.1016/0168-0072(89)90032-8 [11] Goldblatt,R.和S.Thomason,命题模态逻辑中的公理类,收录于《代数与逻辑》,柏林斯普林格出版社,1975年,第163-173页·Zbl 0325.02012 [12] Hansoul,G.和B.Teheux,多值Łukasiewicz模态系统和关系语义的完整性结果,arXiv-print-math/06125422006。 [13] Hansoul G.,Teheux B.:用模态扩展Łukasiewicz逻辑:关系语义的代数方法。《逻辑研究》101(3),505-545(2013)·Zbl 1272.03100号 ·doi:10.1007/s11225-012-9396-9 [14] 麦克诺顿:关于无穷值句子逻辑的一个定理。符号逻辑杂志16,1-13(1951)·Zbl 0043.00901号 ·doi:10.2307/2268660 [15] Niederkorn P.:MV代数的自然对偶,I.数学分析与应用期刊255(1),58-73(2001)·Zbl 0974.06006号 ·doi:10.1006/jmaa.2000.7153 [16] Ostermann P.:多值模态命题演算。Zeitschrift für Mathematische Logik und Grundlagen der Mathematik数学研究34(4),343-354(1988)·Zbl 0661.03011号 ·doi:10.1002/malq.19880340411 [17] Teheux,B.,《Łukasiewicz逻辑模态扩展的代数方法》,里奇大学博士论文,2009年。 [18] Teheux B.:搜索有错误游戏的命题动态逻辑。《应用逻辑杂志》12(4),377-394(2014)·Zbl 1395.03011号 ·doi:10.1016/j.jal.2014.04.001 [19] van Benthem,J.,模态对应理论,博士论文,阿姆斯特丹大学数学研究所和Grondslagenderzoek研究所,1976年·兹比尔0661.03011 [20] van Benthem J.:典型模态逻辑和超滤扩展。符号逻辑杂志44(1),1-8(1979)·Zbl 0405.03011号 ·doi:10.2307/2273696 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。