Categories and types in logic, language, and physics. Essays dedicated to Jim Lambek on the occasion of his 90th birthday. (English) Zbl 1284.03016

Lecture Notes in Computer Science 8222. Berlin: Springer (ISBN 978-3-642-54788-1/pbk). xii, 421 p. (2014).

Show indexed articles as search result.

The articles of this volume will be reviewed individually.
Indexed articles:
Abramsky, Samson; Sadrzadeh, Mehrnoosh, Semantic unification. A sheaf theoretic approach to natural language, 1-13 [Zbl 1285.03021]
Abrusci, V. Michele, On residuation, 14-27 [Zbl 1285.03012]
Bastenhof, Arno, Type similarity for the Lambek-Grishin calculus revisited, 28-50 [Zbl 1286.03078]
Béchet, Denis, NP-completeness of grammars based upon products of free pregroups, 51-62 [Zbl 1285.03022]
Bernardi, Raffaella, Distributional semantics: a Montagovian view, 63-89 [Zbl 1285.03023]
Blute, Richard F.; Guglielmi, Alessio; Ivanov, Ivan T.; Panangaden, Prakash; Straßburger, Lutz, A logical basis for quantum evolution and entanglement, 90-107 [Zbl 1286.81013]
Bonato, Roberto; Retoré, Christian, Learning Lambek grammars from proof frames, 108-135 [Zbl 1285.03024]
Buszkowski, Wojciech, Multi-sorted residuation, 136-155 [Zbl 1285.03013]
Casadio, Claudia; Kiślak-Malinowska, Aleksandra, Italian clitic patterns in pregroup grammar: state of the art, 156-171 [Zbl 1285.03025]
Foret, Annie, On associative Lambek calculus extended with basic proper axioms, 172-187 [Zbl 1285.03014]
Hines, Peter, Classical structures based on unitaries, 188-210 [Zbl 1286.81014]
Jacobs, Bart; Silva, Alexandra, Initial algebras of terms with binding and algebraic structure, 211-234 [Zbl 1285.18004]
Kissinger, Aleks, Abstract tensor systems as monoidal categories, 235-252 [Zbl 1285.18010]
Kołowska-Gawiejnowicz, Mirosława, On canonical embeddings of residuated groupoids, 253-267 [Zbl 1285.03078]
Kuznetsov, Stepan, \(L\)-completeness of the Lambek calculus with the reversal operation allowing empty antecedents, 268-278 [Zbl 1285.03015]
Moortgat, Michael, A note on multidimensional Dyck languages, 279-296 [Zbl 1285.03026]
Moot, Richard, Extended Lambek calculi and first-order linear logic, 297-330 [Zbl 1285.03016]
Morrill, Glyn, A categorial type logic, 331-352 [Zbl 1285.03017]
Pavlovic, Dusko, Chasing diagrams in cryptography, 353-367 [Zbl 1286.94081]
Pentus, Mati, The monotone Lambek calculus is NP-complete, 368-380 [Zbl 1285.03018]
Reyes, Gonzalo E., A mathematical analysis of Masaccio’s Trinity, 381-392 [Zbl 1286.00048]
Sorokin, Alexey, Conjoinability in 1-discontinuous Lambek calculus, 393-401 [Zbl 1285.03019]
Valentín, Oriol, The hidden structural rules of the discontinuous Lambek calculus, 402-420 [Zbl 1285.03020]

MSC:

03-06	Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
03B47	Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
03B65	Logic of natural languages
03G30	Categorical logic, topoi
18D10	Monoidal, symmetric monoidal and braided categories (MSC2010)
68Q17	Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)
68Q42	Grammars and rewriting systems
81P10	Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects)
94A60	Cryptography
00B30	Festschriften