Type logic served by co-Merge, Merge and Move: an account for sluicing and questions of `common European' and Japanese types

Zakharyaschev, Ivan (2007) Type logic served by co-Merge, Merge and Move: an account for sluicing and questions of `common European' and Japanese types. [Conference Paper] (Unpublished)

Full text available as:

PDF (handout (updated)) - Presentation
Available under License Creative Commons Attribution Share Alike.

PDF (abstract (2 pages)) - Updated Version
Available under License Creative Commons Attribution Share Alike.

[img] ASCII (remarks (postscriptum, 2011-04-24)) - Other
Available under License Creative Commons Attribution Share Alike.



We explore the power of type-logical grammar as a linguistic theory, specifically, of a new tentative development inside the framework—a “symmetricized” Lambek Calculus, due to [Moortgat2005]. The basis for our discussion is an account we give for constructions involving questions and—in particular—involving sluicing; it seeks to solve puzzles these constructions have been setting for linguistic theory. Two things in the organization of grammar are of interest here: first, a uniform system joining structures from the surface side (syntactic) and structures from the “mind side” (discourse)—we call MERGE and co-MERGE the relations by which the former and the latter structures are arranged; second, a view on the circumstances of performing MOVE (by Syntax) from the type-logical perspective. As it is usual for type-logical grammars, the theory is conscious of semantics. We refer to examples from Japanese, on one side, and from English and Russian, on the other.

Item Type:Conference Paper
Additional Information:The Russian spelling of the author's name is: Иван Захарьящев
Keywords:Non-associative Lambek calculus; Symmteric Non-associative Lambek calculus; type-logical grammar; questions; sluicing; sluicing-based NPs; movement; anaphora; WH-items; WH-words; WH-extraction; pied-piping; Japanese; English; Russian
Subjects:Computer Science > Artificial Intelligence
Computer Science > Language
Linguistics > Semantics
Linguistics > Syntax
Philosophy > Logic
ID Code:8713
Deposited By: Zakharyaschev, Ivan
Deposited On:09 Nov 2012 19:58
Last Modified:18 Feb 2013 15:13

References in Article

Select the SEEK icon to attempt to find the referenced article. If it does not appear to be in cogprints you will be forwarded to the paracite service. Poorly formated references will probably not work.

Barker, C. (2002). Continuations and the nature of quantification. Natural Language Semantics, 10(3):211–242.

Bernardi, R. and Moortgat, M. ( in progr.). A CPS semantics for LG.; also see the ESSLLI 2007 course “Symmetric Categorial Grammar”

Bylinina, L. and Testelets, Y. (2004). On sluicing-based indefinites. In Proceedings of FASL 13.

Dekker, P. (2000). Grounding dynamic semantics. Manuscript.

Heim, I. (1982). The semantics of definite and indefinite noun phrases. PhD thesis, University of Massachusetts, Amherst.

Hiraiwa, K. and Ishihara, S. (2002). Missing links: Cleft, sluicing, and no da construction in Japanese. In Proceedings of HUMIT 2001, volume 43 of MIT Working Papers in Linguistics, pages 35–54. Jaeger, G. (2005). Anaphora and Type Logical Grammar, volume 24 of Trends in Logic. Springer.

Kamp, H. (1981). A theory of truth and semantic representation. In Groenendijk, J., Janssen, T., and Stokhof, M., editors, Formal Methods in the Study of Language, Part 1, volume 135, pages 277–322. Mathematical Centre Tracts, Amsterdam. Reprinted in Jeroen Groenendijk, Theo Janssen and Martin Stokhof (eds), 1984, Truth, Interpretation, and Information; Selected Papers from the Third Amsterdam Colloquium, Foris, Dordrecht, pp. 1–41.

Moortgat, M. (1997). Categorial type logics. In van Benthem, J. and ter Meulen, A., editors, Handbook of Logic and Language, chapter 2, pages 93–177. Elsevier, MIT Press, Amsterdam.

Moortgat, M. (2005). Grammatical invariants. Presented at the workshop “Proof theory at the syntax-semantics interface”, LSA Institute 2005, MIT/Harvard. Slides at the workshop site on

Muskens, R. (1994). Categorial grammar and discourse representation theory. In Proceedings of the 15th conference on Computational linguistics, pages 508–514, Morristown, NJ, USA. Association for Computational Linguistics.

Ross, J. R. (1969). Guess who? In Binnick, R. I., Davidson, A., Green, G. M., and Morgan, J. L., editors, Papers from the Fifth Regional Meeting of the Chicago Linguistic Society, pages 252–286. University of Chicago.

Shimoyama, J. (2006). Indeterminate phrase quantification in Japanese. Natural Language Semantics, 14(2):139–173.

Yanovich, I. (2005). Choice-functional series of indefinite pronouns and Hamblin semantics. Presented at SALT 15, article deposited at


Repository Staff Only: item control page