The following pages link to (Q3754605):
Displaying 9 items.
- On the complexity of nonassociative Lambek calculus with unit (Q1035836) (← links)
- Gaifman's theorem on categorial grammars revisited (Q1115429) (← links)
- Algebraic structures in categorial grammar (Q1129119) (← links)
- Extending Lambek grammars to basic categorial grammars (Q1923836) (← links)
- S4 enriched multimodal categorial grammars are context-free (Q2464941) (← links)
- Type logics and pregroups (Q2467212) (← links)
- On the logic of \(\beta\)-pregroups (Q2467221) (← links)
- On Classical Nonassociative Lambek Calculus (Q2963995) (← links)
- Multi-Sorted Residuation (Q5414962) (← links)
