Return to home page
Searching: Muskingum library catalog
Some OPAL libraries remain closed or are operating at reduced service levels. Materials from those libraries may not be requestable; requested items may take longer to arrive. Note that pickup procedures may differ between libraries. Please contact your library for new procedures, specific requests, or other assistance.
Record 2 of 5
  Previous Record Previous Item Next Item Next Record
  Reviews, Summaries, etc...
Author Moot, Richard.
Title The logic of categorial grammars : a deductive account of natural language syntax and semantics / Richard Moot, Christian Retore.
Imprint Berlin ; New York : Springer, 2012.

View online
View online
Author Moot, Richard.
Series Lecture notes in computer science, 1611-3349 ; 6850. Tutorial
FoLLI publications on logic, language and information
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science ; 6850. 1611-3349
Lecture notes in computer science. Tutorial.
Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Subject Computational linguistics.
Grammar, Comparative and general -- Grammatical categories.
Alt Name Retoré, Christian.
Description 1 online resource (xviii, 302 pages) : illustrations.
polychrome rdacc
Contents Classical Categorial Grammars: AB Grammars -- A Logic for Categorial Grammars: Lambek's Syntactic Calculus -- Lambek Calculus and Montague Grammar -- The Non-associative Lambek Calculus -- The Multimodal Lambek Calculus -- Lambek Calculus and Linear Logic: Proof Nets as Parse Structures -- Proof Nets for the Multimodal Lambek Calculus: From Theory to a Wide-Coverage Categorial Parser.
Bibliography Note Includes bibliographical references and index.
Summary Annotation 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, Lambeks 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.
Note English.
Online resource; title from PDF title page (SpringerLink, viewed Aug. 9, 2012).
ISBN 9783642315558 (electronic bk.)
3642315550 (electronic bk.)
ISBN/ISSN 10.1007/978-3-642-31555-8
OCLC # 798818294
Additional Format Printed edition: 9783642315541

If you experience difficulty accessing or navigating this content, please contact the OPAL Support Team