Hybrid Type-Logical Grammars, First-Order Linear Logic and the Descriptive Inadequacy of Lambda Grammars
type: Dataset
description: 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.
issued: 2026-05-05T10:11:40.863034
language: en
modified: 2026-05-05T10:11:40.863039
contact point: Organization
  fn: CCSD
keyword: abstract-categorial-grammars
keyword: categorial-grammars
keyword: descriptive-inadequacy
keyword: hybrid-type-logical-grammars
keyword: infoeu-reposemanticsreport
keyword: infoinfo-clcomputer-science-cscomputation-and-language-cscl
keyword: lambda-grammars
keyword: linear-logic
keyword: reports
keyword: type-logical-grammars
landing page: https://hal.science/hal-00996724

Hybrid Type-Logical Grammars, First-Order Linear Logic and the Descriptive Inadequacy of Lambda Grammars
type: Distribution
format: HTML
issued: 2026-05-05T10:11:40.871474
modified: 2026-05-05T10:11:40.852808
access URL: https://hal.science/hal-00996724

test_moissonnage_selune
type: Agent