Foundations of Intensional Semantics

This book provides a systematic study of three foundational issues in the semantics of natural language that have been relatively neglected in the past few decades.

• focuses on the formal characterization of intensions, the nature of an adequate type system for natural language semantics, and the formal power of the semantic representation language
  
• proposes a theory that offers a promising framework for developing a computational semantic system sufficiently expressive to capture the properties of natural language meaning while remaining computationally tractable
  
• written by two leading researchers and of interest to students and researchers in formal semantics, computational linguistics, logic, artificial intelligence, and the philosophy of language