SQEMA公司 swMATH ID: 3056 软件作者: 威廉·康雷迪(Willem Conradie);瓦伦丁·戈兰科 描述: 模态逻辑中的算法对应性和完备性。四、 SQEMA的语义扩展。在[{it W.E.Conradie,V.F.Goranko}和{it D.Vakarelov},Log.Methods Compute.Sci.2,No.1,Paper 5(2006;Zbl 1126.03018)]中,我们引入了计算一阶等价物和证明模态公式规范性的算法SQEMA,从而建立了一个非常一般的对应关系和规范完备性结果。SQEMA基于转换规则,其中最重要的是使用Ackermann结果的模式版本,它可以消除公式中存在的量化谓词变量,前提是该变量满足一定的负极性条件。在本文中,我们发展了SQEMA的几个扩展,其中该句法条件被语义条件取代,即向下单调性。对于第一个也是最一般的扩展SemSQEMA,我们证明了包含Sahlqvist公式扩展的一大类模态公式的正确性,该公式通过将极性替换为单调性来定义。通过使用Lyndon单调性定理的一个特殊模式版本,并对Ackermann规则施加附加要求,我们获得了SemSQEMA的限制版本,该版本也保证了规范性。 主页: http://dimiter.slavi.biz/sqema/ 关键词: 模态对应与完备性;算法SQEMA;萨尔奎斯特公式;归纳公式;林登单调性;正典性 相关软件: 伊莎贝尔/HOL;认识逻辑;存档正式证据;FOL配件;佩斯卡 引用于: 40文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 模态逻辑中的算法对应性和完备性。四、 SQEMA的语义扩展。 Zbl 1181.03007号威廉·康雷迪;瓦伦丁·戈兰科 2008 全部的 前5名38位作者引用 14 威廉·康雷迪 8 瓦伦丁·F·戈兰科。 8 亚历山德拉·帕尔米吉亚诺 6 迪米特·瓦卡雷洛夫 5 Broersen,Jan M。 4 苏米特·苏拉布 4 赵志光 三 埃米利亚诺·洛里尼 三 斯扎·阿斯(Szałas)、安德烈吉(Andrzej) 2 雷娜特·施密特(Renate A.Schmidt)。 1 尼克·贝扎尼什维利 1 阿加塔·西阿巴托尼 1 伊沃·杜恩施 1 巴巴拉·杜宁·科普里茨 1 伊夫·波德莱尔·福马塔蒂 1 萨宾·弗里特拉 1 来自阿斯塔·哈尔克 1 Dov M.加巴伊。 1 尼古拉斯·加拉托斯 1 保罗·加莱亚齐 1 迪米特·乔治耶夫。 1 西尔维奥·吉拉尔迪 1 安德烈亚斯·赫齐格 1 卫斯理·H·霍利迪。 1 彼得·吉普森 1 斯坦尼斯拉夫·基科特 1 弗雷德里克·莫勒斯特罗姆·劳里德森 1 塔德乌什·利塔克 1 马明辉 1 阮林安 1 或者艾瓦·奥斯卡。 1 克劳德特·罗宾逊 1 路易吉·桑托卡纳莱 1 乔瓦尼·萨托 1 Terui、Kazushige 1 尼古拉斯·特罗夸德 1 van Alten,Clint J。 1 Christoph Wernhard公司 全部的 前5名15连载 6 逻辑与计算杂志 5 纯逻辑与应用逻辑年鉴 4 应用非经典逻辑杂志 三 Studia Logica公司 三 应用逻辑杂志 2 计算机科学中的逻辑方法 1 模糊集与系统 1 合成 1 理论计算机科学 1 国际近似推理杂志 1 Godishnik na Sofiĭskiya大学“Sv.Kliment-Okhridski”。Fakultet po Matematika i Informatika公司 1 IGPL逻辑杂志 1 计算机基础理论 1 符号逻辑述评 1 程序设计中的逻辑和代数方法杂志 在4个字段中引用 39 数理逻辑与基础(03-XX) 8 阶、格、有序代数结构(06-XX) 8 计算机科学(68至XX) 2 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 按年份列出的引文