×

基于Łukasiewicz有效性关系的模态可定义性。 (英语) Zbl 1396.03037号

摘要:基于Ł{ukasiewicz有限值逻辑的模态扩展,我们研究了关系结构类的可定义性的两个概念。本文的主要结果是这些可定义性概念的Goldblatt-Thomason定理的等价性。}

MSC公司:

03B45号 模态逻辑(包括规范逻辑)
03B50号 多值逻辑
03C40 插值、保存、可定义性
PDF格式BibTeX公司 XML格式引用

参考文献:

[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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。