Proof Theory, Semantics and Algebra for Normative Systems

DOI10.1007/978-3-642-40948-6_18MaRDI QIDQ2859108zbMATH OpenOpenAlexFDO

Authors Xin Sun

Publication date 6 November 2013

Published in Logic, Rationality, and Interaction (Search for Journal in Brave)

Full work available at URL http://orbilu.uni.lu/handle/10993/23947

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Proof theory, semantics and algebra for normative systems
• Algebraic semantics for deductive systems
• Proof-theoretic semantics and feasibility
• Proof systems for structured algebraic specifications: An overview
• scientific article; zbMATH DE number 4195154
• Proof Theories for Semilattice Logics
• Proof-theoretic semantics
• Proof-theoretic foundations of normal logic programs
• A semantical view of proof systems
• An extended framework for specifying and reasoning about proof systems

Cited in

(6)

• scientific article; zbMATH DE number 6345346 (Why is no real title available?)
• Proof theory, semantics and algebra for normative systems
• The theory of joining-systems
• An abstract definition of normative system
• Subordination algebras as semantic environment of input/output logic
• A concept approach to input/output logic

This page was built for publication: Proof Theory, Semantics and Algebra for Normative Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2859108)