Output details
11 - Computer Science and Informatics
University of Edinburgh
Taking Scope : The Natural Semantics of Quantifiers
<22> Originality: The "Combinatory Categorial" (CCG) theory of syntax and semantics presented in this book and in earlier ones (1996, 2000) originates entirely in Steedman's own work with colleagues and students.
Significance: This book shows that the unorthodox but constrained CCG theory of linguistic structure supports a simpler semantics for natural language than the standard accounts, explaining a number of puzzling constraints on available readings for sentences involving negation and quantifiers by the use of generalized Skolem terms.
Rigour: The book includes a fully formal model theory and provides an algorithmic basis for efficient computation of this novel semantics.