Abstract
We propose an analysis of extraction in the Lambek-Grishin calculus (LG): a categorial type logic featuring subtractions, with proof-theoretic behavior dual to that of the usual implications. Our analysis rests on three pillars: Moortgat’s discontinuous type constructors; their decomposition in LG as proposed by Bernardi and Moortgat; and the polarity-sensitive double negation translations of Girard, Hoffman, Streicher and Lafont, inspiring the Montagovian semantics of our analysis. Characteristic of the latter is the use of logical constants for existential quantification and identity to identify the extracted argument with its associated gap.
| Original language | English |
|---|---|
| Title of host publication | Interfaces: Explorations in Logic, Language and Computation, ESSLLI 2008 and ESSLLI 2009 Student Sessions. Selected Papers. |
| Editors | T Thomas Icard, R Reinhard Muskens |
| Publisher | Springer |
| Pages | 57-71 |
| Number of pages | 15 |
| Publication status | Published - 2010 |