Towards abstract categorial grammars

Philippe de Groote (1)

1 CALLIGRAMME - Linear logic, proof networks and categorial grammars

We introduce a new categorial formalism based on intuitionistic linear logic. This formalism, which derives from current type-logical grammars, is abstract in the sense that both syntax and semantics are handled by the same set of primitives. As a consequence, the formalism is reversible and provides different computational paradigms that may be freely composed together.

Mots clés: categorial grammars; linguistique computationnelle; computational linguistics; grammaires catégorielles

Domaines: Autre [cs.OH]

Philippe de Groote. Towards abstract categorial grammars. Association for Computational Linguistics, 39th Annual Meeting and 10th Conference of the European Chapter, Jul 2001, Toulouse, France, France. pp.148-155, ⟨10.3115/1073012.1073045⟩. ⟨inria-00100529⟩