Skip to main content
SpringerLink
Log in
Book cover

The Logic of Categorial Grammars

A deductive account of natural language syntax and semantics

  • Textbook
  • © 2012

Overview

Authors:
  1. Richard Moot

    1. LaBRI, Domaine Universitaire, Talence Cedex, France

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Christian Retoré

    1. LaBRI, Domaine Universitaire, Talence Cedex, France

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • 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)

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 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

Licence this eBook for your library

Institutional subscriptions

Table of contents (7 chapters)

  1. Front Matter

    Download chapter PDF

  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. Proof Nets for the Multimodal Lambek Calculus: From Theory to a Wide-Coverage Categorial Parser

    • Richard Moot, Christian RetorĂ©
    Pages 239-297

  9. Back Matter

    Download chapter PDF
Back to top

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation