NLQ: a modular type-logical grammar for quantifier movement, scope islands, and more

dc.rights.license	CC-BY-NC-ND
dc.contributor.advisor	Moortgat, M.J.
dc.contributor.advisor	Swierstra, W.S.
dc.contributor.author	Kokke, P.T.P.
dc.date.accessioned	2016-03-17T18:00:53Z
dc.date.available	2016-03-17T18:00:53Z
dc.date.issued	2016
dc.identifier.uri	https://studenttheses.uu.nl/handle/20.500.12932/22041
dc.description.abstract	In this thesis, I will discuss the grammar logic NLQ, an extension of the non-associative Lambek calculus based on Barker and Shan’s (2014) NLCL. For this logic, derivability is decidable. In addition, it is free of spurious ambiguity, can analyse scope islands, distinguish between strong and weak quantifiers, and more.
dc.description.sponsorship	Utrecht University
dc.format.extent	1590870
dc.format.extent	1590870
dc.format.mimetype	application/pdf
dc.format.mimetype	application/pdf
dc.language.iso	en
dc.title	NLQ: a modular type-logical grammar for quantifier movement, scope islands, and more
dc.type.content	Master Thesis
dc.rights.accessrights	Open Access
dc.subject.keywords	categorial grammar; Lambek calculus; display calculus; quantifier raising; scope islands;
dc.subject.courseuu	Computing Science