The Logic of Categorial Grammars

A Deductive Account of Natural Language Syntax and Semantics

  • Richard Moot
  • Christian Retoré

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6850)

Table of contents

  1. Front Matter
  2. Richard Moot, Christian Retoré
    Pages 1-22
  3. Richard Moot, Christian Retoré
    Pages 23-63
  4. Richard Moot, Christian Retoré
    Pages 65-99
  5. Richard Moot, Christian Retoré
    Pages 101-147
  6. Richard Moot, Christian Retoré
    Pages 149-191
  7. Richard Moot, Christian Retoré
    Pages 193-238
  8. Back Matter

About this book


This textbook is a contemporary, comprehensive introduction to categorial grammars in the logical tradition initiated by Lambek. It guides students and researchers through fundamental results, original developments and applications. Numerous examples and exercises underline the logical, computational and linguistic relevance of categorial grammars. Chapters: 1) AB grammars, 2) Lambek's Syntactic Calculus, 3) Lambek Calculus and Montague Grammar, 4) The non-associative Lambek calculus, 5) The multimodal Lambek calculus, 6) Proof nets for linear logic and the Lambek calculus, 7) Multimodal proof nets.


Lambek calculus computational linguistics linear logic natural language processing proof theory

Authors and affiliations

  • Richard Moot
    • 1
  • Christian Retoré
    • 1
  1. 1.LaBRI, Domaine UniversitaireTalence CedexFrance

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-31554-1
  • Online ISBN 978-3-642-31555-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site