The following pages link to (Q5416219):
Displaying 8 items.
- Category theory, logic and formal linguistics: some connections, old and new (Q280832) (← links)
- Logical foundations for hybrid type-logical grammars (Q2135950) (← links)
- A geometrical representation of the basic laws of categorial grammar (Q2363501) (← links)
- Parsing/theorem-proving for logical grammar \textit{CatLog3} (Q2425322) (← links)
- Strong and Weak Quantifiers in Focused NL$$_{\text {CL}}$$ (Q2964000) (← links)
- Lambek’s Syntactic Calculus and Noncommutative Variants of Linear Logic: Laws and Proof-Nets (Q5014592) (← links)
- On Residuation (Q5414955) (← links)
- Extended Lambek Calculi and First-Order Linear Logic (Q5414971) (← links)
