Pages that link to "Item:Q1850952"
From MaRDI portal
The following pages link to Classical non-associative Lambek calculus (Q1850952):
Displayed 19 items.
- Disjunction property and complexity of substructural logics (Q549720) (← links)
- Symmetric categorial grammar (Q843772) (← links)
- On the complexity of nonassociative Lambek calculus with unit (Q1035836) (← links)
- Non-associative, non-commutative multi-modal linear logic (Q2104536) (← links)
- Extending the Lambek calculus with classical negation (Q2118967) (← links)
- \(k\)-valued non-associative Lambek grammars are learnable from generalized functor-argument structures (Q2369010) (← links)
- On involutive nonassociative Lambek calculus (Q2425321) (← links)
- Multiplicative Linear Logics and Fibrations (Q2842824) (← links)
- Proof-Theoretic Aspects of the Lambek-Grishin Calculus (Q2947464) (← links)
- On Classical Nonassociative Lambek Calculus (Q2963995) (← links)
- DE MORGAN INTERPRETATION OF THE LAMBEK–GRISHIN CALCULUS (Q3389495) (← links)
- Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity (Q4608556) (← links)
- Categorial Grammars and Their Logics (Q4611658) (← links)
- k-Valued Non-Associative Lambek Grammars are Learnable from Function-Argument Structures (Q4924528) (← links)
- One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity (Q4999464) (← links)
- Extensions of Lambek Calculi (Q5014595) (← links)
- Pomset Logic (Q5014600) (← links)
- Multi-Sorted Residuation (Q5414962) (← links)
- Explorations in Subexponential Non-associative Non-commutative Linear Logic (Q6196498) (← links)