×
安德烈亚·德·多梅尼科;阿里·法贾米;克里希纳·马诺卡尔;亚历山德拉·帕尔米吉亚诺;马蒂亚·帕内蒂埃;王晓龙

从属代数作为输入/输出逻辑的语义环境。 （英语） Zbl 1521.03032号

Ciabattoni，Agata（编辑）等人，《逻辑、语言、信息和计算》。第28届国际研讨会，WoLLIC 2022，Iași，罗马尼亚，2022年9月20日至23日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13468, 326-343 (2022).
本文的目的是在两种截然不同的结构之间建立联系。其中之一是输入/输出逻辑，由审查人员和L.范德托雷[J.Philos.Log.29，第4期，383–408（2000年；Zbl 0964.03002号)]分析规范体系的结构。另一种是在模态逻辑语义的研究过程中产生的，有几个名称和等价的表示形式：拟模态代数、预接触代数和从属代数，这三种形式中的第一种由S.塞拉尼[Math.Bohem.126，第4期，721–736（2001；Zbl 0999.06012)]在其他两种形式中G.迪莫夫和D.瓦卡列洛夫【Lect.Notes Compute.Sci.3929，1-16（2006；Zbl 1185.68665号)]和G.贝扎尼什维利等【申请分类结构25，第3号，381-401（2017；兹比尔1425.54006)]. 本文遵循第三个演示文稿的精神，使用它定义输入/输出逻辑的语义，并应用连接从另一方的已知结果中获取每一方的新结果。这项工作是在输入/输出逻辑和从属代数的定义下进行的，它们分别从经典逻辑和布尔代数的原始上下文推广到任意自扩张逻辑和分配格的上下文。
关于整个系列，请参见[Zbl 1511.03002号].
审核人：David Makinson（伦敦）

理学硕士：

03B45号 模态逻辑（包括规范逻辑）

关键词：

输入/输出逻辑;从属代数;拟模态代数;预接触代数;模态逻辑

引文：

Zbl 0964.03002号;Zbl 0999.06012;Zbl 1185.68665号;Zbl 1425.54006号

软件：

流浪汉
PDF格式BibTeX公司 XML格式引用
\textit{A.De Domenico}等人，Lect。注释计算。科学。13468，326--343（2022；Zbl 1521.03032）
全文： 内政部 arXiv公司 链接

参考文献：

