On involutive nonassociative Lambek calculus

DOI10.1007/s10849-018-09278-9zbMath1477.03063MaRDI QIDQ2425321

Wojciech Buszkowski

Publication date: 26 June 2019

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-018-09278-9

zbMATH Keywords

phase space; Lambek calculus; linear logic; context-free grammar; sequent system; type grammar

Mathematics Subject Classification ID

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

03F52: Proof-theoretic aspects of linear logic and other substructural logics

Related Items

Extensions of Lambek Calculi

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logic of categorial grammars. A deductive account of natural language syntax and semantics
• Linear logic
• Non-commutative linear logic in linguistics
• Symmetric categorial grammar
• Residuated lattices. An algebraic glimpse at substructural logics
• Language in action. Categories, lambdas and dynamic logic
• A tale of four grammars
• Classical non-associative Lambek calculus
• Multimodal linguistic inference
• Lambek calculus is NP-complete
• Interpolation and FEP for logics of residuated algebras
• On Classical Nonassociative Lambek Calculus
• The Mathematics of Sentence Structure
• Quantales and (noncommutative) linear logic
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• The finite model property for various fragments of linear logic
• Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity
• Residuated frames with applications to decidability
• Non-associative Lambek calculus with modalities: interpolation, complexity and FEP