Pages that link to "Item:Q1850954"
From MaRDI portal
The following pages link to Proof nets for the multimodal Lambek calculus (Q1850954):
Displaying 25 items.
- Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus (Q388206) (← links)
- Symmetric categorial grammar (Q843772) (← links)
- Types as graphs: Continuations in type logical grammar (Q1006443) (← links)
- General parameterised refinement and recursion for the M-net calculus (Q1399968) (← links)
- Multimodal linguistic inference (Q1923840) (← links)
- Grammar induction by unification of type-logical lexicons (Q1959226) (← links)
- Logical foundations for hybrid type-logical grammars (Q2135950) (← links)
- Natural language semantics and computability (Q2425328) (← links)
- Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing (Q2835043) (← links)
- Proof Nets for the Displacement Calculus (Q2835060) (← links)
- Multiplicative linear logics and fibrations (Q2842824) (← links)
- Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing (Q2947459) (← links)
- Categorial Grammars and Minimalist Grammars (Q3013022) (← links)
- Proof Nets for Lambek Calculus (Q4013256) (← links)
- (Q4411821) (← links)
- Conflict nets (Q4635901) (← links)
- Clausal Proofs and Discontinuity (Q4842280) (← links)
- Learnability of type-logical grammars (Q4923558) (← links)
- A Graph-Theoretic Approach to Sequent Derivability in the Lambek Calculus (Q4923572) (← links)
- Proof nets for multiplicative cyclic linear logic and Lambek calculus (Q5377696) (← links)
- Proof Nets for Basic Discontinuous Lambek Calculus (Q5385203) (← links)
- Extended Lambek Calculi and First-Order Linear Logic (Q5414971) (← links)
- (Q5416219) (← links)
- (Q5457387) (← links)
- UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC (Q6170504) (← links)
