The following pages link to The displacement calculus (Q2429994):
Displaying 18 items.
- Displacement logic for anaphora (Q386040) (← links)
- Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus (Q388206) (← links)
- Language-theoretic and finite relation models for the (full) Lambek calculus (Q2398205) (← links)
- Parsing/theorem-proving for logical grammar \textit{CatLog3} (Q2425322) (← links)
- \(\mathrm{NL}_\lambda\) as the logic of scope and movement (Q2425323) (← links)
- Natural language semantics and computability (Q2425328) (← links)
- Models for the Displacement Calculus (Q2835050) (← links)
- On Some Extensions of Syntactic Concept Lattices: Completeness and Finiteness Results (Q2835051) (← links)
- Overtly Anaphoric Control in Type Logical Grammar (Q2835052) (← links)
- Proof Nets for the Displacement Calculus (Q2835060) (← links)
- On the Logic of Expansion in Natural Language (Q2964007) (← links)
- Normal Forms for Multiple Context-Free Languages and Displacement Lambek Grammars (Q3455855) (← links)
- Extended Lambek Calculi and First-Order Linear Logic (Q5414971) (← links)
- A Categorial Type Logic (Q5414972) (← links)
- Conjoinability in 1-Discontinuous Lambek Calculus (Q5414976) (← links)
- The Hidden Structural Rules of the Discontinuous Lambek Calculus (Q5414977) (← links)
- Making first order linear logic a generating grammar (Q6137829) (← links)
- Multimodality in the Hypergraph Lambek Calculus (Q6196502) (← links)
