Multi-Sorted Residuation
From MaRDI portal
Publication:5414962
DOI10.1007/978-3-642-54789-8_8zbMath1285.03013MaRDI QIDQ5414962
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
03G25: Other algebras related to logic
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
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