Skip to main content
SpringerLink
Log in

Proof Theory, Semantics and Algebra for Normative Systems

  • Conference paper
Logic, Rationality, and Interaction (LORI 2013)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 8196))

Included in the following conference series:

  • 1098 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alchourron, C.E., Bulygin, E.: Normative Systems. Springer (1971)

    Google Scholar 

  2. Blackburn, P., De Rijke, M., Venema, Y.: Modal logic. Cambridge University Press (2001)

    Google Scholar 

  3. Lindahl, L., Odelstad, J.: An algebraic analysis of normative systems. Ratio Juris 13, 261–278 (2000)

    Article  Google Scholar 

  4. Lindahl, L., Odelstad, J.: Intermediaries and intervenients in normative systems. Journal of Applied Logic, 229–250 (2008)

    Google Scholar 

  5. Lindahl, L., Odelstad, J.: TJS. a formal framework for normative systems with intermediaries. In: Horty, J., Gabbay, D., Parent, X., van der Meyden, R., van der Torre, L. (eds.) Handbook of Deontic Logic and Normative Systems. College Publications (2013)

    Google Scholar 

  6. Makinson, D.: On a fundamental problem of deontic logic. In: Mc-Namara, P., Prakken, H. (eds.) Norms, Logics and Information Systems, pp. 29–53. IOS Press, Amsterdam (1999)

    Google Scholar 

  7. Makinson, D., van der Torre, L.: Input-output logics. Journal of Philosophical Logic 29, 383–408 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  8. Makinson, D., van der Torre, L.: Constraints for input/output logics. Journal of Philosophical Logic 30(2), 155–185 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  9. Makinson, D., van der Torre, L.: Permission from an input/output perspective. Journal of Philosophical Logic 32, 391–416 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  10. Makinson, D., van der Torre, L.: What is input/output logic? In: Lowe, B., Malzkorn, W., Rasch, T. (eds.) Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics, pp. 163–174 (2003)

    Google Scholar 

  11. Odelstad, J., Boman, M.: The role of connections as minimal norms in normative systems. In: Bench-Capon, T., Daskalopulu, A., Winkels, R. (eds.) Legal Knowledge and Information Systems. IOS Press, Amsterdam (2002)

    Google Scholar 

  12. Odelstad, J., Boman, M.: Algebras for agent norm-regulation. Annals of Mathematics and Artificial Intelligence 42, 141–166 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  13. Odelstad, J., Lindahl, L.: Normative systems represented by boolean quasi-orderings. Nordic Journal of Philosophical Logic 5, 161–174 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  14. Parent, X., van der Torre, L.: I/O logic. In: Horty, J., Gabbay, D., Parent, X., van der Meyden, R., van der Torre, L. (eds.) Handbook of Deontic Logic and Normative Systems. College Publications (2013)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Individual and Collective Reasoning Group, University of Luxembourg, Luxembourg

    Xin Sun

Authors
  1. Xin Sun
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Liverpool, Ashton Building, Ashton Street, L69 3BX, Liverpool, UK

    Davide Grossi

  2. Fakultät für Philosophie, Ludwig-Maximilians-Universität München, Geschwister-Scholl-Platz 1, 80539, München, Germany

    Olivier Roy

  3. Center for the Study of Language and Cognition, Zhejiang University, Xixi Campus, Tianmushan Road 148, 310028,, Hangzhou, China

    Huaxin Huang

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sun, X. (2013). Proof Theory, Semantics and Algebra for Normative Systems. In: Grossi, D., Roy, O., Huang, H. (eds) Logic, Rationality, and Interaction. LORI 2013. Lecture Notes in Computer Science, vol 8196. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40948-6_18

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-40948-6_18

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-40947-9

  • Online ISBN: 978-3-642-40948-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation