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 norms G if and only if it is in the space of norms algebraically generated by G. © 2013 Springer-Verlag.
CITATION STYLE
Sun, X. (2013). Proof theory, semantics and algebra for normative systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8196 LNCS, pp. 228–238). https://doi.org/10.1007/978-3-642-40948-6_18
Mendeley helps you to discover research relevant for your work.