Skip to Main content Skip to Navigation
Journal articles

On the Membership Problem for Non-Linear Abstract Categorial Grammars

Sylvain Salvati 1
1 SIGNES - Linguistic signs, grammar and meaning: computational logic for natural language
CNRS - Centre National de la Recherche Scientifique : UMR5800, École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Inria Bordeaux - Sud-Ouest, Université Sciences et Technologies - Bordeaux 1
Abstract : In this paper we show that the membership problem for second order non- linear Abstract Categorial Grammars is decidable. A consequence of that result is that Montague-like semantics yield to a decidable text generation problem. Furthermore the proof we propose is based on a new tool, Higher Order Intersection Signatures, which grasps statically dynamic properties of λ-terms and presents an interest in its own.
Complete list of metadata

https://hal.inria.fr/inria-00446785
Contributor : Sylvain Salvati <>
Submitted on : Wednesday, January 13, 2010 - 7:07:10 PM
Last modification on : Thursday, February 11, 2021 - 2:52:01 PM
Long-term archiving on: : Thursday, October 18, 2012 - 12:25:16 PM

File

generation.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Sylvain Salvati. On the Membership Problem for Non-Linear Abstract Categorial Grammars. Journal of Logic, Language and Information, Springer Verlag, 2010, 19 (2), pp.163-183. ⟨10.1007/s10849-009-9110-0⟩. ⟨inria-00446785⟩

Share

Metrics

Record views

436

Files downloads

405