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's soft set theory provides a general mathematical framework for dealing with uncertainty. The concepts of (M, N)-SI implicative (Boolean) filters of BL-algebras are introduced. Some good examples are explored. The relationships between (M, N)-SI filters and (M, N)-SI implicative filters are discussed. Some properties of (M, N)-SI implicative (Boolean) filters are investigated. In part...

The notions of coupled N -subalgebra, coupled (positive implicative) N -ideals of d-algebras are introduced, and related properties are investigated. Characterizations of a coupled N -subalgebra and a coupled (positive implicative) N -ideals of d-algebras are given. Relations among a coupled N -subalgebra, a coupled N -ideal and a coupled positive implicative N -ideal of d-algebras are discussed.

In this paper, the authors study the notion of n-fold implicative and fuzzy n-fold implicative filters, which correspond to various sets of provable formulaes, in BL-algebras. Several characterizations of fuzzy n-fold implicative filters are given and the authors analyse some relationships with various n-fold and fuzzy n-fold filters in BL-algebras, while constructing some algorithms for studyi...

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 vague ideals in pseudo mv-algebras is introduced,and several properties are investigated. conditions for a vague set to be avague ideal are provided. conditions for a vague ideal to be implicative aregiven. characterizations of (implicative, prime) vague ideals are discussed.the smallest vague ideal containing a given vague set is established. primeand implicative extension proper...

This paper is devoted to the foldness theory of implicative ideals in BCK-algebras. We use the fuzzy point concept to give some characterizations of fuzzy n-fold implicative ideals and establish some relationships with various n-fold ideals. We also construct some algorithms for studying the foldness of implicative ideals in BCK-algebras. AMS Mathematics Subject Classification: 06F35, 13A15, 8A...

We introduce and study some types of fuzzy prefilters (filters) in EQ-algebras. First, we present several characterizations of fuzzy positive implicative prefilters (filters), fuzzy implicative prefilters (filters), and fuzzy fantastic prefilters (filters). Next, using their characterizations, we mainly consider the relationships among these special fuzzy filters. Particularly, we find some con...

We consider the fuzzification of the notion of implicative hyper BCK-ideals, and then investigate several properties. Using the concept of level subsets, we give a characterization of a fuzzy implicative hyper BCK-ideal. We state a relation between a fuzzy hyper BCK-ideal and a fuzzy implicative hyper BCK-ideal. We establish a condition for a fuzzy hyper BCK-ideal to be a fuzzy implicative hype...