| 书目名称 | Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics | | 编辑 | Claudia Casadio,Philip J. Scott | | 视频video | | | 概述 | 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 comp | | 丛书名称 | Outstanding Contributions to Logic | | 图书封面 |  | | 描述 | .This book is dedicated to the life and work of the mathematician Joachim Lambek (1922–2014). 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 (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 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 (2000), he introduced a novel and deeper algebraic framework (which he called pregroup grammars) for analyzing natural language, along with algebraic, higher category, and proof-theoretic semantics. .T | | 出版日期 | Book 2021 | | 关键词 | Category theory and Algebra; Categorical Proof Theory and Coherence; Monoidal and Mal’cev Categories; S | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-030-66545-6 | | isbn_softcover | 978-3-030-66547-0 | | isbn_ebook | 978-3-030-66545-6Series ISSN 2211-2758 Series E-ISSN 2211-2766 | | issn_series | 2211-2758 | | copyright | The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl |
The information of publication is updating
书目名称Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics影响因子(影响力)
书目名称Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics影响因子(影响力)学科排名
书目名称Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics网络公开度
书目名称Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics网络公开度学科排名
书目名称Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics被引频次
书目名称Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics被引频次学科排名
书目名称Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics年度引用
书目名称Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics年度引用学科排名
书目名称Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics读者反馈
书目名称Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics读者反馈学科排名
|
|
|
发表于 2025-3-21 16:49:09
