springer.com

Philosophy : Logic

Casadio, Claudia, Scott, Philip J. (Eds.) Joachim Lambek: The Interplay of , Logic, and Linguistics

Discusses J. Lambek’s groundbreaking works in mathematics, logic, linguistics, and theoretical computer science Surveys the fundamental influence of Lambek’s methods in algebra, proof theory, and computability Explores Lambek’s seminal ideas on linear logics, vector space models of grammar, and categorical models of language This book is dedicated to the life and work of the mathematician Joachim Lambek (1922– Springer 2014). The editors gather together noted experts to discuss the state of the art of various of 1st ed. 2021, XXXII, 432 p. Lambek’s works in logic, , and linguistics and to celebrate his contributions to 1st 1 illus. those areas over the course of his multifaceted career. After early work in combinatorics and edition elementary number theory, Lambek became a distinguished algebraist (notably in ring theory). In the 1960s, he began to work in category theory, categorical algebra, logic, proof theory, and foundations of computability. In a parallel development, beginning in the late 1950s and for Printed book the rest of his career, Lambek also worked extensively in mathematical linguistics and Hardcover computational approaches to natural languages. He and his collaborators perfected production Printed book and type grammars for numerous natural languages. Lambek grammars form an early noncommutative precursor to Girard’s linear logic. In a surprising development (2000), he Hardcover introduced a novel and deeper algebraic framework (which he called pregroup grammars) for ISBN 978-3-030-66544-9 analyzing natural language, along with algebraic, higher category, and proof-theoretic £ 99,99 | CHF 130,00 | 109,99 € | semantics. This book is of interest to mathematicians, logicians, linguists, and computer 120,99 € (A) | 117,69 € (D) scientists. Available

Discount Order online at springer.com/booksellers Science (SC) Springer Nature Customer Service Center GmbH Product category Customer Service Contributed volume Tiergartenstrasse 15-17 69121 Heidelberg Series Outstanding Contributions to Logic T: +49 (0)6221 345-4301 [email protected]

Prices and other details are subject to change without notice. All errors and omissions excepted. Americas: Tax will be added where applicable. Canadian residents please add PST, QST or GST. Please add $5.00 for shipping one book and $ 1.00 for each additional book. Outside the US and add $ 10.00 for first book, $5.00 for each additional book. If an order cannot be fulfilled within 90 days, payment will be refunded upon request. Prices are payable in US currency or its equivalent.

ISBN 978-3-030-66544-9 / BIC: HPL / SPRINGER NATURE: SCE16000 Part of