Proof Theory, Semantics and Algebra for Normative Systems

Proof Theory, Semantics and Algebra for Normative Systems
复制标题

规范系统的证明理论、语义和代数

DOI：
10.1007/978-3-642-40948-6_18
复制
发表时间：
2013
期刊：
--
影响因子：
--
通讯作者：
Xin Sun
Xin Sun
中科院分区：
--
文献类型：
--
作者：
Xin Sun

文献摘要

被引文献

相似文献

本文报告了输入/输出逻辑与连接系统理论之间的对应结果。结果具有以下形式：每个范数 (a,x) 在逻辑上都可以从一组范数 Gif 中导出，并且仅当它位于由 G 代数生成的范数空间中时。
This paper reports correspondence results between input/ output logic and the theory of joining-systems. The results have the form: every norm (a,x) is logically derivable from a set of normsGif and only if it is in the space of norms algebraically generated byG.