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.