Skip to main content
  • Textbook
  • © 2012

The Logic of Categorial Grammars

A deductive account of natural language syntax and semantics

  • Unique visibility
  • Up-to-date results
  • State-of-the-art research

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Buy it now

Buying options

eBook USD 59.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 79.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

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

Table of contents (7 chapters)

  1. Front Matter

  2. Classical Categorial Grammars: AB Grammars

    • Richard Moot, Christian RetorĂ©
    Pages 1-22
  3. A Logic for Categorial Grammars: Lambek’s Syntactic Calculus

    • Richard Moot, Christian RetorĂ©
    Pages 23-63
  4. Lambek Calculus and Montague Grammar

    • Richard Moot, Christian RetorĂ©
    Pages 65-99
  5. The Non-associative Lambek Calculus

    • Richard Moot, Christian RetorĂ©
    Pages 101-147
  6. The Multimodal Lambek Calculus

    • Richard Moot, Christian RetorĂ©
    Pages 149-191
  7. Lambek Calculus and Linear Logic: Proof Nets as Parse Structures

    • Richard Moot, Christian RetorĂ©
    Pages 193-238
  8. Back Matter

About this book

This book is intended for students in computer science, formal linguistics, mathematical logic and to colleagues interested in categorial grammars and their logical foundations. These lecture notes present categorial grammars as deductive systems, in the approach called parsing-as-deduction, and the book includes detailed proofs of their main properties. The papers are organized in topical sections on AB grammars, Lambek’s syntactic calculus, Lambek calculus and montague grammar, non-associative Lambek calculus, multimodal Lambek calculus, Lambek calculus, linear logic and proof nets and proof nets for the multimodal Lambek calculus.

Authors and Affiliations

  • LaBRI, Domaine Universitaire, Talence Cedex, France

    Richard Moot, Christian Retoré

Bibliographic Information

Buy it now

Buying options

eBook USD 59.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 79.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