On Classical Nonassociative Lambek Calculus

DOI10.1007/978-3-662-53826-5_5zbMath1480.03011MaRDI 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 space; Lambek calculus; sequent system; type grammar

Mathematics Subject Classification ID

03B65: Logic of natural languages

03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)

Related Items

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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