We further develop the abstract algebraic logic approach to input/output logic initiated in \cite{wollic22}, where the family of selfextensional logics was proposed as a general background environment for input/output logics. In this paper, we introduce and discuss the generalizations of several types of permission (negative, dual negative, static, dynamic), as well as their interactions with normative systems, to various families of selfextensional logics, thereby proposing a systematic approach to the definition of normative and permission systems on nonclassical propositional bases.
翻译:本文进一步发展了在文献\cite{wollic22}中提出的输入/输出逻辑的抽象代数逻辑方法,该文献将自扩展逻辑族作为输入/输出逻辑的一般背景环境。本文引入并讨论了多种许可类型(否定许可、对偶否定许可、静态许可、动态许可)向不同自扩展逻辑族的推广,以及它们与规范系统的相互作用,从而提出了一种在非经典命题基础上定义规范与许可系统的系统化方法。