Multi-Sorted Residuation

DOI10.1007/978-3-642-54789-8_8zbMath1285.03013OpenAlexW193361031MaRDI 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

Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (1)

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

This page was built for publication: Multi-Sorted Residuation