Non-commutative Algebras. Pseudo-BCK Algebras versus m-pseudo-BCK Algebras

The monograph presents groundbreaking research on non-commutative algebras connected to logic, featuring results and examples that have not been previously published. The author attributes the rapid progress and significant findings to the assistance of the Prover9-Mace4 computer program, created by William W. McCune. This work showcases the intersection of advanced algebraic concepts and computational tools, highlighting the innovative methods used in the research process.