Hybrid Type-Logical Grammars, First-Order Linear Logic and the Descriptive Inadequacy of Lambda Grammars

Richard Moot (1)

1 LaBRI - Laboratoire Bordelais de Recherche en Informatique

In this article we show that hybrid type-logical grammars are a fragment of first-order linear logic. This embedding result has several important consequences: it not only provides a simple new proof theory for the calculus, thereby clarifying the proof-theoretic foundations of hybrid type-logical grammars, but, since the translation is simple and direct, it also provides several new parsing strategies for hybrid type-logical grammars. Second, NP-completeness of hybrid type-logical grammars follows immediately. The main embedding result also sheds new light on problems with lambda grammars/abstract categorial grammars and shows lambda grammars/abstract categorial grammars suffer from problems of over-generation and from problems at the syntax-semantics interface unlike any other categorial grammar.

Mots clés: abstract categorial grammars; lambda grammars; categorial grammars; type-logical grammars; Hybrid Type-Logical Grammars; linear logic; descriptive inadequacy

Domaines: Informatique et langage [cs.CL]

Richard Moot. Hybrid Type-Logical Grammars, First-Order Linear Logic and the Descriptive Inadequacy of Lambda Grammars. [Research Report] arXiv. 2014. ⟨hal-00996724⟩