hal-00607670, version 1

The logic of categorial grammars

Richard Moot ¹, Christian Retoré (, ) ¹

The logic of categorial grammars (2012) 300

• 1:  Laboratoire Bordelais de Recherche en Informatique (LaBRI)
• http://www.labri.fr
  CNRS : UMR5800 – Université Sciences et Technologies - Bordeaux I – École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) – Université Victor Segalen - Bordeaux II Domaine Universitaire 351, cours de la Libération 33405 Talence Cedex France

Bibliographic reference

• Type of document: Scientific Books
• Subject:

  Mathematics/Logic

  Computer Science/Computation and Language

  Computer Science/Logic in Computer Science

  Humanities and Social Sciences/Linguistics

• Title: The logic of categorial grammars
• Subtitle: a deductive account of natural language syntax and semantics
• Abstract: This book is a contemporary and comprehensive introduction to categorial grammars in the logical tradition initiated by the work of Lambek. It guides students and researchers through the fundamental results in the field, providing modern proofs of many classic theorems, as well as original recent advances. Numerous examples and exercises illustrate the motivations and applications of these results from a linguistic, computational and logical point of view. The Lambek calculus and its variants, and the corresponding grammars, are at the heart of these lecture notes. A chapter is devoted to a key feature of these categorial grammars: their very elegant syntax-semantic interface. In addition, we adapt linear logic proof nets to these calculi since they provide efficient parsing algorithms as exemplified in the Grail parser. This book shows how categorial grammars weave together converging ideas from formal linguistics, typed lambda calculus, Montague semantics, proof theory and linear logic, thus yielding a coherent and formally elegant framework for natural language syntax and semantics.
• Fulltext language: English
• DOI: 10.1007/978-3-642-31555-8
• ISBN: 978-3-642-31554-1
• Audience: international
• Commercial editor: Springer Verlag
• Publication date: 2012-07-23
• Page number: 300
• Serie: LNCS FOLLI 6850
• Keyword(s): logic – proof theory – substructural logic – computational linguistics – natural language processing – grammar – syntax – semantics – formal language theory
• Classification: AMS 03B47

• hal-00607670, version 1
• http://hal.archives-ouvertes.fr/hal-00607670
• oai:hal.archives-ouvertes.fr:hal-00607670
• From: Christian Retore <>
• Submitted on: Sunday, 10 July 2011 17:10:41
• Updated on: Thursday, 26 July 2012 13:43:38