Language in action. Categories, lambdas and dynamic logic (Q1188935)

This book aims to set out the basic ideas of logicl syntax and semantics relating categorial grammar and lambda calculus, the former of which plays a prominent role in computational processing of natural languages, and the latter of which has a conspicuous relationship with the semantics of programming languages. The exposition has a considerably wide perspective, pertaining to mathematics, linguistics, and computer science, though the author's concern lies more in a unifying logical treatment for a number of disciplines than in a thorough exploitation of each ingredient. He touches upon various logical paradigms such as relevant logic, modal logic, linear logic,... from a standpoint of information processing.