×
尼克·贝扎尼什维利;安娜·德米特里娃;吉姆·德·格罗特;托马索·莫拉希尼

超越分配性的正模态逻辑。 （英语） Zbl 07780209号

Ann.纯粹应用。逻辑 175，第2号，文章ID 103374，36页（2024）.
摘要：我们为不需要分配的（模态）格开发了一个对偶，并用它来研究分配性以外的正（模态）逻辑，我们称之为弱正（模式）逻辑。这种二元性建立在满足半格的霍夫曼、米斯洛夫和斯特拉尔卡二元性的基础上。我们引入了（Pi_1）持久性的概念，并证明了每个弱正模态逻辑都是（{\Pi}_1）持续的。这种方法为弱正模态逻辑提供了一种新的关系语义，我们证明了Sahlqvist对应结果的类似性。

引用于1文件

MSC公司：

03B45号 模态逻辑（包括规范逻辑）
03G10年 格和相关结构的逻辑方面
06B15号 格的表示理论
06年50月 格与对偶

关键词：

二元性;非分配正逻辑;弱正逻辑;模态逻辑;萨尔奎斯特通信
PDF格式BibTeX公司 XML格式引用
\textit{N.Bezhanishvili}等人，Ann.Pure Appl。逻辑175，第2号，文章ID 103374，36页（2024；Zbl 07780209）
全文： 内政部 arXiv公司

参考文献：

