Multi-Sorted Residuation

DOI10.1007/978-3-642-54789-8_8zbMath1285.03013MaRDI QIDQ5414962

Wojciech Buszkowski

Publication date: 8 May 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-54789-8_8

Mathematics Subject Classification ID

03G25: Other algebras related to logic

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

Related Items

On the Complexity of the Equational Theory of Residuated Boolean Algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Relational semantics of the Lambek calculus extended with classical propositional logic
• Disjunction property and complexity of substructural logics
• Symmetric categorial grammar
• Residuated lattices. An algebraic glimpse at substructural logics
• Distributive full Lambek calculus has the finite model property
• Language in action. Categories, lambdas and dynamic logic
• The Lambek calculus enriched with additional connectives
• Residuation, structural rules and context freeness
• Lattices and ordered algebraic structures
• Classical non-associative Lambek calculus
• Interpolation and FEP for logics of residuated algebras
• The Mathematics of Sentence Structure
• Agreement and Cliticization in Italian: A Pregroup Analysis
• Nonassociative Lambek Calculus with Additives and Context-Free Languages
• The equivalence of Nonassociative Lambek Categorial Grammars and Context-Free Grammars
• Powerset Residuated Algebras and Generalized Lambek Calculus
• Non-associative Lambek calculus with modalities: interpolation, complexity and FEP
• On Canonical Embeddings of Residuated Groupoids
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators