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

On the variety generated by pseudo-BCK-algebras
by
Radomir Halas
Palacky University Olomouc

BCK-algebras were introduced as an algebraic semantics of Meredith's implicational calculus. Pseudo-BCK-algebras form a non-commutative version of BCK-algebras. Since the class of pseudo-BCK-algebras is a proper quasivariety, there is a natural question what can be said about the variety generated by this class. The answer to the above question will be discussed.

Date received: April 12, 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-28.