in this paper we define the notions of ultra and involution ideals in bck-algebras. then we get the relation among them and other ideals as (positive) implicative, associative, commutative and prime ideals. specially, we show that in a bounded implicative bck-algebra, any involution ideal is a positive implicative ideal and in a bounded positive implicative lower bck-semilattice, the notions of...

In this paper, we define the notions of ultra and involution ideals in $BCK$-algebras. Then we get the relation among them and other ideals as (positive) implicative, associative, commutative and prime ideals. Specially, we show that in a bounded implicative $BCK$-algebra, any involution ideal is a positive implicative ideal and in a bounded positive implicative lower $BCK$-semilattice, the not...

The notion of a positive implicative pseudo-valuation on a BCKalgebra is introduced, and its characterizations are investigated. The relationship between a pseudo-valuation and a positive implicative pseudovaluation is examined. Reduction property for a positive implicative pseudo-valuation is established. Mathematics Subject Classification: 06F35, 03G25

In this paper, we interrelate the intuitionistic fuzzification of the concept of BCI-(positive implicative, implicative, commutative) ideals in BCI-algebras and investigate some of their properties.

The notion of positive implicative vague ideals in BCKalgebras is introduced. A relation between a vague ideal and a positive implicative vague ideal is discussed. Characterizations of a positive implicative vague ideal are considered. 2010 AMS Classification: 06F35, 03G25, 03E72

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