#### Research interests: Syntax, syntax-semantics interface, mathematical linguistics, deductive calculi and their empirical applications, categorial grammar #### [CV](abridged-cv.pdf) #### Recent work - In press. (with Yusuke Kubota). *Type-Logical Syntax.* Cambridge, MA: MIT Press. - 2019a . (with Yusuke Kubota). Modal auxiliaries and negation: a type-logical account. In *Logic, Language, Information and Computation* (Lecture Notes on Computer Science 11541), ed. by Rosalie Iemhoff, Michael Moortgat and Ruy de Queiroz. Berlin: Springer. [PDF](publications/modals_wollic.pdf) - 2019b . (with Yusuke Kubota, Koji Mineshima, and Daisuke Bekki). Underspecification and interpretive parallelism in Dependent Type Semantics. *Proceedings of the IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures.* 1–9. [PDF](publications/Gothenburg2019.pdf) - 2018 . 'Biolinguistics': some foundational problems. *Essays on Linguistic Realism*, ed. by Christina Behme and Martin Neef. Amsterdam: John Benjamins. 21--60. - 2017a . (with Yusuke Kubota). Pseudogapping as pseudo-VP ellipsis. *Linguistic Inquiry* 48.213--257. [PDF](publications/KL_Pseudogapping-LI-version.pdf) - 2017b . (with Yusuke Kubota). Scope parallelism in coordination in Dependent Type Semantics. In *New Frontiers in Artificial Intelligence*. Berlin: Springer. 79--92. [PDF](publications/kl-lenls2015.pdf) - 2017c . *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 semantic proof terms and an innovative hybrid implicational logic (Kubota & Levine 2012; 2013a,b; 2015, 2016a,b; 2017a; in press). We present an application of this hybrid logic to yield a simple analysis of Gapping as like-category coordination (Kubota & Levine 2016a), as part of a full-scale unitary treatment of all major 'non-constituent' coordination phenomena (Kubota & Levine 2015); other work on the syntax/semantics interface carried out in our research program appears in Kubota & Levine 2016a,b; 2017a; in press.</li> <li>Development of a wide-ranging approach to ellipsis phenomena employing Hybrid TLCG along the lines of Kubota & Levine 2017a; in press, 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 2017b and Kubota, Minishima, Bekki and Levine 2019b illustrate 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, and extension of the polarity behavior of *need* (and, more weakly, *dare*) to the full range of modal auxiliaries as the basis for a principled account of their scopal interaction with negation (Kubota and Levine 2019a).</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 and Jordan Needle.</li> </ul> #### Contact information Office: 024B Oxley Hall, 1712 Neil Avenue, Columbus, OH 43210-1298 Office phone \#: (614) 292-2217 Email: levine.1@osu.edu