×
戈林斯卡·皮拉雷克，J。;穆尼奥斯·韦拉斯科，E。

具有双向可忽略性的数量级定性推理的多模态逻辑的对偶表。 （英语） Zbl 1181.03018号

国际期刊计算。数学。 86，第10-11号，1707-1718（2009）.
摘要：对于与多模态命题逻辑相关联的关系逻辑，我们提出了一个对偶表形式的关系证明系统，用于具有双向可忽略关系的数量级定性推理。我们研究了证明系统的稳健性和完备性，并说明了它如何用于验证逻辑公式的有效性。

引用于三文件

MSC公司：

03B45号 模态逻辑（包括规范逻辑）
03B35型 证明和逻辑操作的机械化
68吨15 定理证明（演绎、解析等）（MSC2010）
68T27型 人工智能中的逻辑

关键词：

关系逻辑;双表系统;多模态命题逻辑;数量级定性推理
PDF格式BibTeX公司 XML格式引用
\textit{J.Goliñska-Pilarek}和\textit{E.Muñoz-Velasco}，国际计算机杂志。数学。86，编号：10--111707--1718（2009；Zbl 1181.03018）
全文： 内政部

参考文献：

[1] DOI:10.1023/A:102083231504·Zbl 1051.03019号 ·doi:10.1023/A:1020083231504
[2] Burrieza A.，技术代表（2008）
[3] Burrieza A.，双向可忽略性的数量级推理4177 pp 370–（2006）
[4] Burrieza A.基金。通知。第68页，第21页–（2005年）
[5] Formisano A.，TABLEAUX 2005立场论文和教程说明，Fachberichte Informatik No 12，科布伦茨-朗道大学，第1页–（2005）
[6] Goliñska-Pilarek J.，关系逻辑及其应用4342 pp 125–（2006）·Zbl 1110.03015号
[7] 内政部：10.1007/s11225-007-9055-8·Zbl 1125.03041号 ·doi:10.1007/s11225-007-9055-8
[8] DOI:10.1016/S0304-3975（01）00320-6·Zbl 1058.03029号 ·doi:10.1016/S0304-3975（01）00320-6
[9] Orłowska E.，模态逻辑证明理论第55页–（1996）
[10] 内政部：10.1016/0004-3702（91）90107-U·doi:10.1016/0004-3702（91）90107-U
[11] Rasiowa H.，《元数学的数学》（1963）·Zbl 0122.24311号
[12] Sánchez M.，Bolet？de la AEPIA公牛。西班牙艺术协会。智力。第6页，第15页–（1996年）
[13] DOI:10.1007/s10472-005-9002-1·Zbl 1110.68123号 ·doi:10.1007/s10472-005-9002-1
[14] Wolter F.，《探索新千年的人工智能》（2002）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。