Distributed by Elsevier Science on behalf of Science Press. This book is mainly designed for graduate students who are interested in the theory of BCK and BCI-a

The subjects described in this book are BCC-algebras and an even wider class of weak BCC-algebras. The aim of the book is to summarize the achievements to date

In this thesis, we discuss some structural theory of a d-algebra which is a generalization of a BCK-algebra, and wedis uss analytic real algebras. We investigat

This book constitutes the refereed proceedings of the 21st International Workshop on Computer Science Logic, CSL 2007, held as the 16th Annual Conference of the