×
尼克·贝扎尼什维利;卢卡·卡莱;西尔维奥·吉拉尔迪;露西娅·兰迪

（\Pi_2）推理规则的可容许性：插值、模型完成和接触代数。 （英语） Zbl 07601551号

Ann.纯粹应用。逻辑 174，第1号，文章ID 103169，第31页（2023）.
摘要：我们设计了三种策略，通过插值、均匀插值和模型补全来识别非标准推理规则的可接受性。我们将我们的机器应用于对称蕴涵演算（mathsf{S}^2\mathsf}IC}）的情况，在这种情况下，我们还通过接触代数的等价理论，提供了其代数副本的模型完备的有限公理化。利用这个结果，我们得到了可容许Pi_2规则的有限基。

MSC公司：

03B45号 模态逻辑（包括规范逻辑）
03C10号机组 量词消除、模型完整性和相关主题
06E25年 具有附加运算的布尔代数（可对角化代数等）
54E05型 邻近结构和推广

关键词：

非标准规则;可受理性;插值;均匀插值;模型完成;接触代数
PDF格式BibTeX公司 XML格式引用
\textit{N.Bezhanishvili}等人，Ann.Pure Appl。逻辑174，第1号，文章ID 103169，31页（2023；Zbl 07601551）
全文： 内政部 arXiv公司

参考文献：

