The Logic of Categorial Grammars: Lecture Notes
| hal.structure.identifier | Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES] | |
| dc.contributor.author | RETORÉ, Christian | |
| dc.date.accessioned | 2024-04-15T09:45:20Z | |
| dc.date.available | 2024-04-15T09:45:20Z | |
| dc.date.created | 2005-09 | |
| dc.date.issued | 2005-09 | |
| dc.identifier.uri | https://oskar-bordeaux.fr/handle/20.500.12278/197910 | |
| dc.description.abstractEn | These lecture notes present categorial grammars as deductive systems, and include detailed proofs of their main properties. The first chapter deals with Ajdukiewicz and Bar-Hillel categorial grammars (AB grammars), their relation to context-free grammars and their learning algorithms. The second chapter is devoted to the Lambek calculus as a deductive system; the weak equivalence with context free grammars is proved; we also define the mapping from a syntactic analysis to a higher-order logical formula, which describes the semantics of the parsed sentence. The third and last chapter is about proof-nets as parse structures for Lambek grammars; we show the linguistic relevance of these graphs in particular through the study of a performance question. Although definitions, theorems and proofs have been reformulated for pedagogical reasons, these notes contain no personnal result but in the proofnet chapter. | |
| dc.language.iso | en | |
| dc.subject.en | LOGIC | |
| dc.subject.en | PROOF THEORY | |
| dc.subject.en | FORMAL GRAMMAR | |
| dc.subject.en | COMPUTATIONAL LINGUISTICS | |
| dc.title.en | The Logic of Categorial Grammars: Lecture Notes | |
| dc.type | Rapport | |
| dc.subject.hal | Informatique [cs]/Autre [cs.OH] | |
| bordeaux.page | 105 | |
| bordeaux.hal.laboratories | Laboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800 | * |
| bordeaux.institution | Université de Bordeaux | |
| bordeaux.institution | Bordeaux INP | |
| bordeaux.institution | CNRS | |
| bordeaux.type.institution | INRIA | |
| hal.identifier | inria-00070313 | |
| hal.version | 1 | |
| hal.audience | Non spécifiée | |
| hal.origin.link | https://hal.archives-ouvertes.fr//inria-00070313v1 | |
| bordeaux.COinS | ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.date=2005-09&rft.spage=105&rft.epage=105&rft.au=RETOR%C3%89,%20Christian&rft.genre=unknown |
Fichier(s) constituant ce document
| Fichiers | Taille | Format | Vue |
|---|---|---|---|
|
Il n'y a pas de fichiers associés à ce document. |
|||