Skip to main content
SpringerLink
Log in

Logic, Language and Reasoning

Essays in Honour of Dov Gabbay

  • Book
  • © 1999

Overview

Editors:
  1. Hans Jürgen Ohlbach

    1. King’s College, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Uwe Reyle

    1. University of Stuttgart, Stuttgart, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Trends in Logic (TREN, volume 5)

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

Access this book

Log in via an institution
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

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (16 chapters)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Dov Gabbay: “I am a Logic”

    • Jelle Gerbrandy, Anne-Marie Mineur
    Pages 1-12

  3. Research Themes of Dov Gabbay

    • Hans Jürgen Ohlbach, Uwe Reyle
    Pages 13-30

  4. Proofs, Labels and Dynamics in Natural Language

    • Johan Van Benthem
    Pages 31-41

  5. What a Linguist Might Want from a Logic of Most and Other Generalized Quantifiers

    • Hans Kamp
    Pages 43-72

  6. Imperative History: Two-Dimensional Executable Temporal Logic

    • Marcelo Finger, Mark Reynolds
    Pages 73-98

  7. Diagrammatic Reasoning in Projective Geometry

    • Philippe Balbiani, Luis Fariñas del Cerro
    Pages 99-114

  8. On Sentences of the Kind “Sentence ‘P’ is about Topic T”

    • Robert Demolombe, Andrew J. I. Jones
    Pages 115-133

  9. Two Traditions in the Logic of Belief: Bringing them Together

    • Krister Segerberg
    Pages 135-147

  10. Elimination of Predicate Quantifiers

    • Andreas Nonnengart, Hans Jürgen Ohlbach, Andrzej Szałas
    Pages 149-171

  11. Labelled Natural Deduction

    • Ruy J. G. B. De Queiroz, Dov M. Gabbay
    Pages 173-250

  12. A General Reasoning Scheme for Underspecified Representations

    • Esther König, Uwe Reyle
    Pages 251-277

  13. Deductive Systems and Categories in Linguistics

    • Joachim Lambek
    Pages 279-294

  14. Towards a Procedural Model of Natural-Language Interpretation Crossover: A Case Study

    • Ruth Kempson
    Pages 295-334

  15. Transformation Methods in LDS

    • Krysia Broda, Marcello D’Agostino, Alessandra Russo
    Pages 335-376

  16. Labelled Deduction in the Composition of Form and Meaning

    • Michael Moortgat
    Pages 377-399

  17. Formalisms for Non-Formal Languages

    • Julius M. Moravcsik
    Pages 401-415

  18. Back Matter

    Pages 417-429
    Download chapter PDF
Back to top

Keywords

About this book

th This volume is dedicated to Dov Gabbay who celebrated his 50 birthday in October 1995. Dov is one of the most outstanding and most productive researchers we have ever met. He has exerted a profound influence in major fields of logic, linguistics and computer science. His contributions in the areas of logic, language and reasoning are so numerous that a comprehensive survey would already fill half of this book. Instead of summarizing his work we decided to let him speak for himself. Sitting in a car on the way to Amsterdam airport he gave an interview to Jelle Gerbrandy and Anne-Marie Mineur. This recorded conversation with him, which is included gives a deep insight into his motivations and into his view of the world, the Almighty and, of course, the role of logic. In addition, this volume contains a partially annotated bibliography of his main papers and books. The length of the bibliography and the broadness of the topics covered there speaks for itself.

Editors and Affiliations

  • King’s College, London, UK

    Hans Jürgen Ohlbach

  • University of Stuttgart, Stuttgart, Germany

    Uwe Reyle

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation