Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus

DOI10.1007/978-3-540-73445-1_19zbMath1213.03042OpenAlexW1535633065MaRDI QIDQ3612667

Michael Moortgat

Publication date: 10 March 2009

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73445-1_19

Mathematics Subject Classification ID

Logic of natural languages (03B65) Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (7)

On the universality of atomic and molecular logics via protologics ⋮ Proof-Theoretic Aspects of the Lambek-Grishin Calculus ⋮ Symmetric generalized Galois logics ⋮ Embedding \(\mathsf{HTLCG}\) into \(\mathsf{LCG}_\phi \) ⋮ On Canonical Embeddings of Residuated Groupoids ⋮ Extended Lambek Calculi and First-Order Linear Logic ⋮ Continuation semantics for the Lambek-Grishin calculus

This page was built for publication: Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus