On open problems based on fuzzy filters of pseudo BCK -algebras

Abstract

We study the properties and relations of fuzzy pseudo-filters of pseudo-BCK algebras. After we discuss the equivalent conditions of fuzzy normal pseudo-filter of pseudo-BCK algebra (pP), we propose fuzzy implicative pseudo-filter and its relation with fuzzy Boolean filter of (bounded) pseudo-BCK algebras (pP). Then two open problems: “In pseudo-BCK algebra or bounded pseudo-BCK algebra, Is the notion of implicative pseudo-filter equivalent to the notion of Boolean filter?” and “Prove or negate the following conclusion: A pseudo-BCK algebra is an implicative pseudo-BCK algebra if and only if every pseudo-filter of it is a Boolean filter(or an implicative pseudo-filter)” are partly solved.

1 Introduction

The rapid development of mathematical logic, technology and computing science put forward many new requirements, thus contributing to the non-classical logic and the rapid development of modern logic. The study of fuzzy logic has become a hot topic with scientific information and artificial intelligence, which make fuzzy logic study of algebra and logic inseparable. Historically, the logic of algebra initiated in the early Leibniz period, he made use of symbols proposition to establish a two-valued logic calculus theory. Modern classical mathematical logic has been formed, and characterized as any proposition are “true” and “false” binary judgments in the 20th century.

However, science and technology is constantly in progress and development, so in real life, not everything can be described by absolutely true and absolutely false binary logic to deal with the phenomenon around. The classic two-valued logic can not meet the needs of new types of reasoning. Therefore, the classical two-valued logic must be improved and new promotion and reasoning should occur to meet the needs of real life. One way to improve and extend the classical two-valued logic is to expand the domain of assignment, which formed a multi-valued logic systems and fuzzy logic system. This system consists of a well-known Lukasiewicz logic, Godel logic, Gainse-Resche logic systems, basic logic BL, fuzzy propositional calculus formal deductive system, and so on. Fuzzy logic is both the mathematical basis of the artificial intelligence and fuzzy reasoning. Based on the actual background, different forms of fuzzy logic system is proposed.

The logical algebras are the algebraic counterpart of the the non-classical logic. For example, BCK-algebra, BL-algebras, pseudo MTL-algebras and non-commutative residuated lattice are algebraic counterparts of BCK Logic, Basic Logic, monoidalt-norm-based logic and monoidal logic respectively[2, 19].

In 1966, BCK-algebra was introduced by Iséki and Imai from BCK/BCI Logic [11]. From then on, numerous research work have been done on this, including ordered structure, algebraic structure, ideal, filter and the relations between them and logic. Afterwards, pseudo-BCK algebras, an extension of BCK-algebras, was proposed to express the non-commutative reasoning by Georgescu and Iorgulescu [6].

Filters theory plays a vital role not only in studying of algebraic structure, but also in non-classical logic and Computer Science [23]. From the aspect of logical point, filters correspond to various provable formulae sets [23]. For example, based on filters and prime filters in BL-algebras, Hájek proved the completeness of Basic Logic BL [18]. Literatures [1, 30], further studied filters of BL-algebras, lattice implication algebras, pseudo BL-algebras, pseudo effect-algebras, residuated lattices, triangle algebras and the corresponding algebraicstructures.

Fuzzy sets were introduced in 1965 by Zadeh [14]. At present, fuzzy ideas have been applied to algebraic structures. Furthermore, fuzzy filter ideas function well in studying of algebraic structures. In lattice implication algebras fuzzy positive implicative filters was introduced [30]. [27, 28] characterized fuzzy positive implicative filters of lattice implication algebras. [15, 16] further studied fuzzy filters of BL-algebras. Wang and Xin solved an open problem in pseudo BL-algebras between fuzzy normal and fuzzy Boolean filter [20]. Literatures [10, 29] studied interval valued-fuzzy filters in pseudo BL-algebras and MTL-algebras. Therefore, fuzzy filters are a useful tool to obtain results on algebraic structures of logic algebras.

In [22], there is an open problem: “In pseudo-BCK algebra or bounded pseudo-BCK algebra, Is the notion of implicative pseudo-filter equivalent to the notion of Boolean filter?” In [8], there is an open problem: “Prove or negate that pseudo-BCK algebras is implicative BCK algebras if and only if every pseudo-filters of them is implicative pseudo-filters (or Boolean filter).” The two kinds of filters are important to deep study of the algebraic structure of pseudo-BCK algebra, thus the two open problems are interesting and meaningful topics for deep research in pseudo-BCK algebra and are the motivation of this paper. We found it difficult to directly discuss the relation between the two filters, and we also found that fuzzy idea will be helpful in study of the algebraic structure, so we focused on the fuzzy filters of the two kinds andtheir relation.

We explore the properties and relations of fuzzy pseudo-filters of pseudo-BCK algebras. After we discuss the equivalent conditions of fuzzy normal pseudo-filter of pseudo-BCK algebra (pP), we propose fuzzy implicative pseudo-filter and its relation with fuzzy Boolean filter of (bounded) pseudo-BCK algebras (pP). Then two open problems are partly solved.

2 Preliminaries

Here we recall some basic results.

Definition 2.1. (Nola, Georgescu and Iorgulescu [2]) An algebraic structure (A, ∨ , ∧ , ⊙ , ⇀ , ⇝ , 0, 1) is called a pseudo-BL algebra if for all x, y, z ∈ A

(1) (A, ∨ , ∧ , 0, 1) is a bounded lattice,

(2) (A, ⊙ , 1) is a monoid,

(3) x ⊙ y ≤ z ⇔ x ≤ y ⇀ z ⇔ y ≤ x ⇝ z,

(4) x ∧ y = (x ⇀ y) ⊙ x = x ⊙ (x ⇝ y),

(5) (x ⇀ y) ∨ (y ⇀ x) = (x ⇝ y) ∨ (y ⇝ x) =1.

Definition 2.2. (Meng and Jun [9]) An algebraic structure (A, ⇀ , 1) is called an BCK-algebra if for all x, y, z ∈ A

(1) (z ⇀ x) ⇀ (y ⇀ x)) ≥ (y ⇀ z),

(2) (y ⇀ x) ⇀ x ≥ y,

(3) x ≥ x,

(4) x ≥ y and y ≥ x imply x = y,

(5) x ⇀ 1 =1,

where x ≤ y means x ⇀ y = 1.

Definition 2.3. (Georgescu and Iorgulescu [6]) An algebraic structure (A, ≥ , ⇀ , ⇝ , 1) is called a (reversed left-) pseudo-BCK algebra, such that for all x, y, z ∈ A, the axioms hold

(1)(z  ⇀  x)   ⇝   (y  ⇀  x))   ≥  y  ⇀  z,   (z ⇝ x)   ⇀ (y ⇝  x))≥y ⇝ z,

(2) (y ⇀ x) ⇝ x ≥ y, (y ⇝ x) ⇀ x ≥ y,

(3) x ≥ x,

(4) 1 ≥ x,

(5) x ≥ y and y ≥ x imply x = y,

(6) x ≥ y ⇔ y ⇀ x = 1 ⇔ y ⇝ x = 1.

Example 2.4 (Lee and Park [13]) Let X = [0, ∞] and let ≤ be the usual order on X. Define binary operations ⇀ and ⇝ on X by x ⇀ y = 0 (ifx ≤ y), $x\rightharpoonup y=\frac{2x}{\pi }\mathit{arctan}\left(\mathit{ln}\right(\frac{x}{y}\left)\right)(\mathit{ify}<x)$; x ⇝ y = 0 (ifx ≤ y), $x⇝y={\mathit{xe}}^{-\mathit{tan}\left(\frac{\pi y}{2x}\right)}(\mathit{ify}<x)$. for all x, y ∈ X. Then (X, ≤ , ⇀ , ⇝ , 0) is a pseudo-BCK algebra.

Definition 2.5. (Georgescu and Iorgulescu [6]) A pseudo-BCK algebra (A, ≥ , ⇀ , ⇝ , 1) is called bounded if there exists unique element 0 such that 0 ⇀ x = 1 or 0 ⇝ x = 1 for any x ∈ A.

In a bounded pseudo-BCK algebra A we define: x^- = x ⇀ 0, x^∼ = x ⇝ 0 for any x ∈ A.

Proposition 2.6. (Georgescu and Iorgulescu [6]) Let (A, ≥ , ⇀ , ⇝ , 1) be a pseudo-BCK algebra. Then the following properties hold for any x, y, z ∈ A

(1) x ≤ y ⇀ y ⇀ z ≤ x ⇀ z and y ⇝ z ≤ x ⇝ z,

(2) x ≤ y ⇀ z ⇀ x ≤ z ⇀ y and z ⇝ x ≤ z ⇝ y,

(3)z ⇀ x ≤ (y ⇀ z) ⇀ (y ⇀ x), z ⇝ x ≤ (y ⇝ z)⇝ (y ⇝ x),

(4) z ⇝ (y ⇀ x) = y ⇀ (z ⇝ x).

Definition 2.7. (Georgescu and Iorgulescu [6]) A pseudo-BCK algebra (pP) (i.e., with pseudo-product) is a pseudo-BCK algebra (A, ≥ , ⇀ , ⇝ , 1) satisfying the condition (pP)

(pP) for all x, y ∈ A, there exists x ⊙ y = min {z|x ≤ y ⇀ z} = min {z|y ≤ x ⇝ z}.

Theorem 2.8. (Zhang [21]) Let (A, ≥ , ⇀ , ⇝ , 1) be a pseudo-BCK algebras (pP), x ⊙ y is defined as min {z|x ≤ y ⇀ z} or min {z|y ≤ x ⇝ z}, then the followings hold in A

(1) (x ⊙ y) ⇀ z = x ⇀ (y ⇀ z),

(2) (y ⊙ x) ⇝ z = x ⇝ (y ⇝ z),

(3) (x ⇀ y) ⊙ x ≤ x, y, x ⊙ (x ⇝ y) ≤ x, y,

(4) x ⊙ y ≤ x ∧ y ≤ x, y.

Proposition 2.9. (Iorgulescu [3]) Any pseudo-BL algebra is a pseudo-BCK algebra (pP).

Lemma 2.10. (Zhang [21]) pseudo-BCK algebra (pP) is categorically equivalent to partially ordered residuated integral monoid.

Proposition 2.11. (Georgescu [7]) In a pseudo-BL algebra A, for all x, y, z ∈ A the followings hold

(1) x ∨ y = ((x ⇀ y) ⇝ y) ∧ ((y ⇀ x) ⇝ x),

(2) x ∨ y = ((x ⇝ y) ⇀ y) ∧ ((y ⇝ x) ⇀ x),

(3) x ⇀ y = x ⇀ x ∧ y, x ⇝ y = x ⇝ x ∧ y.

Definition 2.12. (Meng and Jun [9]) A BCK algebra A is called an implicative BCK-algebra if for any x, y ∈ A, (x ⇀ y) ⇀ x = x.

Definition 2.13. (Zhang [22]) A pseudo-BCK algebra (A, ≥ , ⇀ , ⇝ , 1) is called a 1-type implicative pseudo-BCK algebra if for any x, y ∈ A, (x ⇀ y) ⇀ x = (x ⇝ y) ⇝ x = x.

Theorem 2.14. (Zhang and Gong [22]) Let (A, ≥ , ⇀ , ⇝ , 1) be a pseudo-BCK algebras. Then A is a 1-type implicative pseudo-BCK algebra if and only if A is an implicative BCK-algebra.

Definition 2.15. (Zhang and Gong [22]) A pseudo-BCK algebra (A, ≥ , ⇀ , ⇝ , 1) is called a 2-type implicative pseudo-BCK algebra if for any x, y ∈ A, (x ⇝ y) ⇀ x = (x ⇀ y) ⇝ x = x.

Theorem 2.16. (Zhang and Gong [22]) Let (A, ≥ , ⇀ , ⇝ , 1) be a pseudo-BCK algebras. Then A is a 2-type implicative pseudo-BCK algebra if and only if A is an implicative BCK-algebra.

3 Some kinds of pseudo-filters and fuzzy pseudo-filters in pseudo BCK-algebras

First, we recall the definitions of pseudo-filter, Boolean filter, normal pseudo-filter and implicative pseudo-filter of pseudo-BCK algebras.

Definition 3.1. (Zhang and Gong [22]) A nonempty subset F of a pseudo-BCK algebra A is called a pseudo-filter if

(F1) x ∈ F, y ∈ A, x ≤ y ⇒ y ∈ F,

(F2) x ∈ F, x ⇀ y ∈ F or x ⇝ y ∈ F ⇒ y ∈ F.

We could get the equivalent conditions of pseudo-filter in pseudo-BCK algebra as follows.

Theorem 3.2. A nonempty subset F of a pseudo-BCK algebra A is a pseudo-filter if and only if it satisfies

(F3) 1 ∈ F,

(F4) x ∈ F, x ⇀ y ∈ F or x ⇝ y ∈ F impliesy ∈ F.

Proof. Let F be a nonempty subset of A. It is easy to see that 1 ∈ F, i.e., (F3) and (F4) hold if F is a pseudo-filter of A. Conversely, suppose F satisfies (F3) and (F4). Let x ∈ F, x ≤ y ∈ A, then x ⇀ y = x ⇝ y = 1 ∈ F, thus y ∈ F, so F is a pseudo-filter of A.

Theorem 3.3. A nonempty subset F of a pseudo-BCK algebra(pP) A is a pseudo-filter if and only if

(F5) x, y ∈ F implies x ⊙ y ∈ F,

(F6) x ∈ F, x ≤ y ∈ A implies y ∈ F.

Proof. Let F be a pseudo-filter of A and x, y ∈ F, we know x ⇀ (y ⇀ (x ⊙ y)) = (x ⊙ y) ⇀ (x ⊙ y) =1 ∈ F, then y ⇀ (x ⊙ y) ∈ F, so x ⊙ y ∈ F.

Conversely, suppose F satisfies (F5) and (F6). If x, x ⇀ y (orx ⇝ y) ∈ F, then (x ⇀ y) ⊙ x, x ⊙ (x ⇝ y) ≤ y ∈ F.

Definition 3.4. (Zhang and Gong [22]) A pseudo-filter F of a pseudo-BCK algebra A is normal, if

(NF) x ⇀ y ∈ F iff x ⇝ y ∈ F.

It’s obvious that any filter is normal in a BCK-algebra.

Definition 3.5. (Zhang and Gong [22]) Let (A, ≥ , ⇀ , ⇝ , 1) be a pseudo-BCK algebra. A pseudo-filter F of A is called an implicative pseudo-filter if for any x, y ∈ A

(1) (x ⇀ y) ⇀ x ∈ F implies x ∈ F,

(2) (x ⇝ y) ⇝ x ∈ F implies x ∈ F.

Definition 3.6. (Zhang and Gong [22]) Let (A, ≥ , ⇀ , ⇝ , 1) be a pseudo-BCK algebra. A pseudo-filter F is called Boolean if for any x, y ∈ A

(1) (x ⇀ y) ⇝ x ∈ F implies x ∈ F,

(2) (x ⇝ y) ⇀ x ∈ F implies x ∈ F.

Theorem 3.7. (Zhang and Gong [22]) Let (A, ≥ , ⇀ , ⇝ , 1) be a pseudo-BCK algebra and F a normal pseudo-filter of A. Then F is implicative if and only if F is Boolean.

Theorem 3.8. (Zhang and Gong [22]) Let (A ; ≤ , ⇀ , ⇝ , 0, 1) be a bounded pseudo-BCK algebra and F implicative pseudo-filter. The following properties hold for ∀x, y ∈ A

(1) ((x ⇀ 0) ⇀ x) ⇝ x ∈ F, i.e., (x^- ⇀ x) ⇝ x ∈ F,

(2) ((x ⇝ 0) ⇝ x) ⇀ x ∈ F, i.e., (x^∼ ⇝ x) ⇀ x ∈ F,

(3) ((x ⇀ y) ⇀ x) ⇝ x ∈ F,

(4) ((x ⇝ y) ⇝ x) ⇀ x ∈ F,

(5) if (x ⇀ y) ⇀ y ∈ F, then (y ⇀ x) ⇝ x ∈ F,

(6) if (x ⇝ y) ⇝ y ∈ F, then (y ⇝ x) ⇀ x ∈ F,

(7) if x ⇝ y ∈ F, then ((y ⇝ x) ⇀ x) ⇝ y ∈ F,

(8) if x ⇀ y ∈ F, then ((y ⇀ x) ⇝ x) ⇀ y ∈ F.

Definition 3.9. (Zhang and Jun [25]) A nonempty subset F of a pseudo-BCK algebra A is a positive implicative pseudo-filter of A if for all x, y ∈ A, (F1) and the followings hold

(F7) x ⇝ (y ⇀ z) , x ⇝ y ∈ F implies x ⇝ z ∈ F,

(F8) x ⇀ (y ⇝ z) , x ⇀ y ∈ F implies x ⇀ z ∈ F.

Theorem 3.10. (Zhang and Jun [25])A positive implicative pseudo-filter F of a pseudo-BCK algebra A is a pseudo-filter satisfying for all x, y ∈ A, x ⇀ (x ⇝ y) ∈ F implies x ⇀ y, x ⇝ y ∈ F.

Definition 3.11. A non-constant fuzzy subset f of a pseudo-BCK algebra A is called a fuzzy pseudo-filter if f _t is either empty or a pseudo-filter for any t ∈ [0, 1].

It’s easy to find that F is a pseudo-filter iff χ _F is a fuzzy pseudo-filter, where χ _F stands for the characteristic function of F.

For pseudo-BCK algebras or pseudo-BCK algebras(pP), inspired by [20], the following results of fuzzy pseudo-filters are similar with the ones of pseudo BL-algebras and reader could refer to it for the proofs.

Proposition 3.12. A fuzzy set f is a fuzzy pseudo-filter of a pseudo-BCK algebra (or pseudo-BCK algebra(pP)) A if and only if for all x, y, z ∈ A, one the following conditions holds

(1) f (1) ≥ f (x) and f (y) ≥ f (x) ∧ f (x ⇀ y),

(2) f (1) ≥ f (x) and f (y) ≥ f (x) ∧ f (x ⇝ y),

(3) x ⇀ (y ⇀ z) =1 or x ⇝ (y ⇝ z)) =1 ⇒ f (z) ≥ f (x) ∧ f (y),

(4) x ⊙ y ≤ z or y ⊙ x ≤ z ⇒ f (z) ≥ f (x) ∧ f (y),

(5) f is order-preserving, f (x ⊙ y) ≥ f (x) ∧ f (y).

Corollary 3.13. An order-preserving fuzzy set fof a pseudo-BCK algebra(pP) A is a fuzzy pseudo-filter if and only if for any x, y ∈ A, f (x ⊙ y) = f (x) ∧ f (y).

Corollary 3.14. Let f, f _i ((i ∈ τ)) be fuzzy pseudo-filters of a pseudo-BCK algebra(pP) A, then for any x, y ∈ A, the following properties hold

(1) f (x) = f (x ⊙ x) = f (x ⊙ x ⊙ … ⊙ x),

(2) f (x ⊙ y) = f (y ⊙ x),

(3) f (x ⇀ y) = f (1) or f (x ⇝ y) = f (1) implies f (x) ≤ f (y),

(4) f₁ ∧ f₂ is a fuzzy pseudo-filter of A,

(5) ∧_i∈τf _i is a fuzzy pseudo-filter of A.

In order to solve the mentioned open problems, we fuzzilize the several kinds of pseudo-filters of pseudo-BCK algebras and characterize them respectively.

Definition 3.15. Let (A, ≥ , ⇀ , ⇝ , 1) be a pseudo-BCK algebra. A fuzzy pseudo-filter f of A is called implicative if for any x, y ∈ A, the following conditions hold

(1) f ((x ⇀ y) ⇀ x) = f (x),

(2) f ((x ⇝ y) ⇝ x) = f (x).

Theorem 3.16. Let (A ; ≤ , ⇀ , ⇝ , 0, 1) be a bounded pseudo-BCK algebra and f fuzzy implicative pseudo-filter of A. Then ∀x ∈ A,

(1) f ((x^- ⇀ x) ⇝ x) = f (1),

(2) f ((x^∼ ⇝ x) ⇀ x) = f (1),

(3) f ((x^- ⇝ x) ⇀ x) = f (1),

(4) f ((x^∼ ⇀ x) ⇝ x) = f (1).

Proof. (1) From x ≤ (x^- ⇀ x) ⇝ x, so ((x^- ⇀ x) ⇝ x) ^- ≤ x^- and ((x^- ⇀ x) ⇝ x) ^- ⇀ x^- = 1, then f (((x^- ⇀ x) ⇝ x) ^- ⇀ x^-) = f (1). And x^- ≤ (x^- ⇀ x) ⇝ x, so we get ((x^- ⇀ x) ⇝ x) ^- ⇀ x^- ≤ ((x^- ⇀ x) ⇝ x) ^- ⇀ ((x^- ⇀ x) ⇝ x). Then f (((x^- ⇀ x) ⇝ x) ^- ⇀ ((x^- ⇀ x) ⇝ x)) = f ((x^- ⇀ x) ⇝ x) = f (1).

(2) It is similar to (1).

(3) From x ≤ (x^- ⇝ x) ⇀ x, so ((x^- ⇝ x) ⇀ x) ^- ≤ x^- and ((x^- ⇝ x) ⇀ x) ^- ⇀ x^- = 1, then f (((x^- ⇝ x) ⇀ x) ^- ⇀ x^-) = f (1). And x^- ≤ (x^- ⇝ x) ⇀ x, so we get ((x^- ⇝ x) ⇀ x) ^- ⇀ x^- ≤ ((x^- ⇝ x) ⇀ x) ^- ⇀ ((x^- ⇝ x) ⇀ x). Then f (((x^- ⇝ x) ⇀ x) ^- ⇀ ((x^- ⇝ x) ⇀ x)) = f ((x^- ⇝ x) ⇀ x) = f (1).

(4) It is similar to (3).

Theorem 3.17. A fuzzy pseudo-filter f of a pseudo-BCK algebra A is implicative if and only if f _t is either empty or an implicative pseudo-filter for each t ∈ [0, 1].

Proof. Let f be a fuzzy implicative pseudo-filter of A. For any t ∈ [0, 1], if f _t  ≠ φ, then suppose (x ⇀ y) ⇀ x ∈ f _t , then from f ((x ⇀ y) ⇀ x) = f (x), we get x ∈ f _t . Dually we can get x ∈ f _t if (x ⇝ y) ⇝ x ∈ f _t . So f _t is an implicative pseudo-filter of A.

Conversely, let f ((x ⇀ y) ⇀ x) = t, we get (x ⇀ y) ⇀ x ∈ f _t , and f _t is an implicative pseudo-filter of A, then x ∈ f _t . That is, f ((x ⇀ y) ⇀ x) = t ≤ f (x). Since x ≤ (x ⇀ y) ⇀ x and f is isotone, then f ((x ⇀ y) ⇀ x) ≥ f (x), we get f ((x ⇀ y) ⇀ x) = f (x). Dually we can obtain f ((x ⇝ y) ⇝ x) = f (x), thus proves f is implicative.

Theorem 3.18. A fuzzy pseudo-filter f of a pseudo-BCK algebra A is implicative if and only if f_f(1) is an implicative pseudo-filter.

Proof. Necessity is obvious. Suppose f_f(1) is an implicative pseudo-filter, then for all x, y ∈ A, if (x ⇀ y) ⇀ x ∈ f_f(1), then x ∈ f_f(1), so f ((x ⇀ y) ⇀ x) = f (x) = f (1). Dually we can obtain f ((x ⇝ y) ⇝ x) = f (x) = f (1). Thus we prove f is implicative.

Corollary 3.19. A nonempty subset F of a pseudo-BCK algebra A is an implicative pseudo-filter if and only if χ _F is implicative.

Corollary 3.20. Let (A, ≥ , ⇀ , ⇝ , 1) be a pseudo-BCK algebra. A pseudo-filter F of A is called Boolean if for any x, y ∈ A, the following conditions hold

(1) f ((x ⇀ y) ⇝ x) = f (x),

(2) f ((x ⇝ y) ⇀ x) = f (x).

Similar to the fuzzy implicative pseudo-filter, we have the following results, so we omit the proof.

Theorem 3.21. A fuzzy pseudo-filter f of a pseudo-BCK algebra A is Boolean if and only if f _t is either empty or a Boolean filter for each t ∈ [0, 1].

Theorem 3.22. A fuzzy pseudo-filter f of a pseudo-BCK algebra A is Boolean if and only if f_f(1) is a Boolean filter of A.

Corollary 3.23. A nonempty subset F of a pseudo-BCK algebra A is Boolean if and only if χ _F is Boolean.

Theorem 3.24. A fuzzy pseudo-filter f of a bounded pseudo-BCK algebra A is Boolean if and only if f (x ⇀ y) = f (x ⇀ (y^- ⇝ y)), f (x ⇝ y) = f (x ⇝ (y^∼ ⇀ y)) for all x, y ∈ A.

Proof. Suppose f is Boolean. Let f (x ⇀ (y^- ⇝ y)) = t, then f _t is a Boolean filter,x ⇀ (y^- ⇝ y) ∈ f _t . And (y^- ⇝ y) ⇀ y ∈ f _t . (y^- ⇝ y) ⇀ y ≤ (x ⇀ (y^- ⇝ y)) ⇀ (x ⇀ y), then x ⇀ y ∈ f _t , i.e., f (x ⇀ y) ≥ t = f (x ⇀ (y^- ⇝ y)). Since x ⇀ y ≤ x ⇀ (y^- ⇝ y), then f (x ⇀ y) ≤ f (x ⇀ (y^- ⇝ y)), so f (x ⇀ y) = f (x ⇀ (y^- ⇝ y)). Dually, we can obtain f (x ⇝ y) = f (x ⇝ (y^∼ ⇀ y)).

Conversely, let f ((x ⇀ y) ⇝ x) = t, then f _t is a pseudo-filter and (x ⇀ y) ⇝ x ∈ f _t . (x ⇀ y) ⇝ x ≤ x^- ⇝ x, then x^- ⇝ x ∈ f _t . 1 ⇀ (x^- ⇝ x) = x^- ⇝ x ∈ f _t , we get f (x) = f (1 ⇀ x) = f (1 ⇀ (x^- ⇝ x)) ≥ t = f ((x ⇀ y) ⇝ x), and f (x) ≤ f ((x ⇀ y) ⇝ x) is obvious, then f (x) = f ((x ⇀ y) ⇝ x). We can also get f (x) = f ((x ⇝ y) ⇀ x). Then f is a fuzzy Boolean filter of A.

Theorem 3.25. A fuzzy pseudo-filter f of a bounded pseudo-BCK algebra A is Boolean filter if and only if f ((x^∼ ⇀ x) ⇝ x) = f ((x^- ⇝ x) ⇀ x) = f (1) for all x ∈ A.

Proof. (1) From x ≤ (x^∼ ⇀ x) ⇝ x, we get ((x^∼ ⇀ x) ⇝ x) ^∼ ≤ x^∼ and ((x^∼ ⇀ x) ⇝ x) ^∼ ⇀ x^∼ = 1, then f (((x^∼ ⇀ x) ⇝ x) ^∼ ⇀ x^∼) = f (1). And x^∼ ≤ (x^∼ ⇀ x) ⇝ x, so we get ((x^∼ ⇀ x) ⇝ x) ^∼ ⇀ x^∼ ≤ ((x^∼ ⇀ x) ⇝ x) ^∼ ⇀ ((x^∼ ⇀ x) ⇝ x). Then f (((x^∼ ⇀ x) ⇝ x) ^∼ ⇀ ((x^∼ ⇀ x) ⇝ x)) = f ((x^∼ ⇀ x) ⇝ x) = f (1).