[1] 艾布拉姆斯基，S。；Jung，A.，《领域理论》，第3卷，1-168（1994），克拉伦登出版社：牛津克拉伦登出版公司
[2] 贝克，K.A。；Hales，A.W.，《从晶格到理想晶格》。代数大学。，250-258 (1974) ·Zbl 0298.06003号
[3] van Benthem，J.，《模态语义学中的关系模式、偏爱和集合提升》
[4] 北卡罗来纳州贝扎尼什维利。；Holliday，W.，《无选择的石头二元性》。J.塞姆。日志。，1, 109-148 (2020) ·Zbl 1444.03172号
[5] Bimbó，K.，正交格和de Morgan格的函数对偶性。日志。大学。，2, 311-333 (2007) ·兹伯利1132.03034
[6] 布莱克本，P。；de Rijke，M。；Venema，Y.，模态逻辑。《剑桥理论计算机科学丛书》（2001），剑桥大学出版社：剑桥大学出版社·Zbl 0988.03006号
[7] 塞拉尼，S.A。；Jansana，R.，Priestley对偶，正模态逻辑的Sahlqvist定理和Goldblatt-Thomason定理。日志。J.IGPL，683-715（1999）·Zbl 0948.03013号
[8] 查格罗夫，A。；Zakharyaschev，M.，模态逻辑（1997），克拉伦登出版社·Zbl 0871.03007号
[9] 克拉克·D·M。；Davey，B.A.，《代数工作者的自然二重性》。《剑桥高等数学研究》（1998），剑桥大学出版社：英国剑桥大学出版社·Zbl 0910.08001号
[10] 康拉德，W。；Palmigiano，A.，非分配逻辑的算法对应性和规范性。Ann.纯粹应用。日志。，9, 923-974 (2019) ·Zbl 1477.03046号
[11] 戴维，B。；Priestley，H.，《格与序导论》（2002），剑桥大学出版社·Zbl 1002.06001号
[12] 戴维，文学学士。；Werner，H.，代数变种的对偶性和等价性·Zbl 0503.08011号
[13] 德隆德，C。；多梅内克，G。；Freytes，H.，历史和哲学视角下的量子逻辑·Zbl 1108.81003号
[14] Dmitrieva，A.，《分配性之外的正模态逻辑：二元性、保存性和完备性》（2021），阿姆斯特丹大学逻辑、语言和计算研究所，硕士论文
[15] Dunn，J.M.，《正模态逻辑》。螺柱日志。，301-317 (1995) ·Zbl 0831.03007号
[16] Esakia，L.，拓扑Kripke模型。苏联。数学。道克。，147-151 (1974) ·Zbl 0296.02030号
[17] Esakia，L.，Heyting Algebras（2019），Springer，1985年原著的英文翻译·Zbl 0601.06009
[18] Gehrke，M。；Harding，J.，有界晶格展开。《代数杂志》，345-371（2001）·Zbl 0988.06003号
[19] Gehrke，M。；Jónsson，B.，带算子的有界分配格。数学。Jpn中。，2, 207-215 (1994) ·Zbl 0855.06009
[20] Gehrke，M。；Nagahashi，H。；Venema，Y.，分配模态逻辑的Sahlqvist定理。Ann.纯粹应用。日志。，1-3, 65-102 (2005) ·邮编1077.03009
[21] Gehrke，M。；Priestley，H.，偏序集和格的规范扩张和完备。代表数学。日志。，133-152 (2008) ·Zbl 1147.06005号
[22] 格尔克，M。；Van Gool，S.，通过正则扩张实现格的分布包络和拓扑对偶。订单，3435-461（2014）·Zbl 1309.06004号
[23] Goldblatt，R.，《直系词的语义分析》。J.菲洛斯。日志。，1-2, 19-35 (1974) ·Zbl 0278.02023号
[24] 戈德布拉特，R.，《正交晶格的石头空间》。牛。伦敦。数学。Soc.，145-48（1975年）·Zbl 0301.06006号
[25] Goldblatt，R.，《复代数的种类》。Ann.纯粹应用。日志。，3, 173-242 (1989) ·Zbl 0722.08005号
[26] Goldblatt，R.，《带算子的极性和格的形态和对偶》。J.应用。日志。，6, 1019-1072 (2020) ·Zbl 1513.06034号
[27] Hartonas，C.，具有模态算子的格的离散对偶。J.日志。计算。，1, 71-89 (2019) ·Zbl 1444.03174号
[28] Hartonas，C。；Orlowska，E.，在两分类框架中用模态算子表示格。芬丹。通知。，1, 29-56 (2019) ·兹比尔1435.03090
[29] Hartung，G.，格的拓扑表示。代数大学。，273-299 (1992) ·Zbl 0790.06005号
[30] Hella，L。；卢斯托，K。；萨诺，K。；Virtema，J.，模态依赖逻辑的表达能力，294-312·Zbl 1385.03018号
[31] Hodges，W.，《不完全信息语言的合成语义》。日志。J.IGPL，4539-563（1997）·Zbl 0945.03034号
[32] 霍夫曼，K.H。；Mislove，M。；Stralka，A.，《紧0-维半晶格的Pontryagin对偶性及其应用》（1974），Springer:Springer Berlin，纽约·Zbl 0281.06004号
[33] 霍利迪，W。；Mandelkern，M.，《认识模态的正交性》（2022）
[34] Holliday，W.H.，可能性语义学·Zbl 1530.03162号
[35] Jónsson，B。；Tarski，A.，带算子的布尔代数。第一部分美国数学杂志。，4, 891-939 (1951) ·Zbl 0045.31505号
[36] Kalmbach，G.，《正交模格》（1983），学术出版社·兹伯利0512.06011
[37] Knudstorp，S.Brinck，模态信息逻辑（2022），阿姆斯特丹大学逻辑、语言和计算研究所，硕士论文
[38] Kojima，K.，《直觉主义模态逻辑的关系和邻域语义》。代表数学。日志。，87-113 (2012) ·Zbl 1320.03054号
[39] Kontine，J。；穆勒，J.S。；施诺尔，H。；Vollmer，H.，模态独立逻辑，353-372
[40] 莫希尔，M。；Jipsen，P.，拓扑对偶与格展开，I：正则扩张的拓扑构造。代数大学。，109-126 (2014) ·Zbl 1307.06002号
[41] Priestley，H.，用有序石空间表示分配格。牛。伦敦。数学。Soc.，2186-190（1970）·Zbl 0201.01802号
[42] 罗德，D.W.，范畴理论应用于庞特里亚金对偶。派克靴。数学杂志。，2, 519-527 (1974) ·Zbl 0245.22005号
[43] Sachs，D.，有限分格中的恒等式。程序。美国数学。《社会》，944-945（1961）·Zbl 0101.02201号
[44] Sahlqvist，H.，模态逻辑一阶和二阶语义的完整性和对应性。发现螺柱逻辑。数学。，110-143 (1975) ·Zbl 0319.02018号
[45] Sambin，G。；Vaccaro，V.，Sahlqvist关于模态可定义性和完备性定理的新证明。J.塞姆。日志。，3, 992-999 (1989) ·Zbl 0682.03009号
[46] Urquhart，A.，格的拓扑表示理论。代数大学。，1, 45-58 (1978) ·兹伯利0382.06010
[47] Yang，F.，模态依赖逻辑：公理化和模型理论性质。日志。J.IGPL，5773-805（2017年10月）·Zbl 1492.03011号
[48] 杨，F。；Väänänen，J.，《命题团队逻辑》。Ann.纯粹应用。日志。，71406-1441（2017年7月）·Zbl 1422.03058号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。