Description

Book Synopsis
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.

The Logic of Categorial Grammars: A deductive account of natural language syntax and semantics

Product form

£53.99

Includes FREE delivery

RRP £59.99 – you save £6.00 (10%)

Order before 4pm tomorrow for delivery by Mon 22 Dec 2025.

A Paperback by Richard Moot, Christian Retore

1 in stock


    View other formats and editions of The Logic of Categorial Grammars: A deductive account of natural language syntax and semantics by Richard Moot

    Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    Publication Date: 02/07/2012
    ISBN13: 9783642315541, 978-3642315541
    ISBN10: 3642315542
    Also in:
    Mathematical theory of computation Computational and corpus linguistics Linguistics

    Description

    Book Synopsis
    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.

    Recently viewed products

    © 2025 Book Curl

      • American Express
      • Apple Pay
      • Diners Club
      • Discover
      • Google Pay
      • Maestro
      • Mastercard
      • PayPal
      • Shop Pay
      • Union Pay
      • Visa

      Login

      Forgot your password?

      Don't have an account yet?
      Create account