The Logic of Categorial Grammars: Lecture Notes
RETORÉ, Christian
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
RETORÉ, Christian
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
< Reduce
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
Language
en
Rapport
This item was published in
2005-09p. 105
English Abstract
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 ...Read more >
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.Read less <
English Keywords
LOGIC
PROOF THEORY
FORMAL GRAMMAR
COMPUTATIONAL LINGUISTICS
Origin
Hal imported