Pages that link to "Item:Q5385203"
From MaRDI portal
The following pages link to Proof Nets for Basic Discontinuous Lambek Calculus (Q5385203):
Displaying 10 items.
- Continuation semantics for the Lambek-Grishin calculus (Q964491) (← links)
- Parsing/theorem-proving for logical grammar \textit{CatLog3} (Q2425322) (← links)
- The displacement calculus (Q2429994) (← links)
- Proof Nets for the Displacement Calculus (Q2835060) (← links)
- Dutch Grammar and Processing: A Case Study in TLG (Q3623844) (← links)
- A Sign-Based Extension to the Lambek Calculus for Discontinuous Constituency (Q4847370) (← links)
- Extended Lambek Calculi and First-Order Linear Logic (Q5414971) (← links)
- The Hidden Structural Rules of the Discontinuous Lambek Calculus (Q5414977) (← links)
- (Q5416219) (← links)
- Embedding \(\mathsf{HTLCG}\) into \(\mathsf{LCG}_\phi \) (Q6097777) (← links)