Based on an introductory course on natural-language semantics, this book provides an introduction to type-logical grammar and the range of linguistic phenomena
A novel logic-based framework for representing the syntax-semantics interface of natural language, applicable to a range of phenomena. In this book, Yusuke Kubo
This book sets out the foundations, methodology, and practice of a formal framework for the description of language. The approach embraces the trends of lexical
This book provides a state-of-the-art introduction to categorial grammar, a type of formal grammar which analyses expressions as functions or according to a fun
Type Logical Grammar is a framework that emerged from the synthesis of two traditions: Categorial Grammar from formal linguistics and substructural logics from