We prove that every symmetric residuated groupoid is em-beddable in a boolean double residuated groupoid. Analogous results are obtained for other classes of algebras, e.g. (commutative) symmetric residuated semigroups, symmetric residuated unital groupoids, cyclic bilinear algebras. We also show that powerset algebras constructed in the paper preserve some Grishin axioms. © Springer-Verlag Berlin Heidelberg 2014.
CITATION STYLE
Kołowska-Gawiejnowicz, M. (2014). On canonical embeddings of residuated groupoids. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8222, 253–267. https://doi.org/10.1007/978-3-642-54789-8_14
Mendeley helps you to discover research relevant for your work.