↓ Skip to main content

Categories and Types in Logic, Language, and Physics

Overview of attention for book
Cover of 'Categories and Types in Logic, Language, and Physics'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Semantic Unification
  3. Altmetric Badge
    Chapter 2 On Residuation
  4. Altmetric Badge
    Chapter 3 Type Similarity for the Lambek-Grishin Calculus Revisited
  5. Altmetric Badge
    Chapter 4 NP-Completeness of Grammars Based Upon Products of Free Pregroups
  6. Altmetric Badge
    Chapter 5 Distributional Semantics: A Montagovian View
  7. Altmetric Badge
    Chapter 6 A Logical Basis for Quantum Evolution and Entanglement
  8. Altmetric Badge
    Chapter 7 Learning Lambek Grammars from Proof Frames
  9. Altmetric Badge
    Chapter 8 Multi-Sorted Residuation
  10. Altmetric Badge
    Chapter 9 Italian Clitic Patterns in Pregroup Grammar: State of the Art
  11. Altmetric Badge
    Chapter 10 On Associative Lambek Calculus Extended with Basic Proper Axioms
  12. Altmetric Badge
    Chapter 11 Classical Structures Based on Unitaries
  13. Altmetric Badge
    Chapter 12 Initial Algebras of Terms with Binding and Algebraic Structure
  14. Altmetric Badge
    Chapter 13 Categories and Types in Logic, Language, and Physics
  15. Altmetric Badge
    Chapter 14 On Canonical Embeddings of Residuated Groupoids
  16. Altmetric Badge
    Chapter 15 L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents
  17. Altmetric Badge
    Chapter 16 A Note on Multidimensional Dyck Languages
  18. Altmetric Badge
    Chapter 17 Extended Lambek Calculi and First-Order Linear Logic
  19. Altmetric Badge
    Chapter 18 A Categorial Type Logic
  20. Altmetric Badge
    Chapter 19 Chasing Diagrams in Cryptography
  21. Altmetric Badge
    Chapter 20 The Monotone Lambek Calculus Is NP-Complete
  22. Altmetric Badge
    Chapter 21 A Mathematical Analysis of Masaccio’s Trinity
  23. Altmetric Badge
    Chapter 22 Conjoinability in 1-Discontinuous Lambek Calculus
  24. Altmetric Badge
    Chapter 23 The Hidden Structural Rules of the Discontinuous Lambek Calculus
Attention for Chapter 20: The Monotone Lambek Calculus Is NP-Complete
Altmetric Badge

Readers on

mendeley
1 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
The Monotone Lambek Calculus Is NP-Complete
Chapter number 20
Book title
Categories and Types in Logic, Language, and Physics
Published by
Springer, Berlin, Heidelberg, January 2014
DOI 10.1007/978-3-642-54789-8_20
Book ISBNs
978-3-64-254788-1, 978-3-64-254789-8
Authors

Mati Pentus

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Unspecified 1 100%
Readers by discipline Count As %
Unspecified 1 100%