Pages that link to "Item:Q3585007"
From MaRDI portal
The following pages link to Relational Semantics for the Lambek-Grishin Calculus (Q3585007):
Displayed 6 items.
- The Lambek calculus extended with intuitionistic propositional logic (Q332086) (← links)
- Relational semantics of the Lambek calculus extended with classical propositional logic (Q456962) (← links)
- Symmetric categorial grammar (Q843772) (← links)
- Continuation semantics for the Lambek-Grishin calculus (Q964491) (← links)
- Proof-Theoretic Aspects of the Lambek-Grishin Calculus (Q2947464) (← links)
- On Canonical Embeddings of Residuated Groupoids (Q5414968) (← links)