Tesis doctoral de Mario Fadda
This thesis studies proof nets for several variants of the lambek calculus and their classical extensions. In the first part, beyond monomodality, the focus is on basic issues of the lambek calculus with/without permutation and associativity, combinations of these variants and the use of unary modalities. The second part, beyond multimodality, and the appendix are dedicated to three recent developments of the lambek calculus, namely the discontinuous calculus, pregroup grammars, and the lambek-grishin calculus. keywords: sublinear logic, multimodality, proof nets, lambek calculus, discontinuity, pregroups, grishin rules.
Datos académicos de la tesis doctoral «Geometry of grammar: exercices in lambek style«
- Título de la tesis: Geometry of grammar: exercices in lambek style
- Autor: Mario Fadda
- Universidad: Politécnica de catalunya
- Fecha de lectura de la tesis: 27/07/2010
Dirección y tribunal
- Director de la tesis
- Glyn Verden Morrill
- Tribunal
- Presidente del tribunal: michael Moortgat
- roberto Maieli (vocal)
- reinhard Muskens (vocal)
- philippe De groote (vocal)