doubt fuzzy bci-algebras怀疑模糊bci-algebras.pdfVIP

IJMMS 30:1 (2002) 49–56 PII. S0161171202007986 © Hindawi Publishing Corp. DOUBT FUZZY BCI-ALGEBRAS ZHAN JIANMING and TAN ZHISONG Received 10 August 2001 The aim of this note is to introduce the notion of doubt fuzzy p-ideals in BCI-algebras and to study their properties. We also solve the problem of classifying doubt fuzzy p-ideals and study fuzzy relations on BCI-algebras. 2000 Mathematics Subject Classification: 03G25, 06F35, 03E72. 1. Introduction and preliminaries. The concept of a fuzzy set is applied to gener- alize some of the basic concepts of general topology [2]. Rosenfeld [6] constituted a similar application to the elementary theory of groupoids and groups. Xi [7] applied the concept of fuzzy set to BCK-algebras. Jun [4] defined a doubt fuzzy subalgebra, doubt fuzzy ideal, doubt fuzzy implicative ideal, and doubt fuzzy prime ideal in BCI- algebras, and got some results about it. In this note, we define a doubt fuzzy p-ideal of a BCI-algebra and investigate its properties. A mapping f : X → Y of BCI-algebras is called homomorphism if f (x ∗y) = f (x) ∗ f (y) for all x,y ∈ X . A nonempty subset I of a BCI-algebra X is called an ideal of X if (i) 0 ∈ I , (ii) x ∗y ∈ I and y ∈ I imply that x ∈ I . We recall that a fuzzy subset µ of a set X is a function µ from X into [0, 1]. Let Im µ denote the image set of µ. We will write a ∧b for min {a,b }, and a ∨b for max {a,b }, where a and b are any real numbers. Given a fuzzy set µ and t ∈ [0, 1], let µt = {x ∈ X | µ(x) ≥ t} and µt = {x ∈ X | µ(x) ≤ t}. These could be empty sets. The set µt ≠ ∅ (resp., µt ≠ ∅) is called the t-confidence (resp., t-doubt) set of µ (see [3]). Definition 1.1 (see [7]). For any x , y in a BCI-algebra X , (i) if µ(x ∗y) ≥ µ(x) ∧µ(y), then µ is cal