Type-Logical Syntax

A novel logic-based framework for representing the syntax-semantics interface of natural language, applicable to a range of phenomena.

In this book, Yusuke Kubota and Robert Levine propose a type-logical version of categorial grammar as a viable alternative model of natural language syntax and semantics. They show that this novel logic-based framework is applicable to a range of phenomena--especially in the domains of coordination and ellipsis--that have proven problematic for traditional approaches.