Language in action. Categories, lambdas and dynamic logic
type: Item
instance of: scholarly article
title: Language in action. Categories, lambdas and dynamic logic
zbMATH Open document ID: 0717.03001
published in: Studies in Logic and the Foundations of Mathematics
publication date: 1992-09-17T00:00:00Z
review text: 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.
reviewed by: Hirokazu Nishimura
Mathematics Subject Classification ID: 03-01
Mathematics Subject Classification ID: 03B65
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68T50
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B47
zbMATH DE Number: 49680
zbMATH Keywords: dynamic logic
zbMATH Keywords: syntax
zbMATH Keywords: semantics
zbMATH Keywords: categorial grammar
zbMATH Keywords: lambda calculus
zbMATH Keywords: computational processing of natural languages
zbMATH Keywords: semantics of programming languages
zbMATH Keywords: relevant logic
zbMATH Keywords: modal logic
zbMATH Keywords: linear logic
author: Johan van Benthem
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 49680