Skip to main content
SpringerLink
Log in

The Geometry and Algebra of Commitment

  • Chapter
Ludics, Dialogue and Interaction

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 6505))

Abstract

We propose a formal description, by means of graphical and categorical structures, of mechanisms for handling the dynamics of rights and obligations familiar in jurisprudence. We argue that the formal study of commitment in this setting can contribute new insights to the analysis of a large variety of communicative situations relevant to formal pragmatics.

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

Access this chapter

Log in via an institution
eBook
USD 16.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 16.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. Abramsky, S.: Retracing some paths in process algebra. In: Montanari, U., Sassone, V. (eds.) CONCUR 1996. LNCS, vol. 1119, pp. 1–17. Springer, Heidelberg (1996)

    Chapter  Google Scholar 

  2. Abramsky, S.: Petri nets, discrete physics, and distributed quantum computation. In: Degano, P., De Nicola, R., Bevilacqua, V. (eds.) Concurrency, Graphs and Models. LNCS, vol. 5065, pp. 527–543. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  3. Abramsky, S., Haghverdi, E., Scott, P.: Geometry of interaction and linear combinatory algebras. Mathematical Structures in Computer Science 12(5), 625–665 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  4. Baxter, W.: Early accounting: The tally and the checkerboard. The Accounting Historians Journal 16(2), 43–83 (1989)

    Article  Google Scholar 

  5. Braun, D.: Assets and liabilities are the momentum of particles and antiparticles displayed in Feynman-graphs. Physica A: Statistical Mechanics and its Applications 290(3-4), 491–500 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  6. Coecke, B.: Kindergarten quantum mechanics (2005), http://arxiv.org/abs/quant-ph/0510032

  7. Ellerman, D.P.: The mathematics of double entry bookkeeping. Mathematics Magazine 58(4), 226–233 (1985)

    Article  MathSciNet  Google Scholar 

  8. Feldman, D., Propp, J.: Producing new bijections from old. Advances in Mathematics 113, 1–44 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  9. Fischer, R., Braun, D.: Nontrivial bookkeeping: a mechanical perspective. Physica A: Statistical Mechanics and its Applications 324(1-2), 266–271 (2003)

    Article  MATH  Google Scholar 

  10. Girard, J.Y.: Geometry of interaction I: Interpretation of system F. In: Bonotto, C., Ferro, R., Valentini, S., Zanardo, A. (eds.) Logic Colloquium 1988, pp. 221–260. North-Holland, Amsterdam (1989)

    Google Scholar 

  11. Hamblin, C.: Fallacies. Methuen & Co., London (1970)

    Google Scholar 

  12. Joyal, A., Street, R., Verity, D.: Traced monoidal categories. Mathematical Proceedings of the Cambridge Philosophical Society 119, 447–468 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  13. Katis, P., Sabadini, N., Walters, R.: On partita doppia (1998) (unpublished)

    Google Scholar 

  14. Kelly, G.M., Mac Lane, S.: Coherence in closed categories. Journal of Pure and Applied Algebra 1, 97–140 (1971)

    Article  MathSciNet  MATH  Google Scholar 

  15. Lorenzen, P.: Ein dialogisches Konstructivitätskriterium. In: Infinitistic Methods, pp. 193–200. Pergamon Press and PWN, Oxford and Warsaw (1961)

    Google Scholar 

  16. Martí-Oliet, N., Meseguer, J.: From Petri nets to linear logic through categories: A survey. International Journal of Foundations of Computer Science 2(4), 297–399 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  17. Reisig, W.: Petri nets: an introduction. Springer, New York (1985)

    Book  MATH  Google Scholar 

  18. Robert, H.: Roberts Rules of Order. The Standard Guide to Parliamentary Procedure. Bantham Books, New York (1986)

    Google Scholar 

  19. Selinger, P.: A survey of graphical languages for monoidal categories (December 2008) (unpublished)

    Google Scholar 

  20. Walton, D.N., Krabbe, E.C.: Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning. State University of New York Press, Albany (1995)

    Google Scholar 

  21. Watzlawick, P., Beavin, J.H., Jackson, D.D.: Pragmatics of Human Communication. A Study of Interactional Patterns, Pathologies, and Paradoxes. W.W. Norton & Co., New York (1967)

    Google Scholar 

  22. Zimmermann, R.: The Law of Obligations: Roman Foundations of the Civilian Tradition. Oxford University Press, Oxford (1996)

    Book  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Università di Torino, Italy

    Felice Cardone

Authors
  1. Felice Cardone
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Laboratoire Structures Formelles du Langage, Université Paris 8, Bat D salle 324, 2 Rue de la Liberté, 93200, Saint Denis, France

    Alain Lecomte

  2. Résurgences/The NetLab.org, 111 Rue Consolat, 12001, Marseille, France

    Samuel Tronçon

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Cardone, F. (2011). The Geometry and Algebra of Commitment. In: Lecomte, A., Tronçon, S. (eds) Ludics, Dialogue and Interaction. Lecture Notes in Computer Science(), vol 6505. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-19211-1_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-19211-1_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-19210-4

  • Online ISBN: 978-3-642-19211-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation