On Classical Nonassociative Lambek Calculus

DOI10.1007/978-3-662-53826-5_5zbMath1480.03011OpenAlexW2549671079MaRDI QIDQ2963995

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

zbMATH Keywords

phase spaceLambek calculussequent systemtype grammar

Mathematics Subject Classification ID

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

Related Items (4)

On involutive nonassociative Lambek calculus ⋮ Explorations in Subexponential Non-associative Non-commutative Linear Logic ⋮ One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity ⋮ Extensions of Lambek Calculi

Cites Work

• Linear logic
• Residuated lattices. An algebraic glimpse at substructural logics
• Classical conservative extensions of Lambek calculus
• Classical non-associative Lambek calculus
• Interpolation and FEP for logics of residuated algebras
• Quantales and (noncommutative) linear logic
• Nonassociative Lambek Calculus with Additives and Context-Free Languages
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• The finite model property for various fragments of linear logic
• UNDECIDABILITY OF CONSEQUENCE RELATION IN FULL NON-ASSOCIATIVE LAMBEK CALCULUS
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On Classical Nonassociative Lambek Calculus