Afficher la notice abrégée

hal.structure.identifierLinguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
dc.contributor.authorSALVATI, Sylvain
dc.date.accessioned2024-04-15T09:49:49Z
dc.date.available2024-04-15T09:49:49Z
dc.date.created2008
dc.date.issued2010-04
dc.identifier.issn0925-8531
dc.identifier.urihttps://oskar-bordeaux.fr/handle/20.500.12278/198288
dc.description.abstractEnIn 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.isoen
dc.publisherSpringer Verlag
dc.subject.enlambda-calculus
dc.subject.enMontague semantics
dc.subject.entext generation
dc.subject.enintersection types
dc.title.enOn the Membership Problem for Non-Linear Abstract Categorial Grammars
dc.typeArticle de revue
dc.identifier.doi10.1007/s10849-009-9110-0
dc.subject.halInformatique [cs]/Informatique et langage [cs.CL]
dc.subject.halInformatique [cs]/Logique en informatique [cs.LO]
dc.subject.halMathématiques [math]/Logique [math.LO]
bordeaux.journalJournal of Logic, Language and Information
bordeaux.page163-183
bordeaux.volume19
bordeaux.hal.laboratoriesLaboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800*
bordeaux.issue2
bordeaux.institutionUniversité de Bordeaux
bordeaux.institutionBordeaux INP
bordeaux.institutionCNRS
bordeaux.peerReviewedoui
hal.identifierinria-00446785
hal.version1
hal.popularnon
hal.audienceInternationale
hal.origin.linkhttps://hal.archives-ouvertes.fr//inria-00446785v1
bordeaux.COinSctx_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

FichiersTailleFormatVue

Il n'y a pas de fichiers associés à ce document.

Ce document figure dans la(les) collection(s) suivante(s)

Afficher la notice abrégée