The following pages link to Symmetric categorial grammar (Q843772):
Displaying 11 items.
- Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus (Q388206) (← links)
- Continuation semantics for the Lambek-Grishin calculus (Q964491) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- On involutive nonassociative Lambek calculus (Q2425321) (← links)
- Proof-Theoretic Aspects of the Lambek-Grishin Calculus (Q2947464) (← links)
- Grammar specification in categorial logics and theorem proving (Q4647559) (← links)
- Type Similarity for the Lambek-Grishin Calculus Revisited (Q5414956) (← links)
- Multi-Sorted Residuation (Q5414962) (← links)
- A Note on Multidimensional Dyck Languages (Q5414970) (← links)
- Lambek-Grishin calculus: focusing, display and full polarization (Q6612800) (← links)
- Polynomial-time checking of generalized Sahlqvist syntactic shape (Q6639733) (← links)
