Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus
From MaRDI portal
Publication:3612667
DOI10.1007/978-3-540-73445-1_19zbMath1213.03042MaRDI QIDQ3612667
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
03B65: Logic of natural languages
03F05: Cut-elimination and normal-form theorems
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
On Canonical Embeddings of Residuated Groupoids, Extended Lambek Calculi and First-Order Linear Logic, Embedding \(\mathsf{HTLCG}\) into \(\mathsf{LCG}_\phi \), Continuation semantics for the Lambek-Grishin calculus, Symmetric generalized Galois logics, On the universality of atomic and molecular logics via protologics, Proof-Theoretic Aspects of the Lambek-Grishin Calculus