BCC-Algebras

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 the subject and to present them in the form of a logically created theory. Through appropriate grading and a precise description of the steps of the proofs, this theory is easily assimilated, and it should not take too long for the reader to learn about it. We begin with the motivation for their creation, many examples, and basic results used later in the book. Then we deal with the constructions of BCC-algebras and calculate the numbers of their subalgebras. The author describes the so-called solid weak BCC-algebras. They have some properties of BCI-algebras, but this requires completely new, often difficult, proofs. The important subclasses of weak BCC-algebras and the relationships between them are presented with many examples. BCC-Algebras is intended for researchers dealing with abstract algebra and for logicians working on the border between logic and algebra. The book is also of interest to students interested in the theory of (weak) BCC-algebras or simply in abstract algebra. The structure of the book makes it possible to discover topics that require further research, which, depending on the degree of difficulty, may be completed with a thesis or dissertation.