×
乔治·汉苏尔;布鲁诺·特奥

用模态扩展Łukasiewicz逻辑：关系语义的代数方法。 （英语） Zbl 1272.03100号

螺柱日志。 101，编号3，505-545（2013）.
摘要：本文提出了模态逻辑若干多值推广的代数方法。起点是定义\（[0,1]\）值Kripke模型，其中\（[0.1]\）表示众所周知的MV-代数。两种类型的结构用于定义公式的有效性：框架类和Ł（{n}）值框架类。后一种结构是我们在每个世界中指定（u）中公式的允许真值的集合（{n}的子代数）的框架。我们应用并开发了代数工具（即规范扩张和强规范扩张）来生成完整的模态值逻辑，并获得Shalqvist规范性结果的多值对应。

引用于23文件

理学硕士：

03B45号 模态逻辑（包括规范逻辑）
03B50号 多值逻辑
05年6月 MV-代数

关键词：

模态逻辑;多值逻辑;克里普克语义;关系语义;典型模型;MV-代数
PDF格式BibTeX公司 XML格式引用
\textit{G.Hansoul}和\textit{B.Teheux}，Stud.Log。101，第3号，505--545（2013；Zbl 1272.03100）
全文： 内政部 arXiv公司 链接

参考文献：

[1] Blackburn，P.、M.de Rijke和Y.Venema，《模态逻辑》，《剑桥理论计算机科学丛书》，第53卷，剑桥大学出版社，剑桥，2001年·Zbl 0988.03006号
[2] Bou，F.，F.Esteva，L.Godo，and R.Rodriguez，《有限剩余格上的最小多值模态逻辑》，0811.21072008·Zbl 1252.03040号
[3] Caicedo，X.和R.O.Rodriguez，《标准哥德尔模态逻辑》，Studia Logica 94（2）：189-214，2010，MR MR2602572·Zbl 1266.03030号
[4] Chagrov，A.和M.1306 Zakharyaschev，《模态逻辑》，《牛津逻辑指南》，第35卷，克拉伦登出版社/牛津大学出版社/牛津科学出版社，纽约，1997年·Zbl 0118.01305号
[5] Chang，C.C.，多值逻辑的代数分析，美国数学学会学报88:467-4901958·Zbl 0084.00704号
[6] Chang C.C.：Łukasiewicz公理完备性的新证明。《美国数学学会学报》93，74-80（1959）·Zbl 0093.01104号
[7] Chellas B.F.：模态逻辑导论。剑桥大学出版社，剑桥（1980）·Zbl 0431.03009号 ·doi:10.1017/CBO9780511621192
[8] Cignoli，R.L.O.，I.M.L.D’Ottaviano和D.Mundici，《多值推理的代数基础》，Logic-Studia Logica图书馆趋势，第7卷，Kluwer学术出版社，多德雷赫特，2000年·Zbl 0937.06009
[9] de Rijke M.，Venema Y.：带算子布尔代数的Sahlqvist定理及其在柱代数中的应用，Studia Logica。《符号逻辑国际期刊》54（1），61-78（1995）·兹伯利0823.03037
[10] 拟合M：多值模态逻辑。基础信息学15（3-4），235-254（1991）·Zbl 0745.03018号
[11] 拟合M：多值模态逻辑。二、。基础信息学17（1-2），55-73（1992）·Zbl 0772.03006号
[12] 拟合M.：多值模态逻辑的Tableaus，Studia Logica。国际符号逻辑期刊55（1），63-87（1995）·Zbl 0837.03017号
[13] Gehrke M.，Harding J.：有界晶格展开。代数杂志238（1），345-371（2001）·Zbl 0988.06003号 ·doi:10.1006/jabr.2000.8622
[14] Gehrke M.，Jónsson B.：带算子的有界分配格。《日本数学》40（2），207-215（1994）·Zbl 0855.06009
[15] Gehrke M.，Jónsson B.：单调有界分配格展开。日本数学52（2），197-213（2000）·Zbl 0972.06005号
[16] Gehrke M.，Jónsson B.：有界分配晶格展开。《斯堪的纳维亚数学》94（1），13-45（2004）·Zbl 1077.06008号
[17] Gehrke M.，Nagahashi H.，Venema Y.：分配模态逻辑的Sahlqvist定理。《纯粹与应用逻辑年鉴》131（1-3），65-102（2005）·邮编1077.03009 ·doi:10.1016/j.apal.2004.04.007
[18] Gispert J.，Mundici D.：MV-代数：阿基米德单位震级的变种。《代数普遍》53（1），7-43（2005）·Zbl 1093.06010号 ·doi:10.1007/s00012-005-1905-5
[19] Givant S.，Venema Y.：带算子的布尔代数完备化中Sahlqvist方程的保留。《普遍代数》41（1），47-84（1999）·Zbl 0964.03033号 ·doi:10.1007/s000120050100
[20] Gottwald，S.，《多值逻辑论著，逻辑与计算研究》，第9卷，研究出版社，波多克，2001年·Zbl 1048.03002号
[21] Hájek，P.，《模糊逻辑的元数学》，《逻辑趋势——逻辑研究图书馆》，第4卷，Kluwer学术出版社，多德雷赫特，1998年·Zbl 0937.03030号
[22] Hansoul，G.和B.Teheux，多值Łukasiewicz模态系统和关系语义的完整性结果，arXiv:math/0612542006·Zbl 0810.03050号
[23] Jónsson B.：关于Sahlqvist身份的规范性。Studia Logica公司。《符号逻辑国际期刊》53（4），473-491（1994）·兹伯利0810.03050
[24] Jónsson B.，Tarski A.：带算子的布尔代数。I.《美国数学杂志》73，891-939（1951）·Zbl 0045.31505号 ·数字对象标识代码：10.2307/2372123
[25] Jónsson B.，Tarski A.：带算子的布尔代数。二、。《美国数学杂志》74127-162（1952）·Zbl 0045.31601号 ·doi:10.2307/2372074
[26] 克里普克S.A.：模态逻辑的语义分析。一、范式命题演算。Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 9，67-96（1963）·Zbl 0118.01305号 ·doi:10.1002/malq.19630090502
[27] Łukasiewicz J.：O logice trójwarto shi ciowej。Ruch Filozoficny 5，170-171（1920年）
[28] Łukasiewicz J.，Tarski A..：Untersuchungenüber den ausagenkalkül。Compte Rendus Sénces Sociétédes Sciences et Lettres Varsovie《科学与利特雷·瓦尔索维研究学会》23、30-50（1930）
[29] Niederkorn P.：各种MV-代数的自然二重性。I.数学分析与应用杂志255（1），58-73（2001）·Zbl 0974.06006号 ·doi:10.1006/jmaa.2000.7153
[30] Ostermann P.：多值模态命题演算。Zeitschrift für Mathematische Logik und Grundlagen der Mathematik数学研究34（4），343-354（1988）·Zbl 0661.03011号 ·doi:10.1002/malq.19880340411
[31] Sahlqvist，H.，《模态逻辑的一阶和二阶语义的完整性和对应性》，第三届斯堪的纳维亚逻辑研讨会论文集（乌普萨拉大学，乌普萨拉，1973年），《逻辑和数学基础研究》，第82卷，阿姆斯特丹，北霍兰德，1975年，第110-143页。
[32] Venema，Y.，代数和余代数，《逻辑和实践推理研究》，Elsevier，Dordrecht，2006年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。