Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics - Outstanding Contributions to Logic
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 11)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030665449, 9783030665456

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Morphisms of Rings

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics - Outstanding Contributions to Logic ◽

10.1007/978-3-030-66545-6_8 ◽

2021 ◽

pp. 271-298

Author(s):

Robert Paré

Download Full-text

Sheaf Representations and Duality in Logic

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics - Outstanding Contributions to Logic ◽

10.1007/978-3-030-66545-6_2 ◽

2021 ◽

pp. 39-57

Author(s):

Steve Awodey

Keyword(s):

Sheaf Representations

Download Full-text

The Sequent Calculus of Skew Monoidal Categories

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics - Outstanding Contributions to Logic ◽

10.1007/978-3-030-66545-6_11 ◽

2021 ◽

pp. 377-406

Author(s):

Tarmo Uustalu ◽

Niccolò Veltri ◽

Noam Zeilberger

Keyword(s):

Sequent Calculus ◽

Monoidal Categories

Download Full-text

Extensions of Lambek Calculi

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics - Outstanding Contributions to Logic ◽

10.1007/978-3-030-66545-6_4 ◽

2021 ◽

pp. 105-134

Author(s):

Wojciech Buszkowski

Download Full-text

Pregroup Grammars, Their Syntax and Semantics

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics - Outstanding Contributions to Logic ◽

10.1007/978-3-030-66545-6_10 ◽

2021 ◽

pp. 347-376

Author(s):

Mehrnoosh Sadrzadeh

Keyword(s):

Pregroup Grammars

Download Full-text

The Mathematics of Text Structure

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics - Outstanding Contributions to Logic ◽

10.1007/978-3-030-66545-6_6 ◽

2021 ◽

pp. 181-217

Author(s):

Bob Coecke

Keyword(s):

Text Structure

Download Full-text

Lambek’s Syntactic Calculus and Noncommutative Variants of Linear Logic: Laws and Proof-Nets

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics - Outstanding Contributions to Logic ◽

10.1007/978-3-030-66545-6_1 ◽

2021 ◽

pp. 1-37

Author(s):

V. Michele Abrusci ◽

Claudia Casadio

Keyword(s):

Linear Logic ◽

Proof Nets

Download Full-text

Categories with Families: Unityped, Simply Typed, and Dependently Typed

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics - Outstanding Contributions to Logic ◽

10.1007/978-3-030-66545-6_5 ◽

2021 ◽

pp. 135-180

Author(s):

Simon Castellan ◽

Pierre Clairambault ◽

Peter Dybjer

Download Full-text

On the Naturalness of Mal’tsev Categories

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics - Outstanding Contributions to Logic ◽

10.1007/978-3-030-66545-6_3 ◽

2021 ◽

pp. 59-104

Author(s):

Dominique Bourn ◽

Marino Gran ◽

Pierre-Alain Jacqmin

Download Full-text

Aspects of Categorical Recursion Theory

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics - Outstanding Contributions to Logic ◽

10.1007/978-3-030-66545-6_7 ◽

2021 ◽

pp. 219-269

Author(s):

Pieter Hofstra ◽

Philip Scott

Keyword(s):

Recursion Theory

Download Full-text

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics - Outstanding Contributions to LogicLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Morphisms of Rings

Sheaf Representations and Duality in Logic

The Sequent Calculus of Skew Monoidal Categories

Extensions of Lambek Calculi

Pregroup Grammars, Their Syntax and Semantics

The Mathematics of Text Structure

Lambek’s Syntactic Calculus and Noncommutative Variants of Linear Logic: Laws and Proof-Nets

Categories with Families: Unityped, Simply Typed, and Dependently Typed

On the Naturalness of Mal’tsev Categories

Aspects of Categorical Recursion Theory

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics - Outstanding Contributions to Logic
Latest Publications