Recommendations
Cited in
(23)- On classical nonassociative Lambek calculus
- Symmetric categorial grammar
- Cut Elimination and Decidability for Classical Lambek Logic
- Extending the Lambek calculus with classical negation
- Disjunction property and complexity of substructural logics
- Polarized classical non-associative Lambek calculus and formal semantics
- On the complexity of nonassociative Lambek calculus with unit
- Categorial grammars and their logics
- Multi-sorted residuation
- \(k\)-valued non-associative Lambek grammars are learnable from generalized functor-argument structures
- Multiplicative linear logics and fibrations
- One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity
- De Morgan interpretation of the Lambek-Grishin calculus
- \(K\)-valued non-associative Lambek grammars are learnable from function-argument structures
- Extensions of Lambek calculi
- Explorations in Subexponential Non-associative Non-commutative Linear Logic
- Proof-theoretic aspects of the Lambek-Grishin calculus
- A rule-extension of the non-associative Lambek calculus
- Involutive nonassociative Lambek calculus: sequent systems and complexity
- Pomset logic. The other approach to noncommutativity in logic
- Non-associative, non-commutative multi-modal linear logic
- A classical linear \(\lambda\)-calculus
- On involutive nonassociative Lambek calculus
This page was built for publication: Classical non-associative Lambek calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1850952)
