Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics

Springer Verlag (2021)
  Copy   BIBTEX

Abstract

This book is dedicated to the life and work of the mathematician Joachim Lambek. The editors gather together noted experts to discuss the state of the art of various of Lambek’s works in logic, category theory, and linguistics and to celebrate his contributions to those areas over the course of his multifaceted career. After early work in combinatorics and elementary number theory, Lambek became a distinguished algebraist. 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 the rest of his career, Lambek also worked extensively in mathematical linguistics and computational approaches to natural languages. He and his collaborators perfected production and type grammars for numerous natural languages. Lambek grammars form an early noncommutative precursor to Girard’s linear logic. In a surprising development, he introduced a novel and deeper algebraic framework for analyzing natural language, along with algebraic, higher category, and proof-theoretic semantics. This book is of interest to mathematicians, logicians, linguists, and computer scientists.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Extensions of Lambek Calculi.Wojciech Buszkowski - 2021 - In Claudia Casadio & Philip J. Scott (eds.), Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics. Springer Verlag. pp. 105-134.
Morphisms of Rings.Robert Paré - 2021 - In Claudia Casadio & Philip J. Scott (eds.), Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics. Springer Verlag. pp. 271-298.
Sheaf Representations and Duality in Logic.Steve Awodey - 2021 - In Claudia Casadio & Philip J. Scott (eds.), Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics. Springer Verlag. pp. 39-57.

Analytics

Added to PP
2022-03-09

Downloads
23 (#705,261)

6 months
16 (#172,129)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Claudia Casadio
Università degli Studi di Chieti

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references