[1] 巴德，F。；Ghilardi，S.，模态和描述逻辑的统一，Log。J.IGPL，19、6、705-730（2011）·Zbl 1258.03018号
[2] Balbiani博士。；乔·根瑟。，联系逻辑中的可接纳性和统一性（TbiLLC 2013）。TbiLLC 2013，佐治亚州古达乌里（2013）），44-60·Zbl 1326.03034号
[3] Balbiani博士。；Tinchev，T。；Vakarelov，D.，《基于区域的空间理论的模态逻辑》，Fundam。通知。，81, 1-3, 29-82 (2007) ·Zbl 1142.03012号
[4] Bezhanishvili，G.，《石头二元性》和《格里森》涵盖了德弗里斯二元性，《白杨》。申请。，157, 6, 1064-1080 (2010) ·Zbl 1190.54015号
[5] Bezhanishvili，G。；北卡罗来纳州贝扎尼什维利。；桑托利，T。；Venema，Y.，紧Hausdorff空间的严格蕴涵演算，Ann.Pure Appl。日志。，第170、11条，第102714页（2019年）·Zbl 1446.03041号
[6] Bezhanishvili，G。；北卡罗来纳州贝扎尼什维利。；Sourabh，S。；Venema，Y.，不可约等价关系，格里森空间和德弗里斯对偶，应用。类别。结构。，25, 3, 381-401 (2017) ·Zbl 1425.54006号
[7] 北卡罗来纳州贝扎尼什维利。；吉拉尔迪，S。；Landi，L.，模型完备性和\（\ operatorname｛\Pi｝_2\）-规则：接触代数的情况，（Olivetti，N.；Verbrugge，R.；Negri，S.；Sandu，S.，模态逻辑进展13（2020），大学出版），115-132·Zbl 07585710号
[8] Botoeva，E。；科涅夫，B。；卢茨，C。；里日科夫，V。；Wolter，F。；Zakharyaschev，M.，《描述逻辑本体论的不可分割性和保守扩展：综述》（Pan，J.Z.；Calvanese，D.；Eiter，T.；Horrocks，I.；Kifer，M.；Lin，F。；赵毅，《推理网络：知识图构建和问答的逻辑基础——2016年第十二届国际暑期学校》，辅导讲座。推理网络：知识图构建和问答的逻辑基础——2016年第12届国际暑期学校，辅导讲座，英国阿伯丁，2016年9月5-9日。推理网络：知识图构建和问答的逻辑基础——2016年第12届国际暑期学校，辅导讲座。推理网络：知识图构建和问答的逻辑基础——2016年第12届国际暑期学校，教程讲座，英国阿伯丁，2016年9月5日至9日，计算机科学讲义，第9885卷（2016），施普林格），27-89·Zbl 1358.68282号
[9] Burgess，J.P.，分支时间的可判定性，Stud.Log。，39, 2-3, 203-218 (1980) ·兹比尔0467.03006
[10] Burris，S.，《鉴别器种类和符号计算》，J.Symb。计算。，13, 2, 175-207 (1992) ·Zbl 0803.08002号
[11] Carai，L。；Ghilardi，S.，存在闭Brouwerian半格（2017），在线阅读·Zbl 1453.06008号
[12] Carai，L。；Ghilardi，S.，存在闭Brouwerian半格，J.Symb。日志。，84, 4, 1544-1575 (2019) ·Zbl 1453.06008号
[13] Celani，S.，拟模态代数，数学。波昂。，126, 4, 721-736 (2001) ·Zbl 0999.06012
[14] 查格罗夫，A。；Zakharyaschev，M.，《模态逻辑》，《牛津逻辑指南》，第35卷（1997年），克拉伦登出版社：纽约克拉伦登出版公司·Zbl 0871.03007号
[15] Chang，C.C。；Keisler，J.H.，《模型理论》（1990），北荷兰特出版公司：北荷兰德出版公司阿姆斯特丹-隆登·Zbl 0697.03022号
[16] 达尼埃，L。；Junker，M.，各种co-Heyting代数的模型完成，霍斯特。数学杂志。，44, 1, 49-82 (2018) ·Zbl 1434.06001号
[17] de Rijke，M.，《不等式的模态逻辑》，J.Symb。日志。，57, 2, 566-584 (1992) ·Zbl 0788.03019号
[18] de Vries，H.，《紧空间与紧化》。代数方法（1962年），阿姆斯特丹大学，ILLC历史论文系列（HDS-23）
[19] 迪莫夫，G。；Vakarelov，D.，预接触代数的拓扑表示和Stone对偶理论的连接版本-I，Topol。申请。，227，64-101（2017）·Zbl 1377.54040号
[20] Esakia，L.，Heyting代数对偶理论，Logic-Studia Logica图书馆趋势，第50卷（2019年），Springer:Springer Cham·兹比尔1436.06001
[21] Gabbay，D.，《一个不自反引理及其在时态框架条件公理化中的应用》，（哲学逻辑方面。哲学逻辑方面，图宾根，1977年）。哲学逻辑方面。《哲学逻辑方面》，杜宾根，1977年，《综合图书馆》，第147卷（1981年），《赖德尔：赖德尔·多德雷赫特-博斯顿》，马萨诸塞州），67-89·Zbl 0519.03008号
[22] 加巴伊，D。；Hodkinson，I.，实数上的时态逻辑的公理化，J.Log。计算。，1, 2, 229-259 (1990) ·Zbl 0744.03018号
[23] Ghilardi，S.，《不可约模型和可定义嵌入》（1992年逻辑学术讨论会）。1992年逻辑学术讨论会，Veszprém，1992年。92年逻辑学术讨论会。1992年逻辑学术讨论会，韦斯普雷姆，1992年，逻辑语言信息研究。（1995），CSLI出版物：CSLI出版物。加利福尼亚州斯坦福），95-113·Zbl 0846.03033号
[24] 吉拉尔迪，S。；卢茨，C。；Wolter，F.，我破坏了我的本体吗？描述逻辑中保守扩展的一个例子（Patrick Doherty；John Mylopoulos；克里斯托弗·韦尔蒂（Christopher A.Welty），《第十届知识表示和推理原则国际会议论文集》。《第十届知识表示和推理原则国际会议论文集》，英国湖区，2006年6月2-5日（2006年），AAAI出版社，187-197年
[25] 吉拉尔迪，S。；卢茨，C。；Wolter，F。；Zakharyaschev，M.，模态逻辑的保守扩展，（Governatori，G.；Hodkinson，I.M.；Venema，Y.，《模态逻辑的进展》6（2006），大学出版物），187-207·Zbl 1148.03014号
[26] 吉拉尔迪，S。；Zawadowski，M.，Sheeves，Games，and Model CompletionsA Category Approach to Non-classical Proposition Logics，Trends in Logic-Studia Logica Library，vol.14（2002），Kluwer Academic Publishers:Kluwer-Academy Publishers-Dordrecht·Zbl 1036.03001号
[27] Jipsen，P.，《带有剩余算子的布尔代数的判别器变种》，（Rauszer，C.，《逻辑和计算机科学中的代数方法》，逻辑和计算机学中的代数法，巴纳赫中心出版物，第28卷（1993年），波兰科学院），239-252·Zbl 0794.06012号
[28] 科瓦尔斯基，T。；梅特卡夫，G.，《均匀插值与相干》，《纯应用年鉴》。日志。，170, 7, 825-841 (2019) ·Zbl 07049926号
[29] Lipparini，P.，《局部有限理论与模型伴侣》，国家实验室（Atti della Accademia Nazionale dei Lincei）。科学类Fische，Matematiche e Naturali。Rendiconti，第八辑，第72卷（1982年），林塞国家学院·Zbl 0524.03021号
[30] 卢茨，C。；Walther，D。；Wolter，F.，表达描述逻辑中的保守扩展，（Veloso，Manuela M.，IJCAI 2007，第20届国际人工智能联合会议论文集。IJCAI2007，第二十届国际人工智联席会议论文集，印度海得拉巴，2007年1月6日至12日（2007）），453-458
[31] Maksimova，L.L.，模态逻辑中的插值定理和拓扑布尔代数的可合并变种，代数对数。，18, 5, 556-586 (1979), 632 ·兹伯利0436.03011
[32] Maksimova，L.L.，模态逻辑中的插值定理。充分条件，代数对数。，194-213年2月19日（1980年），250-251·Zbl 0469.03011号
[33] 梅特卡夫，G。；Montagna，F.，《亚结构模糊逻辑》，J.Symb。日志。，72, 3, 834-864 (2007) ·Zbl 1139.03017号
[34] 梅特卡夫，G。；Reggio，L.，通用代数类的模型完备：必要和充分条件，J.Symb。日志。（2022），出版中
[35] Rybakov，V.，具有可容许性到有效性和统一性的通用公式的多模态和时间逻辑，J.Log。计算。，18, 4, 509-519 (2008) ·Zbl 1149.03017号
[36] Takeuti，G。；Titani，S.，直觉模糊逻辑和直觉模糊集理论，J.Symb。日志。，49, 3, 851-866 (1984) ·Zbl 0575.03015号
[37] Vakarelov，D.，《基于区域的空间理论：区域代数、表示理论和逻辑学》，（《应用逻辑的数学问题》，第二卷，《应用逻辑数学问题》（纽约），第5卷（2007年），施普林格：施普林格纽约），267-348·Zbl 1329.68246号
[38] Venema，Y.，《作为模态逻辑反公理的派生规则》，J.Symb。日志。，58, 3, 1003-1034 (1993) ·Zbl 0793.03017号
[39] Wheeler，W.H.，《存在完整结构中的模型组合和可定义性》，以色列。数学杂志。，25, 3-4, 305-330 (1976) ·Zbl 0398.03023号
[40] Wolter，F。；Zakharyaschev，M.，模态和描述逻辑的统一性和可容许性问题的不确定性，ACM Trans。计算。日志。，第9、4条，第25页（2008年）·Zbl 1367.03026号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。