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

Molodtsov [5] introduced the concept of soft set as a new mathematical tool for dealing with uncertainties that is free from the difficulties that have troubled the usual theoretical approaches. In this paper we apply the notion of soft sets by Molodtsov to an implicative ideal of BCK-algebras. The notion of implicative soft ideals in BCKalgebras and implicative idealistic soft BCK-algebras is ...

Georgescu and Iorgulescu [3] introduced pseudo-BCK-algebras (in a slightly different way) as a non-commutative generalization of BCK-algebras, in the sense that if →= , then the algebra (A,→, 1) is a BCK-algebra. Pseudo-BCK-algebras relate to (non-commutative) residuated lattices as BCK-algebras do to commutative residuated lattices; specifically, by [6], pseudoBCK-algebras are just the 〈→, , 1...