Multi-sorted residuation

DOI10.1007/978-3-642-54789-8_8MaRDI QIDQ5414962zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Extensions of Lambek calculi
• scientific article; zbMATH DE number 1735907
• scientific article; zbMATH DE number 4134014
• On Residuation
• On involutive nonassociative Lambek calculus

Cites work

• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 4002074 (Why is no real title available?)
• scientific article; zbMATH DE number 1406803 (Why is no real title available?)
• Agreement and cliticization in Italian: a pregroup analysis
• Boolean Algebras with Operators
• Boolean Algebras with Operators. Part I
• Classical non-associative Lambek calculus
• Disjunction property and complexity of substructural logics
• Distributive full Lambek calculus has the finite model property
• Generalized Galois logics. Relational semantics of nonclassical logical calculi
• Interpolation and FEP for logics of residuated algebras
• Language in action. Categories, lambdas and dynamic logic
• Lattices and ordered algebraic structures
• Modal logic
• Non-associative Lambek calculus with modalities: interpolation, complexity and FEP
• Nonassociative Lambek Calculus with Additives and Context-Free Languages
• On canonical embeddings of residuated groupoids
• Powerset Residuated Algebras and Generalized Lambek Calculus
• Relational semantics of the Lambek calculus extended with classical propositional logic
• Residuated lattices. An algebraic glimpse at substructural logics
• Residuation, structural rules and context freeness
• Symmetric categorial grammar
• The Lambek calculus enriched with additional connectives
• The Mathematics of Sentence Structure
• The equivalence of Nonassociative Lambek Categorial Grammars and Context-Free Grammars

Cited in

(7)

• Sorting Multidimensional Types: Theory and Application
• On the complexity of the equational theory of residuated Boolean algebras
• scientific article; zbMATH DE number 177571 (Why is no real title available?)
• scientific article; zbMATH DE number 5630647 (Why is no real title available?)
• Extensible Datasort Refinements
• scientific article; zbMATH DE number 2085285 (Why is no real title available?)
• Soft typing for ordered resolution

This page was built for publication: Multi-sorted residuation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5414962)