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
Université Sciences et Technologies - Bordeaux 1, Inria Bordeaux - Sud-Ouest, École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), CNRS - Centre National de la Recherche Scientifique : UMR5800
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
Contributor : Sylvain Salvati Connect in order to contact the contributor
Submitted on : Wednesday, January 13, 2010 - 7:07:10 PM
Last modification on : Saturday, June 25, 2022 - 10:31:58 AM
Long-term archiving on: : Thursday, October 18, 2012 - 12:25:16 PM


Files produced by the author(s)




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⟩



Record views


Files downloads