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

Couverture
Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott
Springer, 3 avr. 2014 - 421 pages
0 Avis
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.
 

Avis des internautes - Rédiger un commentaire

Aucun commentaire n'a été trouvé aux emplacements habituels.

Table des matières

Semantic Unification A Sheaf Theoretic Approach to Natural Language
1
On Residuation
14
Type Similarity for the LambekGrishin Calculus Revisited
28
NPCompleteness of Grammars Based Upon Products of Free Pregroups
51
A Montagovian View
63
A Logical Basis for Quantum Evolution and Entanglement
90
Learning Lambek Grammars from Proof Frames
108
MultiSorted Residuation
136
On Canonical Embeddings of Residuated Groupoids
253
LCompleteness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents
268
A Note on Multidimensional Dyck Languages
279
Extended Lambek Calculi and FirstOrder Linear Logic
297
A Categorial Type Logic
331
Chasing Diagrams in Cryptography
353
The Monotone Lambek Calculus Is NPComplete
368
A Mathematical Analysis of Masaccios Trinity
381

State of the Art
156
On Associative Lambek Calculus Extended with Basic Proper Axioms
172
Classical Structures Based on Unitaries
188
Initial Algebras of Terms with Binding and Algebraic Structure
211
Abstract Tensor Systems as Monoidal Categories
235
Conjoinability in 1Discontinuous Lambek Calculus
393
The Hidden Structural Rules of the Discontinuous Lambek Calculus
402
Author Index
421
Droits d'auteur

Autres éditions - Tout afficher

Expressions et termes fréquents

Informations bibliographiques