Abstract
We propose an analysis of extraction in the Lambek-Grishin calculus (LG): a categorial type logic featuring subtractions A ⊘ B and B A, with proof-theoretic behavior dual to that of the usual implications A/B, B \ A. Our analysis rests on three pillars: Moortgat’s discontinuous type constructors [6]; their decomposition in LG as proposed by Bernardi and Moortgat [1]; and the polarity-sensitive double negation translations of [3] and [5], 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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bernardi, R., Moortgat, M.: Continuation semantics for symmetric categorial grammar. In: Leivant, D., de Queiroz, R.J.G.B. (eds.) WoLLIC 2007. LNCS, vol. 4576, pp. 53–71. Springer, Heidelberg (2007)
De Groote, P., Lamarche, F.: Classical non-associative lambek calculus. Studia Logica 71, 355–388 (2002)
Girard, J.-Y.: A new constructive logic: Classical logic. Mathematical Structures in Computer Science 1(3), 255–296 (1991)
Grishin, V.N.: On a generalization of the Ajdukiewicz-Lambek system. In: Mikhailov, A.I. (ed.) Studies in Nonclassical Logics and Formal Systems, Nauka, Moscow, pp. 315–334 (1983)
Lafont, Y., Reus, B., Streicher, T.: Continuation semantics or expressing implication by negation. Technical report, Ludwig-Maximilians-Universität, München (1993)
Moortgat, M.: Generalized quantifiers and discontinuous type constructors. In: Horck, A., Sijtsma, W. (eds.) Discontinuous Constituency, pp. 181–208. Mouton de Gruyter, Berlin (1992)
Moortgat, M.: Categorial type logics. In: van Benthem, J.F.A.K., ter Meulen, G.B.A. (eds.) Handbook of Logic and Language, pp. 93–177. Elsevier, Amsterdam (1997)
Moortgat, M.: Symmetries in natural language syntax and semantics: The Lambek-Grishin calculus. In: Leivant, D., de Queiroz, R.J.G.B. (eds.) WoLLIC 2007. LNCS, vol. 4576, pp. 264–284. Springer, Heidelberg (2007)
Moortgat, M., Pentus, M.: Type similarity for the Lambek–Grishin calculus. In: Proceedings 12th conference on formal grammar (2007)
Moot, R.: Proof nets for display logic. CoRR, abs/0711.2444 (2007)
Shan, C.-C.: A continuation semantics of interrogatives that accounts for Baker’s ambiguity. In: Jackson, B. (ed.) Proceedings of SALT XII: semantics and linguistic theory, pp. 246–265 (2002)
Vermaat, W.: The logic of variation. A cross-linguistic account of wh-question formation. PhD thesis, Utrecht Institute of Linguistics OTS, Utrecht University (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bastenhof, A. (2010). Extraction in the Lambek-Grishin Calculus. In: Icard, T., Muskens, R. (eds) Interfaces: Explorations in Logic, Language and Computation. ESSLLI ESSLLI 2008 2009. Lecture Notes in Computer Science(), vol 6211. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14729-6_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-14729-6_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14728-9
Online ISBN: 978-3-642-14729-6
eBook Packages: Computer ScienceComputer Science (R0)