[1] Alchourrón，C。；Bulygin，E.，《规范体系》（1971），威恩，纽约：施普林格，威恩·Zbl 0231.02006号 ·doi:10.1007/978-3-7091-7118-9
[2] Bellomarini，L.，Benedetto，D.，Gottlob，G.，Sallinger，E.：Vadalog：一种使用大型知识图进行自动推理的现代架构。信息系统。105, 101528 (2020)
[3] Benzmüller，C。；Farjami，A。；Meder，P.等人。；HOL中的Parent，X.，I/O逻辑，J.Appl。日志。-IfCoLoG J.日志。申请。（具体发行原因。法律授权），6，5，715-732（2019）·Zbl 1513.03040号
[4] Bezhanishvili，G。；北卡罗来纳州贝扎尼什维利。；Sourabh，S。；Venema，Y.，不可约等价关系，格里森空间和德弗里斯对偶，应用。分类结构。，25, 3, 381-401 (2017) ·Zbl 1425.54006号 ·doi:10.1007/s10485-016-9434-2
[5] Boella，G.，van der Torre，L.：规范性多主体系统中的规范性和结构性规范。摘自：《第九届知识表示与推理原则国际会议论文集》（KR 2004）。《第九届知识表示和推理原则国际会议记录》（KR 2004），第4卷，第255-265页。AAAI出版社（2004）
[6] Celani，S.，拟模态代数，数学。Bohemica，126，4721-736（2001）·Zbl 0999.06012 ·doi:10.21136/MB.2001.134115
[7] Celani，S.：布尔代数中的预接触关系和准模算子。《第十三届国会法案》，安东尼奥·A.R.蒙蒂罗十三博士，第63-79页（2016年）·Zbl 1375.06012号
[8] Celani，S.：有界分配格上的从属。订单（2022）。doi:10.1007/s11083-021-09580-5·Zbl 07701682号
[9] 康拉德，W。；吉拉尔迪，S。；Palmigiano，A。；Baltag，A。；Smets，S.，《统一通信》，Johan van Benthem on Logic and Information Dynamics，933-975（2014），Cham:Springer，Cham·Zbl 1344.03023号 ·doi:10.1007/978-3-319-06025-5_36
[10] 康拉德，W。；Palmigiano，A.，分配模态逻辑的算法对应性和规范性，Ann.纯粹应用。日志。，163, 3, 338-376 (2012) ·Zbl 1255.03030号 ·doi:10.1016/j.apal.2011.10.004
[11] 康拉德，W。；Palmigiano，A.，《非分配逻辑的算法对应和规范性》，Ann.Pure Appl。日志。，170, 9, 923-974 (2019) ·Zbl 1477.03046号 ·doi:10.1016/j.apal.2019.04.003
[12] Conradie，W.，Palmigiano，A.：归纳不等式的构造性规范。日志。方法计算。科学。16, 8:1-8:39 (2020) ·Zbl 07243670号
[13] De Rudder，L.，Hansoul，G.，Stetenfeld，V.：模态逻辑中的从属代数。arXiv预印本arXiv:2004.14919（2020）
[14] De Rudder，L。；Palmigiano，A.，分析归纳不等式的倾斜规范性，ACM Trans。计算。日志。（TOCL），22，3，1-41（2021）·Zbl 1505.03051号 ·数字对象标识代码：10.1145/3460973
[15] 迪莫夫，G。；瓦卡列洛夫，D。；西麦考尔。；温特，M。；Düntsch，I.，预接触代数的拓扑表示，计算机科学中的关系方法，1-16（2006），海德堡：施普林格·Zbl 1185.68665号 ·doi:10.1007/11734673_1
[16] 邓恩，JM；Gehrke，M。；Palmigiano，A.，一些子结构逻辑的规范扩展和关系完备性，J.Symb。日志。，70, 3, 713-740 (2005) ·Zbl 1101.03021号 ·doi:10.2178/jsl/1122038911
[17] Farjami，A.：讨论性输入/输出逻辑：道义模型和计算。卢森堡大学博士论文（2020年）
[18] Farjami，A.：LogiKEy框架中伦理和法律推理的新代数规范理论。arXiv预印本arXiv：2107.11838（2021）
[19] 字体，JM；Jansana，R。；Pigozzi，D.，《抽象代数逻辑综述》，Stud.Log。，74, 1, 13-97 (2003) ·Zbl 1057.03058号 ·doi:10.1023/A:1024621922509
[20] Gabbay，D.，Parent，X.，van der Torre，L.：I/O逻辑的几何视图。arXiv预印arXiv:1911.12837（2019）
[21] 格雷科·G。；马，M。；Palmigiano，A。；Tzimoulis，A。；Zhao，Z.，作为证明理论工具的统一通信，J.Log。计算。，28, 7, 1367-1442 (2018) ·Zbl 1444.03055号
[22] Jansana，R。；Palmigiano，A.，《指称语义：二元性和应用》，众议员数学。日志。，41, 63-93 (2006) ·Zbl 1136.03010号
[23] Lellmann，B。；Das，A。；Negri，S.，《通过序列从输入/输出逻辑到条件逻辑——使用证明程序，使用分析表和相关方法的自动推理》，147-164（2021），Cham:Springer，Cham·Zbl 07532514号 ·doi:10.1007/978-3-030-86059-29
[24] Lindahl，L.，Odelstad，J.：联合系统理论。收录于：Gabbay，D.，Horty，J.，Parent，X.，van der Meyden，R.，van de Torre，L.（编辑）《道义逻辑和规范系统手册》，第1卷，第545-634页。学院出版物（2013）·Zbl 1367.03042号
[25] 梅金森，D。；van der Torre，L.，输入/输出逻辑，J.Philos。日志。，29, 4, 383-408 (2000) ·Zbl 0964.03002号 ·doi:10.1023/A:1004748624537
[26] 梅金森，D。；van der Torre，L.，《输入/输出逻辑的约束》，J.Philos。日志。，30, 2, 155-185 (2001) ·Zbl 0993.03039号 ·doi:10.1023/A:1017599526096
[27] Makinson博士。；van der Torre，L.，《从输入/输出的角度看许可》，J.Philos。日志。，32, 4, 391-416 (2003) ·Zbl 1028.03017号 ·doi:10.1023/A:1024806529939
[28] Olszewski，M.，Parent，X.，van der Torre，L.：输入/输出逻辑与权限的一致性检查。收录于：Liu，F.，Marra，A.，Portner，P.，Putte，F.V.D.（编辑）《道义逻辑和规范系统——第十五届国际会议》，DEON 2020/2021，德国慕尼黑，2021年7月21日至24日，第358-375页。学院出版物（2021）·Zbl 07655717号
[29] Parent，X.，直觉输入/输出操作的模态转换，J.Appl。日志。-IfCoLoG J.日志。申请。（规范问题直觉模态日志应用），8，8，2350-2362（2021）·Zbl 1515.03103号
[30] 父母X。；加巴伊，D。；托瑞，L。；Hansson，SO，输入/输出逻辑的直觉主义基础，David Makinson on Classical Methods for Non-Classical Problems，263-286（2014），Dordrecht:Springer，Dordracht·Zbl 1311.03041号 ·数字对象标识代码：10.1007/978-94-007-7759-0_13
[31] Parent，X.，van der Torre，L.：具有一致性检查的I/O逻辑。收录于：Broersen，J.、Condoravdi，C.、Nair，S.、Pigozzi，G.（编辑）《道义逻辑和规范系统——第14届国际会议》，2018年7月3日至6日，荷兰乌得勒支，第285-299页。学院出版物（2018）·Zbl 1418.03098号
[32] 罗巴尔多，L。；巴托里尼，C。；巴尔米拉尼，M。；罗西，A。；Martoni，M。；Lenzini，G.，《在具体化I/O逻辑中规范GDPR规定：DAPRECO知识库》，J.Log。语言信息，29，401-449（2019）·Zbl 1477.68299号 ·doi:10.1007/s10849-019-09309-z
[33] Steen，A.：输入/输出逻辑的目标导向决策程序。摘自：《道义逻辑和规范体系：第十五届国际会议》（DEON 2020/2021），第1-13页。学院出版物（2021）·Zbl 07655720号
[34] Stolpe，A.，《输入/输出逻辑的概念方法》，J.Appl。日志。，1239-258年3月13日（2015年）·Zbl 1378.03020号 ·doi:10.1016/j.jal.2015.04.002
[35] 斯特拉，C。；贝拉恩，M。；van de Putte，F.，输入/输出逻辑的自适应逻辑表征，Stud.Log。，104, 5, 869-916 (2016) ·Zbl 1364.03034号 ·doi:10.1007/s11225-016-9656-1
[36] Sun，X.，证明理论，规范系统的语义和代数，J.Log。计算。，28, 8, 1757-1779 (2018) ·Zbl 1444.03076号 ·doi:10.1093/log.com/exv022
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。