×
戴安娜·科斯塔;马丁斯（Manuel A.Martins）。

非对偶模态算子是混合逻辑中四值可及性关系的基础。 （英语） Zbl 07377681号

J.日志。阿尔盖布。方法计划。 121，文章ID 100679，25 p.（2021）.
摘要：模态运算符通常与可能性和必然性是经典的二元论。本文的目的是在次协调环境中，即在命题变量和可及性关系都是四值的Belnapian混合逻辑中，挑战这种对偶性。混合逻辑是模态逻辑的扩展，它包含了额外的机制，例如用于唯一命名状态的名词和满足运算符，以便在满足运算符指示的状态中评估其范围内的公式。
在经典的混合逻辑中，当否定的语义出现在复合公式之前时，它被带到子公式中，这意味着最终的不一致可以在名词或命题变量的水平上发现，但似乎与可及性关系无关。在本文中，我们允许命题变量中存在不一致性，并且通过打破模态算子之间的对偶性，在可及性关系级别上出现了不一致性。我们引入了一个健全完整的表格系统和一个判定过程来检查公式是否是一组公式的结果。Tableaux将用于提取数据库的语法模型，然后使用不同的不一致性度量进行比较。最后，我们讨论了相互模拟。

引用于1文件

MSC公司：

03B53号 准一致逻辑
03B45号 模态逻辑（包括规范逻辑）
03B50号 多值逻辑
第68页第15页 数据库理论

关键词：

混合逻辑;四值语义;模态运算符;tableaux系统;不一致性度量;互模拟
PDF格式BibTeX公司 XML格式引用
\textit{D.Costa}和\textit{M.A.Martins}，J.Log。阿尔盖布。方法计划。121，文章ID 100679，25 p.（2021；Zbl 07377681）
全文： 内政部 链接

参考文献：

[1] Areces，C。；布莱克本，P。；Marx，M.，《混合逻辑：特征化、插值和复杂性》，J.Symb。日志。，66, 3, 977-1010 (2001) ·Zbl 0984.03018号
[2] Arieli，O.，《论选言三段论在基于四种信息状态的次协调逻辑中的应用》（《第十二届知识表示与推理原理国际会议论文集》，KR’10（2010），AAAI出版社），302-309
[3] 北卡罗来纳州贝尔纳普，《有用的四值逻辑》（Dunn，J.M.；Epstein，G.，《多值逻辑的现代应用》（1977），D.Reidel）·Zbl 0417.03009号
[4] 贝斯纳德，P。；Hunter，A.，《准经典逻辑：来自不一致信息的非竞争性经典推理》（Froidevaux，C.；Kohlas，J.，《推理和不确定性的符号和定量方法》，《推理与不确定性的象征和定量方法，计算机科学讲义》，第946卷（1995），斯普林格-柏林-海德堡），44胜51负
[5] Blackburn，P.，《表示、推理和关系结构：混合逻辑宣言》，Log。J.IGPL，8，3，339-365（2000）·Zbl 0956.03025号
[6] Braüner，T.，经典、直觉主义和次一致混合逻辑公理，J.Log。语言信息，15，3，179-194（2006）·Zbl 1108.03033号
[7] Braüner，T.，《混合逻辑及其证明理论》（2010），施普林格出版社
[8] Chechik，M。；Devereux，B。；南卡罗来纳州伊斯特布鲁克。；Gurfinkel，A.，多值符号模型检验，ACM Trans。柔和。工程方法。，12、4、371-408（2003年10月）
[9] 科斯塔·D·。；Martins，M.A.，《混合逻辑中的超一致性》，J.Log。计算。，27, 6, 1825-1852 (2016) ·兹比尔1396.03065
[10] 科斯塔·D·。；Martins，M.A.，《带有非双模态算子的四值混合逻辑》（Soares Barbosa，L.；Baltag，A.，《动态逻辑：新趋势和应用》（2020），Springer International Publishing：Springer国际出版公司Cham），88-103·Zbl 1496.03080号
[11] Fitting，M.，《逻辑编程的定点语义调查》，Theor。计算。科学。，278，1，25-51（2002），编程语义学的数学基础1996·Zbl 1002.68023号
[12] Fitting，M.C.，多值模态逻辑，Fundam。通知。，15、3-4、235-254（1991年11月）·Zbl 0745.03018号
[13] 格兰特·J。；Hunter，A.，分析不一致的一阶知识库，Artif。智力。，172, 8-9, 1064-1093 (2008) ·Zbl 1183.68614号
[14] 格兰特·J。；Hunter，A.，《在逐步解决不一致性中测量一致性增益和信息损失》，（Liu，W.，《用不确定性进行推理的符号和定量方法》（2011），施普林格-柏林-海德堡：施普林格–柏林-海德堡-柏林，海德堡），362-373·Zbl 1341.68256号
[15] （Grant，J.；Martinez，M.V.，《衡量信息不一致性》（2018年），学院出版物）·Zbl 1411.68015号
[16] Hansen，J.U。；Bolander，T。；Braüner，T.，多值混合逻辑，J.Log。计算。，28, 5, 883-908 (2015) ·Zbl 1444.03056号
[17] 奥廷索夫，S.P。；Wansing，H.，《基于FDE的非协调模态逻辑的分离》，Stud.Log。，105、6、1221-1254（2017年12月）·Zbl 1417.03160号
[18] 里维奇奥，美国。；Jung，A。；Jansana，R.，《四值模态逻辑：克里普克语义和对偶性》，J.Log。计算。(2015)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。