• Categories and Types in Logic, Language, and Physics: Essays Dedicated to Jim Lambek on the Occasion of This 90th Birthday See large image

    Categories and Types in Logic, Language, and Physics: Essays Dedicated to Jim Lambek on the Occasion of This 90th Birthday (Lecture Notes in Computer Science / Theoretical Computer Sci) (Paperback) Edited by Claudia Casadio, Edited by Bob Coecke, Edited by Michael Moortgat, Edited by Philip Scott

    $81.46 - Save $12.59 13% off - RRP $94.05 Free delivery worldwide Available
    Dispatched in 3 business days
    When will my order arrive?
    Add to basket | Add to wishlist |

    DescriptionFor 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.


Other books

Other people who viewed this bought | Other books in this category
Showing items 1 to 10 of 10

 

Reviews | Bibliographic data
  • Full bibliographic data for Categories and Types in Logic, Language, and Physics

    Title
    Categories and Types in Logic, Language, and Physics
    Subtitle
    Essays Dedicated to Jim Lambek on the Occasion of This 90th Birthday
    Authors and contributors
    Edited by Claudia Casadio, Edited by Bob Coecke, Edited by Michael Moortgat, Edited by Philip Scott
    Physical properties
    Format: Paperback
    Number of pages: 433
    Width: 155 mm
    Height: 234 mm
    Thickness: 28 mm
    Weight: 522 g
    Language
    English
    ISBN
    ISBN 13: 9783642547881
    ISBN 10: 3642547885
    Classifications

    BIC E4L: COM
    Nielsen BookScan Product Class 3: S10.2
    B&T Book Type: NF
    B&T Merchandise Category: TXT
    LC subject heading: ,
    B&T General Subject: 710
    DC22: 004
    Warengruppen-Systematik des deutschen Buchhandels: 16320
    LC classification: QA
    Ingram Subject Code: MA
    BIC subject category V2: UM, UYA
    Abridged Dewey: 511
    BISAC V2.8: COM014000, COM080000, COM051000, MAT018000
    BIC subject category V2: UYZG
    LC classification: QA76.9.L63
    BISAC V2.8: COM037000
    LC classification: QA76.17
    DC23: 511.3
    LC classification: QA75.5-76.95, QA76.5913, QA8.9-QA10.3
    Thema V1.0: TBX, UB, UM, UYA, UYZG
    Edition
    14000
    Edition statement
    2014 ed.
    Illustrations note
    61 black & white illustrations, biography
    Publisher
    Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    Imprint name
    Springer-Verlag Berlin and Heidelberg GmbH & Co. K
    Publication date
    17 March 2014
    Publication City/Country
    Berlin
    Back cover copy
    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
    Semantic Unification: A Sheaf Theoretic Approach to Natural Language.- On Residuation.- Type Similarity for the Lambek-Grishin Calculus Revisited.- NP-Completeness of Grammars Based Upon Products of Free Pregroups.- Distributional Semantics: A Montagovian View.- A Logical Basis for Quantum Evolution and Entanglement.- Learning Lambek Grammars from Proof Frames.- Multi-Sorted Residuation.- Italian Clitic Patterns in Pregroup Grammar: State of the Art.- On Associative Lambek Calculus Extended with Basic Proper Axioms.- Classical Structures Based on Unitaries.- Initial Algebras of Terms with Binding and Algebraic Structure.- Abstract Tensor Systems as Monoidal Categories.- On Canonical Embeddings of Residuated Groupoids.- L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents.- A Note on Multidimensional Dyck Languages.- Extended Lambek Calculi and First-Order Linear Logic.- A Categorial Type Logic.- Chasing Diagrams in Cryptography.- The Monotone Lambek Calculus Is NP-Complete.- A Mathematical Analysis of Masaccio's Trinity.- Conjoin ability in 1-Discontinuous Lambek Calculus.- The Hidden Structural Rules of the Discontinuous Lambek Calculus.