Article (Scientific journals)
Proof theory, semantics and algebra for normative systems
SUN, Xin
2015In Journal of logic and computation
Peer reviewed
 

Files


Full Text
Proof Theory, Semantics and Algebra for Normative Systems.pdf
Publisher postprint (353.31 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
normative system; input/output logic; deontic logic
Abstract :
[en] This paper 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 o ers a holistic perspective on normative systems. We use isomorphism and embedding of joining-system to discuss the similarity of normative systems.
Disciplines :
Computer science
Author, co-author :
SUN, Xin ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
no
Language :
English
Title :
Proof theory, semantics and algebra for normative systems
Publication date :
2015
Journal title :
Journal of logic and computation
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 27 January 2016

Statistics


Number of views
96 (7 by Unilu)
Number of downloads
328 (9 by Unilu)

WoS citations
 
1

Bibliography


Similar publications



Contact ORBilu