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...

First we show that the cosets of a fuzzy ideal μ in a BCK-algebraX form another BCK-algebra  X/μ (called the fuzzy quotient BCK-algebra of X by μ). Also we show thatX/μ is a fuzzy partition of X and we prove several some isomorphism theorems. Moreover we prove that if the associated fuzzy similarity relation of a fuzzy partition P of a commutative BCK-algebra iscompatible, then P is a fuzzy quo...

This  paper extends the notion of fuzzy $BCK$-subalgebras to fuzzy hyper $BCK$-subalgebras and defines an extended fuzzy $BCK$-subalgebras. This study  considers  a type of fuzzy hyper  $BCK$-ideals  in this  hyperstructure  and  describes   the  relationship  between hyper  $BCK$-ideals and  fuzzy hyper  $BCK$-ideals.  In fact, it tries to introduce   a  strongly  regular  relation  on hyper $...

The notion of a state is an analogue of a probability measure and was first introduced by Kôpka and Chovanec for MV-algebras and by Riec̆an for BLalgebras. The states have also been studied for different types of non-commutative fuzzy structures such as pseudo-MV algebras, pseudo-BL algebras, bounded R`monoids, residuated lattices and pseudo-BCK semilattices. In this paper we investigate the sta...

The aim of this paper is to apply the concept of interval-valued intuitionistic fuzzy set to implicative ideals and commutative ideals in BCK-algebras and introduced the new notion of interval-valued intuitionistic fuzzy implicative ideals in BCK-algebras and interval-valued intuitionistic fuzzy commutative ideals in BCK-algebras and related properties are investigated.

The notion of fuzzy s-prime filters of a bounded BCK-algebra is introduced.We discuss the relation between fuzzy s-prime filters and fuzzy prime filters. By the fuzzy s-prime filters of a bounded commutative BCK-algebra X, we establish a fuzzy topological structure on X. We prove that the set of all fuzzy s-prime filters of a bounded commutative BCK-algebra forms a topological space. Moreover, ...

In this paper, we investigate the ideal theory in BCK-algebras and we define the notions of primary and P -primary ideals. Then we show that in bounded implicative BCK-algebras, if an ideal has a primary decomposition, then it has a reduced primary decomposition. In the follow, we extend the above concepts to X-modules (Extended BCK-modules) and we introduce the notions of primary and P -primar...