The Logic of Categorial Grammars [electronic resource] : A deductive account of natural language syntax and semantics /

By:

Moot, Richard [author.]

Contributor(s):

Material type: Text

TextSeries: Theoretical Computer Science and General Issues ; 6850Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Edition: 1st ed. 2012Description: X, 300 p. 69 illus. online resourceContent type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9783642315558

Subject(s):

Additional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification:

005.131 23

LOC classification:

QA267-268.5

Online resources:

Click here to access online

In: Springer Nature eBookSummary: 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.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

No physical items for this record

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.

There are no comments on this title.

to post a comment.