Pages that link to "Item:Q5414971"
From MaRDI portal
The following pages link to Extended Lambek Calculi and First-Order Linear Logic (Q5414971):
Displaying 5 items.
- Parsing/theorem-proving for logical grammar \textit{CatLog3} (Q2425322) (← links)
- Models for the Displacement Calculus (Q2835050) (← links)
- Proof Nets for the Displacement Calculus (Q2835060) (← links)
- Making first order linear logic a generating grammar (Q6137829) (← links)
- Multimodality in the Hypergraph Lambek Calculus (Q6196502) (← links)
