On the Membership Problem for Non-Linear Abstract Categorial Grammars
| hal.structure.identifier | Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES] | |
| dc.contributor.author | SALVATI, Sylvain | |
| dc.date.accessioned | 2024-04-15T09:49:49Z | |
| dc.date.available | 2024-04-15T09:49:49Z | |
| dc.date.created | 2008 | |
| dc.date.issued | 2010-04 | |
| dc.identifier.issn | 0925-8531 | |
| dc.identifier.uri | https://oskar-bordeaux.fr/handle/20.500.12278/198288 | |
| dc.description.abstractEn | 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. | |
| dc.language.iso | en | |
| dc.publisher | Springer Verlag | |
| dc.subject.en | lambda-calculus | |
| dc.subject.en | Montague semantics | |
| dc.subject.en | text generation | |
| dc.subject.en | intersection types | |
| dc.title.en | On the Membership Problem for Non-Linear Abstract Categorial Grammars | |
| dc.type | Article de revue | |
| dc.identifier.doi | 10.1007/s10849-009-9110-0 | |
| dc.subject.hal | Informatique [cs]/Informatique et langage [cs.CL] | |
| dc.subject.hal | Informatique [cs]/Logique en informatique [cs.LO] | |
| dc.subject.hal | Mathématiques [math]/Logique [math.LO] | |
| bordeaux.journal | Journal of Logic, Language and Information | |
| bordeaux.page | 163-183 | |
| bordeaux.volume | 19 | |
| bordeaux.hal.laboratories | Laboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800 | * |
| bordeaux.issue | 2 | |
| bordeaux.institution | Université de Bordeaux | |
| bordeaux.institution | Bordeaux INP | |
| bordeaux.institution | CNRS | |
| bordeaux.peerReviewed | oui | |
| hal.identifier | inria-00446785 | |
| hal.version | 1 | |
| hal.popular | non | |
| hal.audience | Internationale | |
| hal.origin.link | https://hal.archives-ouvertes.fr//inria-00446785v1 | |
| bordeaux.COinS | ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.jtitle=Journal%20of%20Logic,%20Language%20and%20Information&rft.date=2010-04&rft.volume=19&rft.issue=2&rft.spage=163-183&rft.epage=163-183&rft.eissn=0925-8531&rft.issn=0925-8531&rft.au=SALVATI,%20Sylvain&rft.genre=article |
Fichier(s) constituant ce document
| Fichiers | Taille | Format | Vue |
|---|---|---|---|
|
Il n'y a pas de fichiers associés à ce document. |
|||