Proof theory, semantics and algebra for normative systems

Reference : Proof theory, semantics and algebra for normative systems


	Document type :	Scientific journals : Article
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/23947

Title :	Proof theory, semantics and algebra for normative systems
Language :	English
Author, co-author :	Sun, Xin [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Publication date :	2015
Journal title :	Journal of logic and computation
Peer reviewed :	Yes
Audience :	International
Keywords :	[en] 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.
Permalink :	http://hdl.handle.net/10993/23947

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	Proof Theory, Semantics and Algebra for Normative Systems.pdf		Publisher postprint	345.03 kB	View/Open

All documents in ORBi^lu are protected by a user license.