Similarly we can prove f ((x^- ⇝ x) ⇀ x) = f (1).

Conversely, assume f (x ⇀ (y^- ⇝ y)) = t, then x ⇀ (y^- ⇝ y) ∈ f _t . And we have (y^- ⇝ y) ⇀ y ≤ (x ⇀ (y^- ⇝ y)) ⇀ (x ⇀ y) ∈ f _t . Then x ⇀ y ∈ f _t , i.e., f (x ⇀ y) ≥ t = f (x ⇀ (y^- ⇝ y)). Since y^- ⇝ y ≥ y and x ⇀ (y^- ⇝ y) ≥ x ⇀ y, we get f (x ⇀ y) ≤ f (x ⇀ (y^- ⇝ y)), then f (x ⇀ y) = f (x ⇀ (y^- ⇝ y)). So f (x ⇝ y) = f (x ⇝ (y^∼ ⇀ y)). Then f is a fuzzy Boolean filter of A.

Corollary 3.26. In a bounded pseudo-BCK algebra, every fuzzy implicative pseudo-filter is a fuzzy Boolean filter.

Theorem 3.27. Let (A, ≤ , ⇀ , ⇝ , 0, 1) be a bounded pseudo-BCK algebra and f a fuzzy Boolean filter. Then f ((y ⇝ x) ⇀ x) = f ((x ⇀ y) ⇝ y) for all x, y ∈ A.

Proof. Let f ((x ⇀ y) ⇝ y) = t, then (x ⇀ y) ⇝ y ∈ f _t . (x ⇀ y) ⇝ y ≤ (y ⇝ x) ⇀ ((x ⇀ y) ⇝ x) = (x ⇀ y) ⇝ ((y ⇝ x) ⇀ x). And, we have x ⇀ y ≥ ((y ⇝ x) ⇀ x) ⇀ y and (x ⇀ y) ⇝ ((y ⇝ x) ⇀ x) ≤ (((y ⇝ x) ⇀ x) ⇀ y) ⇝ ((y ⇝ x) ⇀ x). Combining the above results we get (x ⇀ y) ⇝ y ≤ (((y ⇝ x) ⇀ x) ⇀ y) ⇝ ((y ⇝ x) ⇀ x). Thus, (((y ⇝ x) ⇀ x) ⇀ y) ⇝ ((y ⇝ x) ⇀ x) ∈ f _t . Then we get (y ⇝ x) ⇀ x ∈ f _t , i.e., f ((y ⇝ x) ⇀ x) ≥ f ((x ⇀ y) ⇝ y). Similarly, we can prove that f ((y ⇝ x) ⇀ x) ≤ f ((x ⇀ y) ⇝ y).

Corollary 3.28. Let (A, ≤ , ⇀ , ⇝ , 0, 1) be a bounded pseudo-BCK algebra and f a fuzzy Boolean filter. Then f (x^-∼) = f (x^∼-) = f (x) for all x ∈ A.

Theorem 3.29. Let (A, ≤ , ⇀ , ⇝ , 0, 1) be a bounded pseudo-BCK algebra(pP) and f a fuzzy Boolean filter. Then f (x ⇀ y) = f (x ⊙ x ⇀ y) = f ((x ⊙ x ⊙ … ⊙ x) ⇀ y), f (x ⇝ y) = f (x ⊙ x ⇝ y) = f ((x ⊙ x ⊙ … ⊙ x) ⇝ y) for all x, y ∈ A.

Proof. Assume f (x ⇝ (x ⇝ y)) = t, then x ⇝ (x ⇝ y) ∈ f _t . And x ⇝ (x ⇝ y) ≤ ((x ⇝ y) ⇝ y) ⇀ (x ⇝ y). It follows that ((x ⇝ y) ⇝ y) ⇀ (x ⇝ y) ∈ f _t . So f (x ⇝ y) ≥ t = f (x ⇝ (x ⇝ y)). The inverse inequation is obvious, then f (x ⇝ y) = f (x ⇝ (x ⇝ y)) = f (x ⊙ x ⇝ y). Similarly, we can prove that f (x ⇀ y) = f (x ⇀ (x ⇀ y)) = f (x ⊙ x ⇀ y). And by induction, we can get the result.

Definition 3.30. A fuzzy filter f of a pseudo-BCK algebra is called normal if f _t is either empty or a normal pseudo-filter for each t ∈ [0, 1].

Theorem 3.31. Suppose f is a fuzzy set of a pseudo-BCK algebra A. Then the followings are equivalent for any x, y, z ∈ A

(1) f is normal,

(2) f is a fuzzy pseudo-filter satisfying f (x ⇀ y) = f (x ⇝ y),

(3) f (1) ≥ f (x), f (x ⇝ z) ≥ f (y) ∧ f (x ⇀ (y ⇝ z)) and f (x ⇀ z) ≥ f (y) ∧ f (x ⇝ (y ⇀ z)),

(4) f (1) ≥ f (x), f (x ⇀ z) ≥ f (y) ∧ f (x ⇀ (y ⇀ z)) and f (x ⇝ z) ≥ f (y) ∧ f (x ⇝ (y ⇝ z)).

Proof. (1) ⇒ (2). For all x, y ∈ A, let f (x ⇀ y) = t₁, so x ⇀ y ∈ f _{t 1} , then x ⇝ y ∈ f _{t 1} , f (x ⇝ y) ≥ t₁ = f (x ⇀ y). Dually, we can obtain f (x ⇀ y) ≥ f (x ⇝ y).

(2) ⇒ (3). It is obvious.

(2) ⇒ (4). It is obvious.

(3) ⇒ (1). Let x = 1, we find f is a fuzzy pseudo-filter. For any t ∈ [0, 1], if f _t  ≠ φ and x ⇀ y ∈ f _t , so f (x ⇀ y) ≥ t. x ⇀ ((x ⇀ y) ⇝ y) =1 ∈ f _t , then f (x ⇀ ((x ⇀ y) ⇝ y)) = f (1) ≥ t and f (x ⇝ y) ≥ f (x ⇀ y) ∧ f (x ⇀ ((x ⇀ y) ⇝ y)) ≥ t, so x ⇝ y ∈ f _t . Also, we can prove that if x ⇝ y ∈ f _t , then x ⇀ y ∈ f _t . So f _t is a normal pseudo-filter and f is normal.

(4) ⇒ (1). In the same way of (3) ⇀ (1).

Similar to the proof of fuzzy implicative pseudo-filter, we have the following results.

Theorem 3.32. A fuzzy pseudo-filter f of a pseudo-BCK algebra A is normal if and only if f_f(1) is a normal pseudo-filter of A.

Corollary 3.33. A nonempty subset F of a pseudo-BCK algebra A is a normal pseudo-filter if and only if χ _F is normal.

Definition 3.34. A fuzzy pseudo-filter f of pseudo-BCK algebra A is called positive implicative if for any x, y ∈ A, the followings hold

(1) f (x ⇝ z) ≥ f (x ⇝ (y ⇀ z)) ∧ f (x ⇝ y),

(2) f (x ⇀ z) ≥ f (x ⇀ (y ⇝ z)) ∧ f (x ⇀ y).

Theorem 3.35.A fuzzy pseudo-filter f of a pseudo-BCK algebra A is positive implicative if and only if for each t ∈ [0, 1], f _t is either empty or a positive implicative pseudo-filter.

Theorem 3.36. A fuzzy pseudo-filter f of a pseudo-BCK algebra A is positive implicative if and only if f_f(1) is a positive implicative pseudo-filter.

Corollary 3.37. A nonempty subset F of a pseudo-BCK algebra A is a positive implicative pseudo-filter if and only if χ _F is positive implicative.

Theorem 3.38. Suppose f is a fuzzy normal pseudo-filter of a pseudo-BCK algebra A. Then the followings are equivalent

(1) f is positive implicative.

(2) f (x ⇀ z) ≥ f (x ⇀ (y ⇀ z)) ∧ f (x ⇀ y).

(3) f (x ⇝ y) = f (x ⇝ (x ⇀ y)).

(4) f (x ⇀ y) = f (x ⇀ (x ⇀ y)).

Proof. (1) ⇒ (2). For any x, y, z ∈ A, we have f (x ⇝ z) ≥ f (x ⇝ (y ⇀ z)) ∧ f (x ⇝ y). Since f is fuzzy normal, then we can get (2) holds.

(2) ⇒ (3). When we let y = x and z = y in (2), we have f (x ⇀ y) ≥ f (x ⇀ (x ⇀ y)) ∧ f (x ⇀ x) = f (x ⇀ (x ⇀ y)) ∧ f (1) = f (x ⇀ (x ⇀ y)). It is obvious to get the inverse inequation by the isotonic of fuzzy filter. Thus (3) holds.

(3) ⇒ (4). It is obvious.

(4) ⇒ (1). Let f (x ⇀ (y ⇀ z)) ∧ f (x ⇀ y) = t, then x ⇀ (y ⇀ z) , x ⇀ y ∈ f _t . Since y ≤ (y ⇀ z) ⇝ z, we have x ⇀ y ≤ x ⇀ ((y ⇀ z) ⇝ z) = (y ⇀ z) ⇝ (x ⇀ z), then (y ⇀ z) ⇝ (x ⇀ z) ∈ f _t , further (y ⇀ z) ⇀ (x ⇀ z) ∈ f _t . And (y ⇀ z) ⇀ (x ⇀ z) ≤ (x ⇀ (y ⇀ z)) ⇀ (x ⇀ (x ⇀ z)) ∈ f _t , then we get x ⇀ (x ⇀ z) ∈ f _t . By (4), we can prove that x ⇀ z ∈ f _t , i.e., if x ⇝ (y ⇀ z) , x ⇝ y ∈ f _t , then x ⇝ z ∈ f _t . Dually if x ⇀ (y ⇝ z) , x ⇀ y ∈ f _t , then x ⇀ z ∈ f _t . So f _t is a positive implicative pseudo-filter and f is positive implicative.

4 On open problems of pseudo-filters in pseudo-BCK algebra

In [22], there is an open problem that “In pseudo-BCK algebra or bounded pseudo-BCK algebra, Is the notion of implicative pseudo-filter equivalent to the notion of Boolean filter?” In [8], there is an open problem that “Prove or negate that pseudo-BCK algebras is implicative BCK algebras if and only if every pseudo-filters of them is implicative pseudo-filters (or Boolean filter).” In this section, inspired by [20], with the help of the similar equivalent conditions of fuzzy normal filter of pseudo-BCK algebras(pP), we present the relation between the two filters and get some results for the open problems in pseudo-BCK algebra.

Theorem 4.1. A fuzzy pseudo-filter f of a pseudo-BCK algebra(pP) A is a fuzzy normal pseudo-filter if and only if for any x, y ∈ A, f ((x ⊙ y) ⇝ (y ⊙ x)) ∧ f ((y ⊙ x) ⇀ (x ⊙ y)) ≥ f (y).

Proof. Let f be a fuzzy normal pseudo-filter. For any y ∈ A, let t = f (y), then y ∈ f _t and f _t is a normal pseudo-filter of A. For any x ∈ A, (y ⊙ x) ⊙ y = y ⊙ (x ⊙ y) ≤ x ⊙ y, since y ≤ (y ⊙ x) ⇝ (x ⊙ y), then (y ⊙ x) ⇝ (x ⊙ y) ∈ f _t and (y ⊙ x) ⇀ (x ⊙ y) ∈ f _t , thus f ((y ⊙ x) ⇀ (x ⊙ y)) ≥ t = f (y). Dually, we have f ((x ⊙ y) ⇝ (y ⊙ x)) ≥ t = f (y). From above, then we obtain f ((x ⊙ y) ⇝ (y ⊙ x)) ∧ f ((y ⊙ x) ⇀ (x ⊙ y)) ≥ f (y) for any x, y ∈ A. Conversely, for any t ∈ [0, 1], if f _t  ≠ φ, then f _t is a pseudo-filter and there exists y ∈ f _t . f ((y ⊙ x) ⇀ (x ⊙ y)) ≥ f (y) ≥ t, then (y ⊙ x) ⇀ (x ⊙ y) ∈ f _t . ((y ⊙ x) ⇀ (x ⊙ y)) ⊙ y = (y ⇀ (x ⇀ (x ⊙ y)) ⊙ y ≤ x ⇀ (x ⊙ y), then we have x ⇀ (x ⊙ y) ∈ f _t , for any x ∈ A, y ∈ f _t . For any a, b ∈ A, if a ⇝ b ∈ f _t , from above, we get a ⇀ a ⊙ (a ⇝ b) = a ⇀ b ∈ f _t . Dually, we can obtain x ⇝ (y ⊙ x) ∈ f _t for any x ∈ A, y ∈ f _t . For any a, b ∈ A, if a ⇀ b ∈ f _t , from above, we can obtain a ⇝ (a ⇀ b) ⊙ a = a ⇝ b ∈ f _t . Thus f _t is a normal pseudo-filter, and f is normal.

Corollary 4.2. Every fuzzy Boolean filter of pseudo-BCK algebras (pP) is a fuzzy normal filter.

Corollary 4.3. Every fuzzy Boolean filter of a pseudo-BCK algebra (pP) is implicative.

Proof. Let f be a fuzzy Boolean filter. By Definition, for any x, y ∈ A, f ((x ⇀ y) ⇝ x) = f (x), f ((x ⇝ y) ⇀ x) = f (x). And we obtain f ((x ⇀ y) ⇀ x) = f (x), f ((x ⇝ y) ⇝ x) = f (x). Thus by Definition, f is implicative.

Corollary 4.4. Let X be a pseudo-BCK algebra (pP) and f be a fuzzy normal pseudo-filter. Then f Boolean if and only if it is implicative.

Based on the above Theorems, we can get the following result.

Theorem 4.5. In bounded pseudo-BCK algebra, every fuzzy implicative pseudo-filter is a fuzzy Boolean filter. In pseudo-BCK algebras(pP), every fuzzy Boolean filter is a fuzzy implicative pseudo-filter.

For the first open problem, we can get the following theorem.

Theorem 4.6. In bounded pseudo-BCK algebra, every implicative pseudo-filter is a Boolean filter. In pseudo-BCK algebras(pP), every Boolean filter is an implicative pseudo-filter.

For the second open problem, we have the following results.

Theorem 4.7. (Zhang and Gong [22]) Let (A ; ⇀ , 1) be a BCK-algebra. Then A is an implicative BCK-algebra if and only if its every filter is an implicative filter.

Theorem 4.8. (Zhang and Gong [22]) Let (A ; ≤ , ⇀ , ⇝ , 0, 1) be a bounded pseudo-BCK algebra. Then A is a bounded implicative BCK-algebra if and only if its every pseudo-filter is an implicative pseudo-filter.

Theorem 4.9. (Zhang and Gong [22]) Let (A ; ≤ , ⇀ , ⇝ , 0, 1) be a bounded pseudo-BCK algebra. Then A is a bounded implicative BCK-algebra if and only if its every pseudo-filter is a Boolean filter.

By the above results, we could get

Theorem 4.10. Pseudo-BCK algebras(pP) is implicative BCK algebras if and only if every pseudo-filters of them is Boolean filter.

Proof. Based on the results of [9], pseudo-BCK algebras is implicative BCK algebras if and only if x ⇀ y = x ⇝ y for all x, y ∈ A and every pseudo-filters of them is implicative pseudo-filters (Boolean filter is the same), so necessity is obvious.

Now suppose every pseudo-filter F of a pseudo-BCK algebra (pP) A is a Boolean filter, then every fuzzy pseudo-filter χ _F of A is a fuzzy Boolean filter and χ _F is normal. Further we get that χ _F is positive implicative. So we get F is a positive implicative pseudo-filter. And by Theorem 4.5 [25] we get (A, ⇀ , 1) is a positive implicative BCK-algebra and for all x, y ∈ A, x ⇀ y = x ⇝ y. So we get all pseudo-filters of A is positive implicative, then implicative, so we get that A is an implicative BCK-algebras by the result of [9].

Corollary 4.11. Pseudo-BCK algebras (pP) is implicative BCK algebras, then every pseudo-filters of them is an implicative pseudo-filter.

Thus the following theorem in pseudo-BCK algebra(pP) could answer the second problem in [8].

Theorem 4.12. Pseudo-BCK algebras (pP) is implicative BCK algebras if and only if every pseudo-filters of them is Boolean filter (meanwhile they are implicative pseudo-filters).

5 Conclusion

After we discuss the equivalent conditions of fuzzy normal pseudo-filter of pseudo-BCK algebra (pP), we propose fuzzy implicative pseudo-filter and its relation with fuzzy Boolean filter of (bounded) pseudo-BCK algebras (pP). Then we proposed solutions for the open problems in pseudo-BCK algebras. In the future, we will make use of the relations among the fuzzy pseudo-filters to solve the open problems in the common pseudo-BCK algebras.