The following pages link to Multimodal linguistic inference (Q1923840):
Displaying 26 items.
- Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus (Q388206) (← links)
- On the definition of suitable orderings to generate adjunctions over an unstructured codomain (Q508629) (← links)
- On translating Lambek grammars with one division into context-free grammars (Q511445) (← links)
- Symmetric categorial grammar (Q843772) (← links)
- S4 enriched multimodal categorial grammars are context-free: Corrigendum (Q944389) (← links)
- Schur complements obey Lambek's categorial grammar: Another view of Gaussian elimination and LU decomposition (Q1307278) (← links)
- On the recognizing power of the Lambek calculus with brackets (Q1630945) (← links)
- The multiplicative-additive Lambek calculus with subexponential and bracket modalities (Q2035845) (← links)
- Hypergraph Lambek grammars (Q2079680) (← links)
- A proof-theoretic approach to negative translations in intuitionistic tense logics (Q2082257) (← links)
- Non-associative, non-commutative multi-modal linear logic (Q2104536) (← links)
- Powerful and NP-complete: hypergraph Lambek grammars (Q2117261) (← links)
- On involutive nonassociative Lambek calculus (Q2425321) (← links)
- S4 enriched multimodal categorial grammars are context-free (Q2464941) (← links)
- Non-normal modal logics and conditional logics: semantic analysis and proof theory (Q2672662) (← links)
- Categorial Grammars and Their Logics (Q4611658) (← links)
- Galois Connections in Categorial Type Logic (Q4923551) (← links)
- The emptiness of intersection problem for languages of k-valued categorial grammars (classical and Lambek) is undecidable (Q4923557) (← links)
- Extensions of Lambek Calculi (Q5014595) (← links)
- (Q5111318) (← links)
- Some Syntactic Interpretations in Different Systems of Full Lambek Calculus (Q5213652) (← links)
- Subexponentials in non-commutative linear logic (Q5236554) (← links)
- Extended Lambek Calculi and First-Order Linear Logic (Q5414971) (← links)
- A Categorial Type Logic (Q5414972) (← links)
- Explorations in Subexponential Non-associative Non-commutative Linear Logic (Q6196498) (← links)
- Multimodality in the Hypergraph Lambek Calculus (Q6196502) (← links)
