Ohio State is in the process of revising websites and program materials to accurately reflect compliance with the law. While this work occurs, language referencing protected class status or other activities prohibited by Ohio Senate Bill 1 may still appear in some places. However, all programs and activities are being administered in compliance with federal and state law.

Robert Levine

Robert Levine

Areas of Expertise

  • syntax, syntax/semantics interface
  • categorial grammar
  • mathematical linguistics

Education

  • Ph.D., Columbia University, 1977
  • BA, Columbia College of Columbia University, 1968

Robert Levine's research and publications focus on applications of feature logics and type logics to a range of empirical phenomena, including noncanonical coordinations, ellipsis, filler/gap dependencies, and syntactic and semantic properties of scopal phenomena, including negative polarity effects. Most of his current research is devoted to exploring the properties of hybrid proof theories in type-logical frameworks that include both directional (Lambek calculus) and nondirectional (λ-calculus) modes of implicational inference, and applying these frameworks to empirical problems at the syntax-semantics interface.