Type-Logical SyntaxA 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. ISBN: 9780262539746, 0262539748