| 書目名稱 | Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics | | 編輯 | Claudia Casadio,Philip J. Scott | | 視頻video | http://file.papertrans.cn/501/500958/500958.mp4 | | 概述 | 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 | | 關(guān)鍵詞 | 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影響因子(影響力)學(xué)科排名
書目名稱Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics網(wǎng)絡(luò)公開度
書目名稱Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics被引頻次
書目名稱Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics被引頻次學(xué)科排名
書目名稱Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics年度引用
書目名稱Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics年度引用學(xué)科排名
書目名稱Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics讀者反饋
書目名稱Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics讀者反饋學(xué)科排名
|
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-6 04:17
發(fā)表于 2025-3-21 16:49:09
