The Logic of Categorial Grammars: Lecture Notes - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 2005

The Logic of Categorial Grammars: Lecture Notes


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.


Other [cs.OH]
Fichier principal
Vignette du fichier
RR-5703.pdf (654.12 Ko) Télécharger le fichier

Dates and versions

inria-00070313 , version 1 (19-05-2006)


  • HAL Id : inria-00070313 , version 1


Christian Retoré. The Logic of Categorial Grammars: Lecture Notes. RR-5703, INRIA. 2005, pp.105. ⟨inria-00070313⟩
148 View
1480 Download


Gmail Facebook Twitter LinkedIn More