Atlas home || Conferences | Abstracts | about Atlas

AAA76 - 76th Workshop on General Algebra (76. Arbeitstagung Allgemeine Algebra)
May 22-25, 2008
Department of Algebra, Johannes Kepler University Linz
Linz, Austria

Organizers
Erhard Aichinger, Peter Mayr, Matt Nickodemus, Günter Pilz

View Abstracts
Conference Homepage

Cantor-Bernstein theorem in bounded pseudo-BCK-algebras
by
Jan Kühr
Palacky University, Olomouc, Czech Republic

We prove a theorem of Cantor-Bernstein type for bounded pseudo-BCK-algebras (or biresiduation algebras), which are a non-commutative generalization of bounded BCK-algebras and arise as the residuation subreducts of bounded integral residuated lattices.

Date received: May 9, 2008

Copyright © 2008 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # cawc-50.