Categories and Types in Logic, Language, and Physics

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.