Scholarlink

<p>We further develop the abstract algebraic logic approach to input/output logic initiated in (De Domenico, International Workshop on Logic, Language, Information, and Computation 326–343, 2022), 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.</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Obligations and permissions on selfextensional logics

  • 期刊论文

  • 出版模式：

    开放获取

  • 发表日期：

    2025年8月22日

查看全文
  • Andrea De Domenico,
  • Ali Farjami,
  • Krishna Manoorkar,
  • Alessandra Palmigiano,
  • Mattia Panettiere,
  • Xiaolong Wang

摘要

We further develop the abstract algebraic logic approach to input/output logic initiated in (De Domenico, International Workshop on Logic, Language, Information, and Computation 326–343, 2022), 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.