Livre: The logic of categorial grammars

[Thierry Hamon]

Date: Wed, 26 Sep 2012 18:27:24 +0200
From: Christian RETORE <christian.retore at labri.fr>
Message-Id: <4D5258DC-B213-4814-9856-197B58A9849D at labri.fr>
X-url: http://www.springer.com/computer/theoretical+computer+science/book/


Bonjour,

Nous avons pensé que la parution d'un ouvrage sur les grammaires
catégorielles pourrait retenir l'attention les abonnés de la liste LN,
en particulier aux linguistes informaticiens intéressés par le
traitement automatique de la syntaxe, de la sémantique et de leur
interface.

Amicalement, Richard Moot et Christian Retoré

The logic of categorial grammars:
a deductive account of natural language syntax and semantics
(R. Moot & Ch. Retoré)

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.

http://www.springer.com/computer/theoretical+computer+science/book/978-3-642-31554-1

-------------------------------------------------------------------------
Message diffuse par la liste Langage Naturel <LN at cines.fr>
Informations, abonnement : http://www.atala.org/article.php3?id_article=48
English version       : 
Archives                 : http://listserv.linguistlist.org/archives/ln.html
                                http://liste.cines.fr/info/ln

La liste LN est parrainee par l'ATALA (Association pour le Traitement
Automatique des Langues)
Information et adhesion  : http://www.atala.org/
-------------------------------------------------------------------------