Show simple item record

hal.structure.identifierLinear logic, proof networks and categorial grammars [CALLIGRAMME]
dc.contributor.authorAMBLARD, Maxime
hal.structure.identifierLinguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
hal.structure.identifierStructures Formelles du Langage [SFL]
dc.contributor.authorLECOMTE, Alain
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
dc.date.accessioned2024-04-15T09:48:20Z
dc.date.available2024-04-15T09:48:20Z
dc.date.issued2010-12
dc.identifier.issn0098-9053
dc.identifier.urihttps://oskar-bordeaux.fr/handle/20.500.12278/198170
dc.description.abstractEnWe first recall some basic notions on minimalist grammars and on categorial grammars. Next we shortly introduce partially commutative linear logic, and our representation of minimalist grammars within this categorial system, the so-called categorial minimalist grammars. Thereafter we briefly present λμ-DRT (Discourse Representation Theory) an extension of λ-DRT (compositional DRT) in the framework of λμ calculus: it avoids type raising and derives different readings from a single semantic representation, in a setting which follows discourse structure. We run a complete example which illustrates the various structures and rules that are needed to derive a semantic representation from the categorial view of a transformational syntactic analysis.
dc.description.sponsorshipLocativité et Interaction en Logique, Linguistique et Informatique - ANR-10-BLAN-0212
dc.language.isoen
dc.publisherDavid R. Willingham
dc.subjectsyntax
dc.subjectsemantics
dc.subjectcategorial grammar
dc.subjectminimalist grammar
dc.subjectminimalism
dc.subjectDRT
dc.subjectlambda-DRT
dc.subjectMontague semantics
dc.subjectlinear logic
dc.title.enCategorial Minimalist Grammar: From Generative Syntax To Logical Form
dc.typeArticle de revue
dc.subject.halSciences de l'Homme et Société/Linguistique
dc.subject.halInformatique [cs]/Informatique et langage [cs.CL]
dc.subject.halSciences cognitives/Linguistique
dc.subject.halMathématiques [math]/Logique [math.LO]
dc.identifier.arxiv1012.2661
bordeaux.journalLinguistic Analysis
bordeaux.page273--306
bordeaux.volume36
bordeaux.hal.laboratoriesLaboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800*
bordeaux.issue1--4
bordeaux.institutionUniversité de Bordeaux
bordeaux.institutionBordeaux INP
bordeaux.institutionCNRS
bordeaux.peerReviewedoui
hal.identifierhal-00545748
hal.version1
hal.popularnon
hal.audienceInternationale
hal.origin.linkhttps://hal.archives-ouvertes.fr//hal-00545748v1
bordeaux.COinSctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.jtitle=Linguistic%20Analysis&rft.date=2010-12&rft.volume=36&rft.issue=1--4&rft.spage=273--306&rft.epage=273--306&rft.eissn=0098-9053&rft.issn=0098-9053&rft.au=AMBLARD,%20Maxime&LECOMTE,%20Alain&RETOR%C3%89,%20Christian&rft.genre=article


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record