Afficher la notice abrégée

hal.structure.identifierLinguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
hal.structure.identifierLaboratoire Bordelais de Recherche en Informatique [LaBRI]
dc.contributor.authorRETORÉ, Christian
hal.structure.identifierLinguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
hal.structure.identifierLaboratoire Bordelais de Recherche en Informatique [LaBRI]
dc.contributor.authorSALVATI, Sylvain
dc.date.accessioned2024-04-15T09:50:42Z
dc.date.available2024-04-15T09:50:42Z
dc.date.created2008
dc.date.issued2010-04
dc.identifier.issn0925-8531
dc.identifier.urihttps://oskar-bordeaux.fr/handle/20.500.12278/198365
dc.description.abstractEnThis paper solves a natural but still open question: can Abstract Categorial Grammars (ACGs) respresent usual categorial grammars? Despite their name and their claim to be a unifying framework, up to now there was no faithful representation of usual categorial grammars in ACGs. This paper shows that Non-Associative Lambek grammars as well as their derivations can be defined using ACGs of order two. To conclude, the outcomes of such a representation are discussed.
dc.language.isoen
dc.publisherSpringer Verlag
dc.subjectFormal grammars
dc.subjectLambda calculus
dc.subjectResource logics
dc.title.enA Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars
dc.typeArticle de revue
dc.subject.halInformatique [cs]/Informatique et langage [cs.CL]
dc.subject.halInformatique [cs]/Logique en informatique [cs.LO]
bordeaux.journalJournal of Logic, Language and Information
bordeaux.page185--200
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-00409557
hal.version1
hal.popularnon
hal.audienceInternationale
hal.origin.linkhttps://hal.archives-ouvertes.fr//inria-00409557v1
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=185--200&rft.epage=185--200&rft.eissn=0925-8531&rft.issn=0925-8531&rft.au=RETOR%C3%89,%20Christian&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