Categories and Types in Logic, Language, and Physics

Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday

  • Claudia Casadio
  • Bob Coecke
  • Michael Moortgat
  • Philip Scott
Book

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8222)

Table of contents

  1. Front Matter
    PDF
  2. Semantic Unification
    Samson Abramsky, Mehrnoosh Sadrzadeh
    Pages 1-13
  3. On Residuation
    V. Michele Abrusci
    Pages 14-27
  4. Type Similarity for the Lambek-Grishin Calculus Revisited
    Arno Bastenhof
    Pages 28-50
  5. NP-Completeness of Grammars Based Upon Products of Free Pregroups
    Denis Béchet
    Pages 51-62
  6. Distributional Semantics: A Montagovian View
    Raffaella Bernardi
    Pages 63-89
  7. A Logical Basis for Quantum Evolution and Entanglement
    Richard F. Blute, Alessio Guglielmi, Ivan T. Ivanov, Prakash Panangaden, Lutz Straßburger
    Pages 90-107
  8. Learning Lambek Grammars from Proof Frames
    Roberto Bonato, Christian Retoré
    Pages 108-135
  9. Multi-Sorted Residuation
    Wojciech Buszkowski
    Pages 136-155
  10. Italian Clitic Patterns in Pregroup Grammar: State of the Art
    Claudia Casadio, Aleksandra Kiślak-Malinowska
    Pages 156-171
  11. On Associative Lambek Calculus Extended with Basic Proper Axioms
    Annie Foret
    Pages 172-187
  12. Classical Structures Based on Unitaries
    Peter Hines
    Pages 188-210
  13. Initial Algebras of Terms with Binding and Algebraic Structure
    Bart Jacobs, Alexandra Silva
    Pages 211-234
  14. Abstract Tensor Systems as Monoidal Categories
    Aleks Kissinger
    Pages 235-252
  15. On Canonical Embeddings of Residuated Groupoids
    Mirosława Kołowska-Gawiejnowicz
    Pages 253-267
  16. L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents
    Stepan Kuznetsov
    Pages 268-278
  17. A Note on Multidimensional Dyck Languages
    Michael Moortgat
    Pages 279-296
  18. Extended Lambek Calculi and First-Order Linear Logic
    Richard Moot
    Pages 297-330
  19. A Categorial Type Logic
    Glyn Morrill
    Pages 331-352
  20. Chasing Diagrams in Cryptography
    Dusko Pavlovic
    Pages 353-367

About this book

Introduction

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.

Keywords

algebra category theory linguistics proof theory theoretical physics

Editors and affiliations

  • Claudia Casadio
    • 1
  • Bob Coecke
    • 2
  • Michael Moortgat
    • 3
  • Philip Scott
    • 4
  1. 1.Department of Philosophy, Education and Quantitative EconomicsGabriele D’Annunzio UniversityChietiItaly
  2. 2.Department of Computer ScienceOxford UniversityOxfordUK
  3. 3.Utrecht Institute of Linguistics OTSUtrecht UniversityUtrechtThe Netherlands
  4. 4.Department of MathematicsUniversity of OttawaOttawaCanada

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-54789-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2014
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-54788-1
  • Online ISBN 978-3-642-54789-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book