Pages that link to "Item:Q3612667"
From MaRDI portal
The following pages link to Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus (Q3612667):
Displaying 7 items.
- Continuation semantics for the Lambek-Grishin calculus (Q964491) (← links)
- Symmetric generalized Galois logics (Q1931307) (← links)
- On the universality of atomic and molecular logics via protologics (Q2169136) (← links)
- Proof-Theoretic Aspects of the Lambek-Grishin Calculus (Q2947464) (← links)
- On Canonical Embeddings of Residuated Groupoids (Q5414968) (← links)
- Extended Lambek Calculi and First-Order Linear Logic (Q5414971) (← links)
- Embedding \(\mathsf{HTLCG}\) into \(\mathsf{LCG}_\phi \) (Q6097777) (← links)