Skip to main content

Logic, Language, and Information

  • Chapter
Relational Methods in Computer Science

Abstract

The rapidly evolving interdisciplinary field of Logic, Language and Information (LLI) treats a variety of topics, ranging from knowledge representation to the syntax, semantics and pragmatics of natural language. Moreover, it does so from a variety of perspectives. However, one word more than any other gives the flavour of much contemporary work in LLI: dynamics. The purpose of this chapter is twofold. First, we give an impression of what LLI is and why dynamics plays such a fundamental role there. Second, we relate the study of dynamics to relation algebra. The essential point that will emerge is that many LLI approaches to dynamics can be naturally viewed as explorations of fragments of relation algebra via their set-theoretic representations.

The research of the third author has been made possible by a fellowship of the Royal Netherlands Academy of Arts and Sciences.

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

Access this chapter

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.

Notes

  1. The research of the third author has been made possible by a fellowship of the Royal Netherlands Academy of Arts and Sciences.

    Google Scholar 

  2. Our presentation is not justified from the historical perspective. For instance, the idea of a relational interpretation of Lambek’s Calculus is due to [van Benthem 1989], 30 years after the introduction of the system by Lambek.

    Google Scholar 

Download references

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Wien

About this chapter

Cite this chapter

Blackburn, P., de Rijke, M., Venema, Y. (1997). Logic, Language, and Information. In: Brink, C., Kahl, W., Schmidt, G. (eds) Relational Methods in Computer Science. Advances in Computing Sciences. Springer, Vienna. https://doi.org/10.1007/978-3-7091-6510-2_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-7091-6510-2_14

  • Publisher Name: Springer, Vienna

  • Print ISBN: 978-3-211-82971-4

  • Online ISBN: 978-3-7091-6510-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics