This paper deals with some properties of n-fold commutative ideals and n-fold weak commutative ideals in BCK-algebras. Afterwards, we construct some algorithms for studying foldness theory of commutative ideals in BCK-algebras.

BZ-algebra, as the common generalization of BCI-algebra and BCC-algebra, is a kind important logic algebra. Herein, new concepts QM-BZ-algebra quasi-hyper BZ-algebra are proposed their structures constructions studied. First, definition presented, structure obtained: Each KG-union quasi-alter BCK-algebra anti-grouped BZ-algebra. Second, generalized quasi-left alter (hyper) BZ-algebras QM-hyper ...

We describe weak BCC-algebras (also called BZ-algebras) in which the condition (xy)z = (xz)y is satisfied only in the case when elements x, y belong to the same branch. We also characterize branchwise commutative and branchwise implicative weak BCC-algebras satisfying this condition. We also describe connections between various types of implicative weak BCC-algebras.

In this note first we define the notion of dual positive implicative hyper Kideal of type 4, where for simplicity is written by DPIHKI − T4. Then we give some related results. Finally we determine all of hyper K-algebras of order 3, which have D1 = {1}, D2 = {1, 2} or D3 = {0, 1} as a DPIHKI − T4.

In this paper we study particular classes of pseudo-BCK algebras, bounded or not bounded, as pseudo-BCK(pP) algebras, pseudo-BCK(pP) lattices, pseudo-Hájek(pP) algebras and pseudo-Wajsberg algebras. We introduce new classes of pseudo-BCK(pP) lattices, we establish hierarchies and we give some examples. We work with left-defined algebras and we work with → and ; as primitive operations, not with...