#### Research interests: Syntax, syntax-semantics interface, mathematical linguistics, deductive calculi and their empirical applications, categorial grammar #### [CV](cv.pdf) #### Recent work - In press; with Yusuke Kubota. Scope parallelism in coordination in Dependent Type Semantics. In *New Frontiers in Artificial Intelligence*. Berlin: Springer. [PDF](publications/kl-lenls2015.pdf) - In press; with Yusuke Kubota. Pseudogapping as pseudo-VP ellipsis. *Linguistic Inquiry* 48.2 [PDF](publications/KL_Pseudogapping-LI-version.pdf) - 2017 . *Syntactic Argumentation: an HPSG-based approach. * Cambridge, U.K.: Cambridge University Press (Cambridge Textbooks in Linguistics). - 2016a . (with Yusuke Kubota). Gapping as hypothetical reasoning. *Natural Language and Linguistic Theory* 34.107--156. [PDF](publications/kl-gapping.pdf) - 2016b . (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* 34.911--973. [PDF](publications/kl-resp.pdf) - 2015 . (with Yusuke Kubota). Against ellipsis: Arguments for the direct licensing of 'non-canonical' coordinations. *Linguistics & Philosophy* 38.521--576.[PDF](publications/kl-coord.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 &#955;-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 simple analysis 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 (in press, *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 &#955;-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: 108A Ohio Stadium East, 1961 Tuttle Park Place, Columbus 43210 Office phone \#: (614) 292-2217 Email: levine.1@osu.edu I'm on Special Research Assigment during Spring 2017, so won't be teaching this semester, but will be on campus most Mondays, so if you want to meet with me, let me know and we can work out a time to get together.