Categories and Types in Logic, Language, and Physics

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

Editors:

ISBN: 978-3-642-54788-1 (Print) 978-3-642-54789-8 (Online)

Table of contents (23 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. No Access

    Book Chapter

    Pages 1-13

    Semantic Unification

  3. No Access

    Book Chapter

    Pages 14-27

    On Residuation

  4. No Access

    Book Chapter

    Pages 28-50

    Type Similarity for the Lambek-Grishin Calculus Revisited

  5. No Access

    Book Chapter

    Pages 51-62

    NP-Completeness of Grammars Based Upon Products of Free Pregroups

  6. No Access

    Book Chapter

    Pages 63-89

    Distributional Semantics: A Montagovian View

  7. No Access

    Book Chapter

    Pages 90-107

    A Logical Basis for Quantum Evolution and Entanglement

  8. No Access

    Book Chapter

    Pages 108-135

    Learning Lambek Grammars from Proof Frames

  9. No Access

    Book Chapter

    Pages 136-155

    Multi-Sorted Residuation

  10. No Access

    Book Chapter

    Pages 156-171

    Italian Clitic Patterns in Pregroup Grammar: State of the Art

  11. No Access

    Book Chapter

    Pages 172-187

    On Associative Lambek Calculus Extended with Basic Proper Axioms

  12. No Access

    Book Chapter

    Pages 188-210

    Classical Structures Based on Unitaries

  13. No Access

    Book Chapter

    Pages 211-234

    Initial Algebras of Terms with Binding and Algebraic Structure

  14. No Access

    Book Chapter

    Pages 235-252

    Abstract Tensor Systems as Monoidal Categories

  15. No Access

    Book Chapter

    Pages 253-267

    On Canonical Embeddings of Residuated Groupoids

  16. No Access

    Book Chapter

    Pages 268-278

    L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents

  17. No Access

    Book Chapter

    Pages 279-296

    A Note on Multidimensional Dyck Languages

  18. No Access

    Book Chapter

    Pages 297-330

    Extended Lambek Calculi and First-Order Linear Logic

  19. No Access

    Book Chapter

    Pages 331-352

    A Categorial Type Logic

  20. No Access

    Book Chapter

    Pages 353-367

    Chasing Diagrams in Cryptography

  21. No Access

    Book Chapter

    Pages 368-380

    The Monotone Lambek Calculus Is NP-Complete

previous Page of 2