Foundations of Intensional Semantics

This book provides a systematic study of three foundational issuesin the semantics of natural language that have been relativelyneglected in the past few decades.focuses on the formal characterization of intensions, thenature of an adequate type system for natural language semantics,and the formal power of the semantic representation languageproposes a theory that offers a promising framework fordeveloping a computational semantic system sufficiently expressiveto capture the properties of natural language meaning whileremaining computationally tractablewritten by two leading researchers and of interest to studentsand researchers in formal semantics, computational linguistics,logic, artificial intelligence, and the philosophy of language