Language in Action: Categories, Lambdas and Dynamic Logic Volume 130

by Johan van Benthem

Book Overview

This monograph began life as a series of papers documenting five years of research into the logical foundations of Categorial Grammar, a grammatical paradigm which has close analogies with Lambda Calculus and Type Theory. The technical theory presented here stems from the interface between Logic and Linguistics and, in particular, the theory of generalized quantification. A categorical framework with lambda calculus-oriented semantics is a convenient...

• Format: Hardcover
• Language: English
• ISBN: 0444890009
• ISBN13: 9780444890009
• Release Date: February 1991
• Publisher: North-Holland
• Length: 348 Pages
• Weight: 1.50 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"