#### Research interests: Syntax, syntax-semantics interface, mathematical linguistics, deductive calculi and their empirical applications, categorial grammar #### [CV](cv.pdf) #### Recent work - (to appear; with Yusuke Kubota) Pseudogapping as pseudo-VP ellipsis. *Linguistic Inquiry*. [PDF](publications/KL_Pseudogapping-LI-version.pdf) - In press. *Syntactic Argumentation and Analysis: an HPSG-based approach.* Cambridge, U.K.: Cambridge University Press (Cambridge Textbooks in Linguistics). - (2015a; with Yusuke Kubota) Gapping as hypothetical reasoning. *Natural Language and Linguistic Theory* 34.107--156. [PDF](publications/kl-gapping.pdf) - (2015b; with Yusuke Kubota) Against ellipsis: Arguments for the direct licensing of 'non-canonical' coordinations. *Linguistics & Philosophy* 38.521--576.[PDF](publications/kl-coord.pdf) - (2015c; with Yusuke Kubota). The syntax-semantic interface of *respective* predication: a unified analysis in Hybrid Type-Logical Categorial Grammar. (with Yusuke Kubota). *Natural Language and Linguistic Theory* (OnlineFirst; http://link.springer.com.proxy.lib.ohio-state.edu/article/10.1007/s11049-015-9315-7). [PDF](publications/kl-resp.pdf) - (2015d; with Yusuke Kubota). Scope parallelism in coordination in Dependent Type Semantics. In *Proceedings of the Twelfth International Workshop of Logic and Engineering of Natural Language Semantics (LENLS 12)*. [PDF](publications/kl-lenls2015.pdf) - (2014a; with Yusuke Kubota) Unifying local and nonlocal modelling of 'respective' and symmetrical predicates. In *Formal Grammar*, ed. by Glynn Morrill and Rainer Osswald. Lecture Notes on Computer Science 8612. Heidelberg: Springer/Foundation for Logic, Language and Information. [PDF](publications/resp-fg-paper.pdf) - (2014b; with Yusuke Kubota) Pseudogapping as pseudo-VP ellipsis. In Nicholas Asher and Sergei Soloviev (eds.), *Logical Aspects of Computational Linguistics 2014*. 122--137. [PDF](publications/kl-pseudo.pdf) - (2014c; with Yusuke Kubota) The scope anomaly of Gapping. In *Proceedings of the Northeastern Linguistics Society* 44.247--260, ed. Jyoti Iyer and Leland Kusmer. [PDF](publications/levine_14_The-scope-anomaly.pdf) - (2013a) The modal *need* &nbsp;VP gap (non)anomaly. In *Beyond* &nbsp;<strong>ever</strong> *and* <strong>any</strong>: *New Perspectives on Negative Polarity Sensitivity*, &nbsp;ed. by Eva Csipak, Regine Eckhardt, Mingya Liu, and Manfred Sailer, pp. 241--265. Berlin: Mouton de Gruyter. [PDF](publications/mouton-template_need.pdf) - (2013b; with Yusuke Kubota) Determiner Gapping as higher order discontinuous constituency. In *Formal Grammar*, ed. by Glynn Morrill and Mark-Jan Nederhof. *Lecture Notes on Computer Science* 8036. Heidelberg: Springer/Foundation for Logic, Language and Information. [PDF](publications/kl-determiner-gapping.pdf) - (2012a; with Yusuke Kubota) Gapping as like-category coordination. *Lecture Notes on Computer Science.* 7351, &nbsp;ed. by Denis B&eacute;chet and Alexander Dikovsky, 135--150. Berlin: Springer Verlag. [PDF](publications/gapping-lacl-published.pdf) - (2012b) Auxiliaries: *to*'s company. *Journal of Linguistics* 48.187--203. [PDF](publications/Levine_auxiliary_to.pdf) - (2010) The *ass* camouflage construction: masks as parasitic heads. *Language* 86.265--301. [PDF](publications/Levine_on_ASS_camouflage.pdf) #### Current research My current work comprises a set of interlocking research projects which amplify and extend my central focus on proof-theoretic formalisms in both syntax and semantics. This program includes the following projects: <ul> <li>Empirically based investigations of type-logical categorial grammar (TLCG) using a combined Abstract Categorial Grammar/Lambek calculus foundation with independent lambda-calculi for both prosodic and sementic proof terms and an innovative hybrid implicational logic (Kubota & Levine 2012; 2013a,b; 2015a,b,c). We present an application of this hybrid logic to yield a maximally simple treatment of Gapping as like-category coordination (Kubota & Levine 2015a), as part of a full-scale unitary treatment of all major 'non-constituent' coordination phenomena (Kubota & Levine 2015b; other work on the syntax/semantics interface carried out in our research program appears in (Kubota & Levine 2015c).</li> <li>Development of a wide-ranging approach to ellipsis phenomena employing Hybrid TLCG along the lines of Kubota & Levine (to appear, *Linguistic Inquiry* ), and its interaction with the syntax and semantics of extraction.</li> <li>Exploration of the role of proof-theoretic semantics, in particular, Dependent Type Semantics along the lines of Ranta and Bekki, in providing an empirically adequate formal framework for the interpretive component of type-logical proof terms; Kubota & Levine 2013b illustrates the application of a particular dependent type formalism to the notorious 'Geach scope parallelism' problem posed by Right Node Raising (and other coordination phenomena).</li> <li> Syntactic conditions on polarity item distribution; ramifications of the apparently anomalous entanglement of NPI and auxiliary properties in the distribution of modal *need*, described in Levine 2013a.</li> <li> Fundamental issues in grammatical theory; formal foundations and well-foundedness of hybrid type logics incorporating both lambek- and lambda-implicational connectives and the possible embedding of such logics in first-order linear logic with only a single mode of linear implication, by means of a rich phenoterm subtyping, as per ongoing work by Chris Worth.</li> </ul> #### Contact information Office: 214 Oxley Hall (the building on the SE corner of 12th and Neil Avenue) Office phone \#: 292-2217 Office hours are TuTh 11:30--12:30, but if for some reason you can't make these hours and need to talk with me, we can arrange another time slot. Email: levine.1@osu.edu