On Canonical Embeddings of Residuated Groupoids

DOI10.1007/978-3-642-54789-8_14zbMath1285.03078OpenAlexW60168121MaRDI QIDQ5414968

Mirosława Kołowska-Gawiejnowicz

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_14

zbMATH Keywords

representation theoremsresiduated groupoidsboolean double residuated groupoidsymmetric residuated groupoids

Mathematics Subject Classification ID

Other algebras related to logic (03G25)

Related Items (1)

Multi-Sorted Residuation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Residuated lattices. An algebraic glimpse at substructural logics
• Some lattice models of bilinear logic
• Interpolation and FEP for logics of residuated algebras
• Quantales and (noncommutative) linear logic
• Relational Semantics for the Lambek-Grishin Calculus
• Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• Powerset Residuated Algebras and Generalized Lambek Calculus

This page was built for publication: On Canonical Embeddings of Residuated Groupoids