On classical nonassociative Lambek calculus
DOI10.1007/978-3-662-53826-5_5zbMATH Open1480.03011OpenAlexW2549671079MaRDI QIDQ2963995FDOQ2963995
Authors: Wojciech Buszkowski 
Publication date: 22 February 2017
Published in: Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-53826-5_5
Recommendations
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logic of natural languages (03B65)
Cites Work
- Linear logic
- Residuated lattices. An algebraic glimpse at substructural logics
- Quantales and (noncommutative) linear logic
- Interpolation and FEP for logics of residuated algebras
- Nonassociative Lambek Calculus with Additives and Context-Free Languages
- Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
- Classical non-associative Lambek calculus
- The finite model property for various fragments of linear logic
- Language and grammar. Studies in mathematical linguistics and natural language
- Title not available (Why is that?)
- Undecidability of consequence relation in full non-associative Lambek calculus
- Title not available (Why is that?)
- Title not available (Why is that?)
- Classical conservative extensions of Lambek calculus
Cited In (14)
- Extending the Lambek calculus with classical negation
- Polarized classical non-associative Lambek calculus and formal semantics
- Nonassociative Lambek Calculus with Additives and Context-Free Languages
- Strong and weak quantifiers in focused \({\text{NL}}_{\text{CL}}\)
- Polarities in logic and semantics
- One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity
- Title not available (Why is that?)
- Classical non-associative Lambek calculus
- Extensions of Lambek calculi
- Explorations in Subexponential Non-associative Non-commutative Linear Logic
- Proof-theoretic aspects of the Lambek-Grishin calculus
- Involutive nonassociative Lambek calculus: sequent systems and complexity
- A classical linear \(\lambda\)-calculus
- On involutive nonassociative Lambek calculus
This page was built for publication: On classical nonassociative Lambek calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2963995)
