×
奥列格·格里戈里耶夫;雅罗斯拉夫·彼得鲁金

带有Tarski、Kuratowski和Halmos运算符的模态多晶格逻辑。 （英语） Zbl 1517.03016号

日志。日志。菲洛斯。 第3期，第30期，第385-415页（2021）.
摘要：在本文中，我们考虑了具有Tarski、Kuratowski和Halmos闭包和内部算子的模态多重格，以及相应的逻辑，它们分别是模态逻辑（mathbf{MNT4}）、（mathbf{S4}）和（mathbf1{S5}）的多重格版本。以前的模态多点阵逻辑是一种新的逻辑。后两种模态多格逻辑已经在文献中提到过，但之前还没有建立它们的代数完备性结果。我们以序列演算的形式给出了（mathbf{MNT4}）的一个多格版本，并证明了它的代数和邻域完备性定理。我们还推广了（mathbf{S4}）和（mathbf{S5}）多格版本的代数完备性结果。

引用于1文件

MSC公司：

03B45号 模态逻辑（包括规范逻辑）
03B50号 多值逻辑

关键词：

多点阵逻辑;模态逻辑;矢列演算;代数完备性;邻域语义;嵌入定理
PDF格式BibTeX公司 XML格式引用
\textit{O.Grigoriev}和\textit{Y.Petrukhin}，日志。日志。菲洛斯。30，编号3，385--415（2021；Zbl 1517.03016）
全文： 内政部

参考文献：

[1] Arieli，O.和A.Avron，“逻辑双态推理”，《逻辑、语言和信息杂志》5（1996）：25-63。内政部：·Zbl 0851.03017号
[2] Avron，A.，“命题非经典逻辑证明理论中的超序列方法”，《逻辑：从基础到应用》第1-32页，1996年·兹比尔0861.03043
[3] Bednarska，K.和A.Indrzejczak，“S5的超连续计算：切割消除的方法”，《逻辑与逻辑哲学》，24，3（2015）：277-311。内政部：·Zbl 1372.03037号
[4] Cattaneo，G.和D.Ciucci，“具有内部和闭包算子以及抽象近似空间的格”，第67-116页，J.F.Peters、A.Skowron、M.Wolski、M.K.Chakraborty和W.-Z.Wu（编辑），《粗糙集X上的交易》，《计算机科学讲义》第5656卷，柏林：施普林格出版社，2009年。内政部：·Zbl 1248.06005号
[5] Chellas，B.F.，模态逻辑。《导论》，剑桥：剑桥大学出版社，1980年。内政部：·Zbl 0431.03009号
[6] Grigoriev，O.和Y.Petrukhin，“关于超连续S5演算的多格模拟”，《逻辑与逻辑哲学》28，4（2019）：683-730。内政部：·Zbl 1458.03012号
[7] Grigoriev，O.和Y.Petrukhin，“多格逻辑代数完备性定理的两种证明”，《应用非经典逻辑杂志》29，4（2019）：358-381。内政部：·兹比尔1444.03089
[8] Indrzejczak，A.，“单调模态逻辑的序贯计算”，逻辑部分公报34，3（2005）：151-164·Zbl 1117.03022号
[9] Indrzejczak，A.，《自然演绎、混合系统和模态逻辑》，施普林格出版社，2010年。内政部：·Zbl 1236.03002号
[10] Indrzejczak A.“两个就足够了”，A.Herzig和A.Popescu（编辑）《组合系统的前沿》第277-294页。FroCoS 2019，第11715卷，“计算机科学讲义”，Springer，Cham。2019.内政部：·Zbl 1468.03022号
[11] Kamide，N.，“多格形式主义的阶段语义”，IEEE第47届多值逻辑国际研讨会（ISMVL）第31-36页，Novi Sad，2017年。DOI（操作界面）：
[12] Kamide，N.，“多格逻辑的子结构视图”，多值逻辑与软计算33，3（2019）：239-270·Zbl 1452.03067号
[13] Kamide，N.和Y.Shramko，“从多格逻辑嵌入经典逻辑，反之亦然”，《逻辑与计算杂志》27，5（2017）：1549-1575。内政部：·Zbl 1444.03090号
[14] Kamide，N.和Y.Shramko，“模态多格逻辑”，Logica Universalis 11，3（2017）：317-343。内政部：·Zbl 1404.03018号
[15] Kamide，N.，Y.Shramko和H.Wansing，“双直觉多格逻辑的Kripke完备性及其连接变体”，Studia Logica 105，5（2017）：1193-1219。内政部：·Zbl 1417.03179号
[16] Kripke，S.，“模态逻辑的语义分析I”，Zeitschrift für Mathematische Logik und Grundlegen der Mathematik 9（1963）：67-96·Zbl 0118.01305号
[17] Mints，G.，“模态逻辑的一些计算”（俄语），Trudy Mat.Inst.Steklov。98 (1968): 88-111 ·Zbl 0169.29901号
[18] Mints，G.，“S5型无切削微积分”，《构造数学和数学逻辑研究》第79-82页，第2部分，1970年。DOI（操作界面）：
[19] Ohnishi，M.和K.Matsumoto，“模态计算中的Gentzen方法I”，大阪数学杂志9，2（1957）：113-130·Zbl 0080.00701号
[20] Ohnishi，M.和K.Matsumoto，“模态计算中的Gentzen方法II”，大阪数学杂志11，2（1959）：115-120·Zbl 0089.00602号
[21] Poggiolesi，F.，《模态命题逻辑的Gentzen演算》，施普林格出版社，2011年。内政部：·Zbl 1232.03007号
[22] Pottinger，G.，“T，S 4和S 5的统一无切割公式，（摘要）”，《符号逻辑杂志》48（1983）：900。DOI（操作界面）：
[23] Restall，G.，“S5的证明：模态逻辑的序列和电路”，《2005年逻辑讨论会》第151-172页，“逻辑讲义”系列第28卷，剑桥大学出版社，2007年。内政部：·Zbl 1146.03038号
[24] Shramko，Y.，“真理、谬误、信息和超越：广义的美国计划”，K.Bimbo（编辑）第191-212页，J.Michael Dunn on information Based Logics，《对逻辑的杰出贡献》丛书第8卷，Dordrecht:Springer，2016年。内政部：·Zbl 1439.03054号
[25] Shramko，Y.和H.Wansing，“一些有用的十六值逻辑：计算机网络应该如何思考”，《哲学逻辑杂志》34（2005）：121-153。内政部：·Zbl 1094.03012号
[26] Zaitsev，D.，“用四格EIGHT4进行推理的几个更有用的8值逻辑”，Studia Logica 92，2（2009）：265-280。内政部：·Zbl 1178.03035号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。