On classical nonassociative Lambek calculus

DOI10.1007/978-3-662-53826-5_5MaRDI QIDQ2963995zbMATH OpenOpenAlexFDO

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)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-662-53826-5_5

zbMATH Keywords

phase spaceLambek calculussequent systemtype grammar

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logic of natural languages (03B65)

Recommendations

• Classical non-associative Lambek calculus
• On involutive nonassociative Lambek calculus
• Extending the Lambek calculus with classical negation
• Involutive nonassociative Lambek calculus: sequent systems and complexity
• On the complexity of nonassociative Lambek calculus with unit

Cites work

• scientific article; zbMATH DE number 5289967 (Why is no real title available?)
• scientific article; zbMATH DE number 4002074 (Why is no real title available?)
• scientific article; zbMATH DE number 742720 (Why is no real title available?)
• Classical conservative extensions of Lambek calculus
• Classical non-associative Lambek calculus
• Interpolation and FEP for logics of residuated algebras
• Language and grammar. Studies in mathematical linguistics and natural language
• Linear logic
• Nonassociative Lambek Calculus with Additives and Context-Free Languages
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• Quantales and (noncommutative) linear logic
• Residuated lattices. An algebraic glimpse at substructural logics
• The finite model property for various fragments of linear logic
• Undecidability of consequence relation in full non-associative 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
• scientific article; zbMATH DE number 3887659 (Why is no real title available?)
• One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity
• 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)