Text Generation: Reexamining G-TAG with Abstract Categorial Grammars (G\'en\'eration de textes : G-TAG revisit\'e avec les Grammaires Cat\'egorielles Abstraites) [in French]

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

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 calcu…

Cobordisms and commutative categorial grammars

We propose a concrete surface representation of abstract categorial grammars in the category of word cobordisms or cowordisms for short, which are certain bipartite graphs decorated with words in a given alphabet, genera…

Abstract categorial grammars with island constraints and effective decidability

A well-known approach to treating syntactic island constraints in the setting of Lambek grammars consists in adding specific bracket modalities to the logic. We adapt this approach to abstract categorial grammars (ACG). …

Simulating Feature Structures with Simple Types

Feature structures have been several times considered to enrich categorial grammars in order to build fine-grained grammars. Most attempts to unify both frameworks either model categorial types as feature structures or a…

Constituency and Dependency Relationship from a Tree Adjoining Grammar and Abstract Categorial Grammars Perspective