Logic, Language and Reasoning

1. Front Matter

   Pages i-x

   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

    PDF

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.

• Parsing
• algorithms
• computational linguistics
• computer
• computer science
• database
• formal language
• formal languages
• linguistics
• logic

• King’s College, London, UK

  Hans Jürgen Ohlbach

• University of Stuttgart, Stuttgart, Germany

  Uwe Reyle

Policies and ethics