Classical non-associative Lambek calculus
From MaRDI portal
Publication:1850952
DOI10.1023/A:1020520915016zbMATH Open1032.03014MaRDI QIDQ1850952FDOQ1850952
Philippe de Groote, François Lamarche
Publication date: 15 December 2002
Published in: Studia Logica (Search for Journal in Brave)
Recommendations
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Decidability of theories and sets of sentences (03B25) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Cited In (22)
- Symmetric categorial grammar
- Cut Elimination and Decidability for Classical Lambek Logic
- Multi-Sorted Residuation
- k-Valued Non-Associative Lambek Grammars are Learnable from Function-Argument Structures
- Extensions of Lambek Calculi
- Extending the Lambek calculus with classical negation
- Disjunction property and complexity of substructural logics
- On Classical Nonassociative Lambek Calculus
- On the complexity of nonassociative Lambek calculus with unit
- Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity
- Pomset Logic
- One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity
- \(k\)-valued non-associative Lambek grammars are learnable from generalized functor-argument structures
- Multiplicative linear logics and fibrations
- Explorations in Subexponential Non-associative Non-commutative Linear Logic
- DE MORGAN INTERPRETATION OF THE LAMBEK–GRISHIN CALCULUS
- A rule-extension of the non-associative Lambek calculus
- Categorial Grammars and Their Logics
- Non-associative, non-commutative multi-modal linear logic
- A classical linear \(\lambda\)-calculus
- On involutive nonassociative Lambek calculus
- Proof-Theoretic Aspects of the Lambek-Grishin 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)
