戴维·梅金森;范德托雷、伦德特 输入/输出角度的权限。 （英语） Zbl 1028.03017号 J.菲洛斯。日志。 32，第4期，391-416（2003）. 这篇论文是作者系列论文中的第三篇（参见。Zbl 0964.03002号,Zbl 0993.03039号)基于类推理操作的输入/输出逻辑，其中输入不必是输出，输出不必作为输入循环使用。它们在道义逻辑中有着特殊的应用，其中输入/输出操作可能代表一个规范系统。以前的论文在这个框架内研究了附条件义务；本文讨论（有条件的）许可。这个概念比道义逻辑中通常考虑的更复杂。作者区分了三种条件许可、否定许可和两种积极许可。否定许可是禁止的缺失；这就是道义逻辑中通常呈现的内容。大致来说，静态积极许可是规范性代码明确允许的内容及其要求的结果。这就像是一种软弱的义务；它指导一个人的行动。大体上，动态积极许可是规范性代码中不可违背的，没有连贯性；这指导了代码制定者考虑更改规范主体。所有这三个概念都是根据输入/输出结构精确定义的，并研究了它们的形式属性，特别是它们所满足的推理规则以及它们从条件义务规则中公理化的方式。值得注意的是，两种积极许可之间的区别需要输入/输出逻辑的复杂性。附录总结了该框架的基本概念。审核人：L.F.Goble（塞勒姆） 引用于2评论引用于23文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 关键词：条件规范;道义逻辑;输入/输出逻辑;有条件许可 引文：Zbl 0964.03002号;兹比尔0993.03039 PDF格式BibTeX公司 XML格式引用 \textit{D.Makinson}和\textit{L.van der Torre}，J.Philos。日志。32，第4号，391--416（2003；Zbl 1028.03017） 全文： 内政部 参考文献： [1] Alchourrón，C.E.（1993）：道义逻辑和可解除条件逻辑的哲学基础，载于J.J.Meyer和R.J.Wieringa（编辑），《计算机科学中的道义逻辑：规范系统规范》，纽约威利。 [2] Alchourrón，C.E.和Bulygin，E.（1984）：许可和许可规范，收录于W.Krawietz等人（编辑），规范理论，Duncker&Humblot，柏林。 [3] Makinson，D.（1999）：关于道义逻辑的基本问题，见P.McNamara和H.Prakken（编辑），《规范、逻辑和信息系统》。道义逻辑和计算机科学新研究，前沿艺术。智力。申请。49，IOS出版社，阿姆斯特丹，第29-53页·Zbl 0943.03005号 [4] Makinson，D.和van der Torre，L.（2000）：输入/输出逻辑，J.Philos。逻辑29383–408·Zbl 0964.03002号 ·doi:10.1023/A:1004748624537 [5] Makinson，D.和van der Torre，L.（2001）：输入/输出逻辑的约束，J.Philos。逻辑30，155–185·Zbl 0993.03039号 ·doi:10.1023/A:1017599526096 [6] Makinson，D.和van der Torre，L.（2003）：什么是输入/输出逻辑？，《形式科学基础II：数学逻辑在哲学和语言学中的应用》，《逻辑趋势系列17》，Kluwer学术出版社，多德雷赫特，第163-174页·Zbl 1040.03023号 [7] 冯·赖特（1959）：《关于否定的逻辑》，《社会科学》，《费尼卡物理学与数学》。二十二、 4。 [8] 冯·赖特（1963）：《规范与行动》，劳特利奇出版社，伦敦。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。