×

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 川崎捷瑞
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）

按年份列出的引文