Extraction in the Lambek-Grishin Calculus

A. Bastenhof

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review


    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 languageEnglish
    Title of host publicationInterfaces: Explorations in Logic, Language and Computation, ESSLLI 2008 and ESSLLI 2009 Student Sessions. Selected Papers.
    EditorsT Thomas Icard, R Reinhard Muskens
    Number of pages15
    Publication statusPublished - 2010


    Dive into the research topics of 'Extraction in the Lambek-Grishin Calculus'. Together they form a unique fingerprint.

    Cite this