• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of logic and computation >Proof theory, semantics and algebra for normative systems
【24h】

Proof theory, semantics and algebra for normative systems

机译：规范系统的证明理论，语义和代数

获取原文
获取原文并翻译 | 示例
       
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

This article reports a correspondence between input/output logic and the theory of joining-system, an algebraic approach to normative system. The results have the form: every norm (a, x) is logically derivable from a set of norms G if and only if it is in the space of norms algebraically generated by G. We present three versions of correspondence: input/output logic and Boolean joining-system, intuitionistic input/output logic and Heyting joining-system, quasi input/output logic and quasi joining-system. The algebraic approach offers a holistic perspective on normative systems. We use isomorphism and embedding of joining-system to discuss the similarity of normative systems.
机译：本文报告了输入/输出逻辑与联接系统理论（规范系统的代数方法）之间的对应关系。结果具有以下形式：每个规范（a，x）在逻辑上可以从一组规范G导出，当且仅当它在G代数生成的规范的空间内。我们提供了三种对应关系的版本：输入/输出逻辑和布尔连接系统，直观的输入/输出逻辑和Heyting连接系统，准输入/输出逻辑和准连接系统。代数方法为规范系统提供了整体视角。我们使用同构和连接系统的嵌入来讨论规范系统的相似性。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号