Categories and Types in Logic, Language, and Physics: Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday

✍ Scribed by Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2014
• Tongue: English
• Leaves: 432
• Series: Lecture Notes in Computer Science 8222 Theoretical Computer Science and General Issues
• Edition: 1
• Category: Library

✦ Synopsis

For more than 60 years, Jim Lambek has been a profoundly inspirational mathematician, with groundbreaking contributions to algebra, category theory, linguistics, theoretical physics, logic and proof theory. This Festschrift was put together on the occasion of his 90th birthday. The papers in it give a good picture of the multiple research areas where the impact of Jim Lambek's work can be felt. The volume includes contributions by prominent researchers and by their students, showing how Jim Lambek's ideas keep inspiring upcoming generations of scholars.

✦ Table of Contents

Front Matter....Pages -
Semantic Unification....Pages 1-13
On Residuation....Pages 14-27
Type Similarity for the Lambek-Grishin Calculus Revisited....Pages 28-50
NP-Completeness of Grammars Based Upon Products of Free Pregroups....Pages 51-62
Distributional Semantics: A Montagovian View....Pages 63-89
A Logical Basis for Quantum Evolution and Entanglement....Pages 90-107
Learning Lambek Grammars from Proof Frames....Pages 108-135
Multi-Sorted Residuation....Pages 136-155
Italian Clitic Patterns in Pregroup Grammar: State of the Art....Pages 156-171
On Associative Lambek Calculus Extended with Basic Proper Axioms....Pages 172-187
Classical Structures Based on Unitaries....Pages 188-210
Initial Algebras of Terms with Binding and Algebraic Structure....Pages 211-234
Abstract Tensor Systems as Monoidal Categories....Pages 235-252
On Canonical Embeddings of Residuated Groupoids....Pages 253-267
L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents....Pages 268-278
A Note on Multidimensional Dyck Languages....Pages 279-296
Extended Lambek Calculi and First-Order Linear Logic....Pages 297-330
A Categorial Type Logic....Pages 331-352
Chasing Diagrams in Cryptography....Pages 353-367
The Monotone Lambek Calculus Is NP-Complete....Pages 368-380
A Mathematical Analysis of Masaccio’s Trinity ....Pages 381-392
Conjoinability in 1-Discontinuous Lambek Calculus....Pages 393-401
The Hidden Structural Rules of the Discontinuous Lambek Calculus....Pages 402-420
Back Matter....Pages -

✦ Subjects

Mathematical Logic and Formal Languages; Computation by Abstract Devices; Logics and Meanings of Programs; History of Computing; Computer Science, general; Computer Science, general