Songklanakarin Journal of Science and Technology SJST R1 Yaqoob
|
|
- Melvin Young
- 5 years ago
- Views:
Transcription
1 On (, qk)-intuitionistic (fuzzy ideals, fuzzy soft ideals) of subtraction algebras Journal: Songklanakarin Journal of Science Technology Manuscript ID: SJST-0-00.R Manuscript Type: Original Article Date Submitted by the Author: 0-Apr-0 Complete List of Authors: Khan, Madad; COMSATS Institute of Information Technology, Mathematics Davvaz, Bijan; Yazd University, Mathematics Yaqoob, Naveed; Majmaah University, Mathematics Gulistan, Muhammad; Hazara University, Mathematics Keyword: Physical Sciences Mathematics Note: The following files were submitted by the author for peer review, but cannot be converted to PDF. You must view these files (e.g. movies) online. KDYG.tex
2 Page of On (; _q k )-intuitionistic (fuzzy ideals, fuzzy soft ideals) of subtraction algebras a Madad Khan, b Bijan Davvaz, c Naveed Yaqoob d Muhammad Gulistan a Department of Mathematics, COMSATS Institute of I.T, Abbottabad, Pakistan b Department of Mathematics, Yazd University, Yazd, Iran c Department of Mathematics, College of Science in Al-Zul, Majmaah University, Al-Zul, Saudi Arabia d Department of Mathematics, Hazara University, Mansehra, Pakistan a madadmath@yahoo.com, b bdavvaz@yahoo.com, c nayaqoob@ymail.com, d gulistanmath@hu.edu.pk Abstract: The intent of this article is to study the concept of an (; _q k )-intuitionistic fuzzy ideal (; _q k )-intuitionistic fuzzy soft ideal of subtraction algebras to introduce some related properties. 00 AMS Classi cation: 0F, 0G, 0A. Keywords: Subtraction algebras, (; _q k )-intuitionistic fuzzy (soft) subalgebras, (; _q k )-intuitionistic fuzzy (soft) ideals.
3 Page of Introduction Schein () cogitate the system of the form (X; ; n), where X is the set of functions closed under the composition " " of functions ( hence (X; ) is a function semigroup) the set theoretical subtraction "n" ( hence (X; n) is a subtraction algebra in the sense of (Abbot, )). He proved that every subtraction semigroup is isomorphic to a di erence semigroup of invertible functions. He suggested problem concerning the structure of multiplication in a subtraction semigroup. It was explained by Zelinka (), he had solved the problem for subtraction algebras of a special type known as the "atomic subtraction algebras". The notion of ideals in subtraction algebras was introduced by Jun et al. (00). For detail study of subtraction algebras see (Ceven Ozturk, 00 Jun et al., 00). The most appropriate theory for dealing with uncertainties is the theory of fuzzy sets developed by Zadeh (). Since then the notion of fuzzy sets is actively applicable in di erent algebraic structures. The fuzzi cation of ideals in subtraction algebras were discussed in (Lee Park, 00). Atanassov () introduced the idea of intuitionistic fuzzy set which in more general one as compared to a fuzzy set. Bhakat Das () introduced a new type of fuzzy subgroups, that is, the (; _q)-fuzzy subgroups. Jun et al. (0) introduced the notion of (; _q k )-fuzzy subgroup. In fact, the (; _q k )-fuzzy subgroup is an important generalization of Rosenfeld s fuzzy subgroup. Shabir et al. (00) characterized semigroups by (; _q k )-fuzzy ideals, also see Shabir Mahmood (0, 0). Molodtsov () introduced the concept of soft set as a new mathematical tool for dealing with uncertainties that are free from the di culties that have troubled the usual theoretical approaches. Molodtsov pointed out several directions for the applications of soft sets. At present, works on the soft set theory are progressing rapidly. Maji et al. (00) described the application of soft set theory to a decision-making problem. Maji et al. (00) also studied several operations on the theory of soft sets. Maji et al. (00b, 00) studied intuitionistic fuzzy soft sets. The notion of fuzzy soft sets, as a generalization of the stard soft sets, was introduced in (Maji, 00a), an application of fuzzy soft sets in a decision-making problem was presented. Ahmad et al. (00)
4 Page of have introduced arbitrary fuzzy soft union fuzzy soft intersection. Aygunoglu et al. (00) introduced the notion of fuzzy soft group studied its properties. Yaqoob et al. (0) studied the properties of intuitionistic fuzzy soft groups in terms of intuitionistic double t-norm. Jun et al. (00) introduced the notion of fuzzy soft BCK/BCI-algebras (closed) fuzzy soft ideals, then derived their basic properties. Williams Saeid (0) studied fuzzy soft ideals in subtraction algebras. Recently, Yang (0) have studied fuzzy soft semigroups fuzzy soft (left, right) ideals, have discussed fuzzy soft image fuzzy soft inverse image of fuzzy soft semigroups (ideals) in detail. Liu Xin (0) studied the idea of generalized fuzzy soft groups fuzzy normal soft groups. In this article, we study the concept of (; _q k )-intuitionistic fuzzy (soft) ideals of subtraction algebras. Here we consider some basic properties of (; _q k )-intuitionistic fuzzy (soft) ideals of subtraction algebras. Preliminaries In this section we recall some of the basic concepts of subtraction algebra which will be very helpful in further study of the paper. Throughout the paper X denotes the subtraction algebra unless otherwise speci ed. De nition. (Jun et al., 00) A non-empty set X together with a binary operation " " is said to be a subtraction algebra if it satis es the following: (S ) x (y x) = x; (S ) x (x y) = y (y x) ; (S ) (x y) z = (x z) y; for all x; y; z X: The last identity permits us to omit parentheses in expression of the form (x y) z: The subtraction determines an order relation on X : a b, a b = 0; where 0 = a a is an element that does not depends upon the choice of a X: The ordered set (X; ) is a semi-boolean algebra in the sense of (Abbot, ); that is, it is a meet semi lattice with zero, in which every interval [0; a] is a boolean algebra with respect to
5 Page of the induced order. Here a ^ b = a (a b); the complement of an element b [0; a] is a b is denoted by b = ; if b; c [0; a] ; then b _ c = b = ^ c = = = ((a b) ^ (a c)) = a (a b) ((a b) (a c)) : In a subtraction algebra, the following are true see (Jun et al., 00): (a) (x y) y = x y; (a) x 0 = x 0 x = 0; (a) (x y) x = 0; (a) x (x y) y; (a) (x y) (y x) = x y; (a) x (x (x y)) = x y; (a) (x y) (z y) x z; (a) x y if only if x = y w for some w X; (a) x y implies x z y z z y z x; for all z X; (a0) x; y z implies x y = x ^ (z y) ; (a) (x ^ y) (x ^ z) x ^ (y z) ; (a) (x y) z = (x z) (y z) : De nition. (Jun et al., 00) A non-empty subset A of a subtraction algebra X is called an ideal of X; denoted by A C X : if it satis es: (b) a x A for all a A x X; (b) for all a; b A; whenever a _ b exists in X then a _ b A: Proposition. (Jun et al., 00) A non-empty subset A of a subtraction algebra X is called an ideal of X; if only if it satis es:
6 Page of (b) 0 A; (b) for all x X for all y A; x y A ) x A: Proposition. (Jun et al., 00) Let X be a subtraction algebra x; y X: If w X is an upper bound for x y; then the element x _ y = w ((w y) x) is the least upper bound for x y: De nition. (Jun et al., 00) Let Y be a non-empty subset of X then Y is called a subalgebra of X if x y Y; whenever x; y Y: De nition. (Lee Park, 00) Let f be a fuzzy subset of X. Then f is called a fuzzy subalgebra of X if it satis es (FS) f(x y) minff(x); f(y)g, whenever x; y X: De nition. (Lee Park, 00) A fuzzy subset f is said to a fuzzy ideal of X if satis es: (FI) f(x y) f(x); (FI) If there exists x _ y, then f(x _ y) minff(x); f(y)g; for all x; y X: (; _q k )-intuitionistic fuzzy ideals In this section we will discuss some properties related to (; _q k )-intuitionistic fuzzy ideals of subtraction algebras. De nition. An intuitionistic fuzzy set A in X is an object of the form A = f(x; A (x); A (x)) : x Xg; where the function A : X! [0; ] A : X! [0; ] denote the degree of membership degree of non-membership of each element x X; 0 A (x) + A (x) for all x X: For simplicity, we will use the symbol A = ( A ; A ) for the intuitionistic fuzzy set A = f(x; A (x); A (x)) : x Xg: We de ne 0(x) = 0 (x) = for all x X:
7 Page of De nition. Let X be a subtraction algebra. An intuitionistic fuzzy set A = f(x; A (x); A (x)) : x Xg; of the form >< (; ) if y = x x (;) y = >: (0; ) if y = x is said to be an intuitionistic fuzzy point with support x value (; ) is denoted by x (;). A fuzzy point x (;) is said to intuitionistic belongs to (resp., intuitionistic quasi-coincident) with intuitionistic fuzzy set A = f(x; A (x); A (x)) : x Xg written x (;) A resp: x (;) qa if A (x) A (x) (resp., A (x) + > A (x) + < ) : By the symbol x (;) q k A we mean A (x) + + k > A (x) + + k < ; where k (0; ) : We use the symbol x t A implies A (x) t t x [] A implies A (x) t; in the whole paper. De nition. An intuitionistic fuzzy set A = ( A ; A ) of X is said to be an (; _q k )-intuitionistic fuzzy subalgebra of X if x (t;t ) A; y (t;t ) A ) (x y) (t^t ;t _t ) _q ka; for all x; y X; t ; t ; t ; t ; k (0; ): OR An intuitionistic fuzzy set A = ( A ; A ) of X is said to be an (; _q k )-intuitionistic fuzzy subalgebra of X if it satisfy the following conditions, (i) x t A ; y t A ) (x y) t^t _q k A ; for all x; y X; t ; t ; k (0; ]; (ii) t x [] A; t y [] A ) t_t x y [] ^ [q k] A ; for all x; y X; t ; t ; k [0; ): Example. Let X = f0; a; bg be a subtraction algebra with the following Cayley table 0 a b a a 0 a b b b 0 ;
8 Page of Let us de ne the intuitionistic fuzzy set A = ( A ; A ) of X as X 0 a b A (x) 0: 0: 0: A (x) 0: 0: 0: t 0: t 0: t 0: t 0: k 0: then A = ( A ; A ) is an (; _q 0: )-intuitionistic fuzzy subalgebra of X: De nition. An intuitionistic fuzzy set A = ( A ; A ) of X is said to be an (; _q k )-intuitionistic fuzzy ideal of X if it satisfy the following conditions, (i) x (t;t) A; y X ) (x y) t _q k A; (ii) If there exist x _ y; then x (t;t ) A; y (t;t ) A ) (x _ y) (t^t ;t _t ) _q ka; for all x; y X; t; t ; t ; t ; t ; k (0; ): OR An intuitionistic fuzzy set A = ( A ; A ) of X is said to be an (; _q k )-intuitionistic fuzzy ideal of X if it satisfy the following conditions, (i) x t A ; y X ) (x y) t _q k A ; (ii) If there exist x _ y in X then x t A ; y t A ) (x _ y) t^t _q k A ; for all x; y X; t; t ; t ; k (0; ]; (iii) t x [] A; y X ) t x y [] ^ [q k] A ; (iv) If there exist x _ y in X then t x [] A; t y [] A ) t_t x_y [] ^ [q k] A ; for all x; y X; t; t ; t ; k [0; ): ;
9 Page of Example. Let X = f0; a; bg be a subtraction algebra with the Cayley table de ne in Example., let us de ne an intuitionistic fuzzy set A = ( A ; A ) of X as X 0 a b A (x) 0: 0: 0: A (x) 0: 0: 0: t 0: t 0: t 0: t 0: t 0: k 0: then A = ( A ; A ) is an (; _q 0: )-intuitionistic fuzzy ideal of X: Theorem. An intuitionistic fuzzy set A = ( A ; A ) of X is said to be an (; _q k )-intuitionistic fuzzy subalgebra of X if only if A (x y) minf A (x) ; A (y); k g A(x y) maxf A (x) ; A (y); k g: Proof. Let A = ( A ; A ) be an (; _q k )-intuitionistic fuzzy subalgebra of X; assume on contrary that there exist some t (0; ] r [0; ) such that This implies that A (x y) < t < minf A (x) ; A (y); k g A (x y) > r > maxf A (x) ; A (y); k g: A (x) t; A (y) t; A (x y) < t ) A (x y) + t + k < k ) (x y) t _q k A ; ; + k + k =
10 Page 0 of which is a contradiction. Hence Also from we get which is a contradiction. Hence A (x y) minf A (x) ; A (y); k g: A (x y) > r > maxf A (x) ; A (y); k g A (x) r; A (y) r; A (x y) > r ) A (x y) + r + k > k + k + k = r ) x y [] ^ [q k] A (x); A (x y) maxf A (x) ; A (y); k g: Conversely, let A (x y) minf A (x) ; A (y); k g A(x y) maxf A (x) ; A (y); k g: Let x t A ; y t A for all x; y X; t ; t ; k (0; ] t x [] A; t y [] A for all x; y X; t ; t ; k [0; ): This implies that A (x) t ; A (y) t A (x) t ; A (y) t : Consider A (x y) min A (x); A (y); k min t ; t ; k : If t ^ t > k ; then A(x y) k : So A(x y) + (t ^ t ) + k > k + k + k = ; which implies that (x y) t^t q k A : If t ^ t k ; then A(x y) t ^ t : So (x y) t^t A : Thus (x y) t^t _q k A : Also consider A (x y) maxf A (x) ; A (y); k g maxft ; t ; k g: If t _ t < k ; then A(x y) k : So A(x y) + (t _ t ) + k < k + k + k = ; which implies that t_t x y [q k] A : If t _ t > k ; then A(x y) t _ t : So t_t x y [] A: Thus t_t x y [] _ [q k] A : Hence A = ( A ; A ) is an (; _q k )-intuitionistic fuzzy subalgebra of X: Theorem. An intuitionistic fuzzy set A = ( A ; A ) of X is said to be an (; _q k )-intuitionistic fuzzy ideal of X if only if (i) A (x y) minf A (x) ; k g; (ii) A (x y) maxf A (x) ; k g;
11 Page of (ii) A (x _ y) minf A (x) ; A (y); k g; (iv) A (x _ y) maxf A (x) ; A (y); k g: Proof. The proof is similar to the proof of the Theorem.: Proposition. Every (; _q k )-intuitionistic fuzzy ideal of X is an (; _q k )-intuitionistic fuzzy subalgebra of X; but converse is not true as shown in the following example. Example.0 Let X = f0; a; bg be a subtraction algebra with the Cayley table de ne in Example., let X 0 a b A (x) 0: 0: 0: A (x) 0: 0: 0: then by Theorem., A = ( A ; A ) is an (; _q k )-intuitionistic fuzzy subalgebra of X: But by Theorem., we observe that A = ( A ; A ) is not a (; _q 0: ) intuitionistic fuzzy ideal of X: As A (a _ b) = A (0 ((0 b) a))) = A (0) = 0: minf A (a) ; A (b); k g = minf0:; 0:; 0:g = 0:: De nition. Let A = ( A ; A ) is an intuitionistic fuzzy set of X: De ne the intuitionistic level set as A (;) = fx Xj A (x) ; A (x) ; where (0; k ]; [ k ; )g: Theorem. An intuitionistic fuzzy set A = ( A ; A ) of X is said to be an (; _q k )-intuitionistic fuzzy subalgebra of X if only if A (;) = ; is a subalgebra of X: Proof. Let A = ( A ; A ) be an (; _q k )-intuitionistic fuzzy subalgebra of X: Suppose that x; y A (;) then A (x) ; A (y) A (x) ; A (y) : Since A = ( A ; A ) is an (; _q k )-intuitionistic fuzzy subalgebra of X; so A (x y) minf A (x) ; A (y); k g minf; ; k g = minf; k g = 0
12 Page of A (x y) maxf A (x) ; A (y); k g maxf; ; k g = maxf; k g = : Thus (x y) A (;) : Hence A (;) = ; is a subalgebra of X: Conversely, assume that A (;) = ; is a subalgebra of X: Assume on contrary that there exist some x; y X such that A (x y) < minf A (x) ; A (y); k g A(x y) > maxf A (x) ; A (y); k g: Choose (0; k ]; [ k ; ) such that A(x y) < < minf A (x) ; A (y); k g A(x y) > > maxf A (x) ; A (y); k g: This implies that (x y) = A (;); which is a contradiction to the hypothesis. Hence A (x y) minf A (x) ; A (y); k g A(x y) maxf A (x) ; A (y); k g: Thus A = ( A; A ) is an (; _q k )-intuitionistic fuzzy subalgebra of X: Theorem. An intuitionistic fuzzy set A = ( A ; A ) of X is said to be an (; _q k )-intuitionistic fuzzy ideal of X if only if A (;) = ; is an ideal of X: Proof. The proof is similar to the proof of the Theorem.: De nition. Let X be a subtraction algebra A X, an (; _q k )-intuitionistic characteristic function A = fhx; A (x); A (x)ijx Sg; where A A are fuzzy sets respectively, de ned as follows: >< A : X! [0; ]jx! A (x) := >: >< A : X! [0; ]jx! A (x) := >: k if x A 0 if x = A if x A k if x = A Lemma. For a non-empty subset A of a subtraction algebra X; we have :
13 Page of E (i) A is a subalgebra of X if only if the characteristic intuitionistic set A = D A ; A of A in X is an (; _q k )-intuitionistic fuzzy subalgebra of X: E (ii) A is an ideal of X if only if the characteristic intuitionistic set A = D A ; A of A in X is an (; _q k )-intuitionistic fuzzy ideal of X: Proof. (i) Let A is a subalgebra of X. We consider the following cases. Case () Let x; y A then x y A so A (x) = k = A (y) = A (x y) A (x) = = A (y) = A (x y):hence A (x y) = k minf A (x) ; A (y); k g minf k ; k ; k g = k A (x y) = maxf A (x) ; A (y); k g maxf; ; k g = : E Which implies that A = D A ; A of A is an (; _q k )-intuitionistic fuzzy subalgebra of X: Case () Let x; y = A then x y = A so A (x) = 0 = A (y) = A (x y) A (x) = k = A (y) = A (x y): Hence A (x y) = 0 minf A (x) ; A (y); k g minf0; 0; k g = 0 A (x y) = k maxf A (x) ; A (y); k g maxf k ; k ; k g = k : E Which again implies that A = D A ; A of A in X is an (; _q k )-intuitionistic fuzzy subalgebra of X: E Hence characteristic intuitionistic set A = D A ; A of A is an (; _q k )-intuitionistic fuzzy subalgebra of X: E Conversely, let the characteristic intuitionistic set A = D A ; A of A in X is an (; _q k )-intuitionistic fuzzy subalgebra of X: Let x; y A then A (x) = k = A (y) A (x) = = A (y):
14 Page of Hence A (x y) minf A (x) ; A (y); k g minf k ; k ; k g = A (x y) maxf A (x) ; A (y); k g maxf; ; k g = : Which implies that (x y) A: Hence A is a subalgebra of X: (ii) The proof of this part is similar to the proof of part (i). (; _q k )-intuitionistic fuzzy soft ideals Molodtsov de ned the notion of a soft set as follows. De nition. (Molodtsov, ) A pair (F; A) is called a soft set over U, where F is a mapping given by F : A! P (U): In other words a soft set over U is a parametrized family of subsets of U: The class of all intuitionistic fuzzy sets on X will be denoted by IF (X): De nition. (Maji et al., 00b) Let U be an initial universe E be the set of parameters. Let A E: A pair ( e F ; A) is called an intuitionistic fuzzy soft set over U, where e F is a mapping given by e F : A k! IF (U): In general, for every A: F e E [] = D is an intuitionistic fuzzy set in U it is called intuitionistic fuzzy value set of parameter : De nition. Let U be an initial universe E be a set of parameters. Suppose that A; B E; ( e F ; A) ( e G; B) are two intuitionistic fuzzy soft sets, we say that ( e F ; A) is an intuitionistic fuzzy soft subset of ( e G; B) if only
15 Page of () A B; () for all A, e F [] is an intuitionistic fuzzy subset of e G[]; that is, for all x U A (x) eg[] (x); (x) eg[] (x): This relationship is denoted by ( e F ; A) b ( e G; B): De nition. Let ( e F ; A) ( e G; B) be two intuitionistic fuzzy soft sets over a common universe U. Then ( e F ; A)e^( e G; B) is de ned by ( e F ; A)e^( e G; B) = ( e ; A B); where e [; "] = e F [] \ e G["] for all (; ") A B; that is, for all (; ") A B; x U: e[; "] = D E (x) ^ eg["] (x) (x) _ eg["] (x) ; De nition. Let ( e F ; A) ( e G; B) be two intuitionistic fuzzy soft sets over a common universe U. Then ( e F ; A)e_( e G; B) is de ned by ( e F ; A)e_( e G; B) = ( e ; A B); where e [; "] = e F [] [ e G["] for all (; ") A B; that is, for all (; ") A B; x U: D E e[; "] = (x) _ eg["] (x) (x) ^ eg["] (x) ; De nition. Let ( e F ; A) ( e G; B) be two intuitionistic fuzzy soft sets over a common universe U. Then the intersection ( e ; C); where C = A [ B for all C x U; We denote it by ( e F ; A) e ( e G; B) = ( e ; C): (x) if A B >< e[] (x) = eg[] (x) if B A >: >: (x) ^ eg[] (x) if A \ B; (x) if A B >< e[] (x) = eg[] (x) if B A (x) _ eg[] (x) if A \ B:
16 Page of De nition. Let ( F e ; A) ( G; e B) be two intuitionistic fuzzy soft sets over a common universe U. Then the union ( ; e C); where C = A [ B for all C x U; (x) if A B >< e[] (x) = eg[] (x) if B A >: (x) _ eg[] (x) if A \ B; (x) if A B >< e[] (x) = eg[] (x) if B A >: (x) ^ eg[] (x) if A \ B: We denote it by ( F e ; A) d ( G; e B) = ( ; e C): In contrast with the above de nitions of IF-soft set union intersection, we may sometimes adopt di erent de nitions of union intersection given as follows. De nition. Let ( F e ; A) ( G; e B) be two IF-soft sets over a common universe U A \ B = ;: Then the bi-intersection of ( F e ; A) ( G; e B) is de ned to be the fuzzy soft set ( ; e C); where C = A \ B e[] = F e [] \ G[] e for all C: This is denoted by ( ; e C) = ( F e ; A)eu( G; e B): De nition. Let ( e F ; A) ( e G; B) be two IF-soft sets over a common universe U A \ B = ;: Then the bi-union of ( e F ; A) ( e G; B) is de ned to be the fuzzy soft set ( e ; C); where C = A \ B e[] = F e [] [ G[] e for all C: This is denoted by ( ; e C) = ( F e ; A)et( G; e B): De nition.0 Let ( F e ; A) be an IF-soft set over X. Then ( F e ; A) is called an (; _q k )-intuitionistic fuzzy soft subtraction algebra if F e E [] = D is an (; _q k )-intuitionistic fuzzy subalgebra of X; for all A:
17 Page of Example. Let X = f0; a; bg be a subtraction algebra with the following Cayley table 0 a b a a 0 a b b b 0 let U is the set of cellular brs of mobile companies in the market. Let = fattractive, expensive, cheapg is a parameter space A = fattractive, cheapg: De ne ef ([attractive]) = fh0; 0:; 0:i ; ha; 0:; 0:i ; hb; 0:; 0:ig; ef ([cheap]) = fh0; 0:; 0:i ; ha; 0:; 0:i ; hb; 0:; 0:ig: Let k = 0: then h e F ; Ai is an (; _q 0: )-intuitionistic fuzzy soft subalgebra of X: De nition. An intuitionistic fuzzy soft set hf e ; Ai of X is called an (; _q k )-intuitionistic fuzzy soft D E subalgebra of X; if for all A; F e [] = is an (; _q k )-intuitionistic fuzzy subalgebra of X; if (i) (x y) minf (x) (y); k g; (ii) (x y) maxf (x) (y); k g; for all x; y X: De nition. An intuitionistic fuzzy soft set hf e ; Ai of X is called an (; _q k )-intuitionistic fuzzy soft ideal of X; if for all A; F e E [] = D is an (; _q k )-intuitionistic fuzzy soft ideal of X; if (i) (x y) minf (x) ; k g; (ii) (x y) maxf (x) ; k g; (iii) (x _ y) minf (x) (y); k g; (iv) (x _ y) maxf (x) (y); k g; for all x; y X:
18 Page of Proposition. An (; _q k )-intuitionistic fuzzy soft ideal of X is an (; _q k )-intuitionistic fuzzy soft subalgebra of X; but converse is not true as shown in the following example. Example. From Example., h e F ; Ai is not an (; _q k )-intuitionistic fuzzy soft ideal of X: As ef ([attractive]) (a _ b) = ef ([attractive]) (0 ((0 b) a))) = ef ([attractive]) (0) = 0: minf ef ([attractive]) (a); ef ([attractive]) (b); k g = 0: = minf0:; 0:; 0:g; for k = 0:: Theorem. Let h e F ; Ai h e G; Bi be two (; _q k )-intuitionistic fuzzy soft subalgebras (resp., ideals) of X. Then h e F ; Aie^h e G; Bi is also an (; _q k )-intuitionistic fuzzy soft subalgebra (resp., ideal) of X: Proof. Let h e F ; Ai h e G; Bi be two (; _q k )-intuitionistic fuzzy soft ideals of X: We know that h e F ; Aie^h e G; Bi = h e ; A Bi; where e [; "] = e F [] \ e G["] for all (; ") A B; that is for all x X: Let x; y X; we have D E e[; "](x) = (x) ^ eg[] (x) (x) _ eg[] (x) ^ eg[] (x y) = (x y) ^ eg[] (x y) minf (x) ; k g ^ minf eg[] (x) ; k g = minf (x) ^ eg[] (x) ; k g = minf ^ eg[] (x) ; k g; _ eg[] (x y) = (x y) _ eg[] (x y) maxf (x) ; k g ^ = maxf (x) _ eg[] (x) ; = maxf _ eg[] (x) ; maxf eg[] (x) ; k k g: g k g
19 Page of Also we have ^ eg[] (x _ y) = (x _ y) ^ eg[] (x _ y) minf (x) (y) ; k = g ^ minf (x) ^ eg[] (x) (y) ^ eg[] (y) ; = minf ^ eg[] (x) ; ^ eg[] (y) ; _ eg[] (x _ y) = (x _ y) _ eg[] (x _ y) maxf (x) (y) ; k g ^ = maxf (x) _ eg[] (x) (y) _ eg[] (y) ; k = maxf _ eg[] (x) ; ^ eg[] (y) ; k g: minf eg[] (x) ; eg[] (y) ; k k g k g; maxf eg[] (x) ; eg[] (y) ; Hence h e F ; Aie^h e G; Bi is also an (; _q k )-intuitionistic fuzzy soft ideal of X: The other case can be seen in a similar way. Theorem. Let h e F ; Ai h e G; Bi be two (; _q k )-intuitionistic fuzzy soft subalgebras (resp., ideals) of X. Then h e F ; Aie_h e G; Bi is also an (; _q k )-intuitionistic fuzzy soft subalgebra (resp., ideal) of X: Proof. The proof is similar to the proof of the Theorem.: Theorem. Let h e F ; Ai be an intuitionistic fuzzy soft set of X: Then h e F ; Ai is an (; _q k )-intuitionistic fuzzy soft subalgebra (resp., ideal) of X if only if h e F ; Ai (;) = h e F (;) ; Ai = fx Xj (x) ; (x) ; where (0; k ]; [ k ; )g is a soft subalgebra (resp., ideal) of X: Proof. Let h e F ; Ai be an (; _q k )-intuitionistic fuzzy soft subalgebra of X: Let x; y h e F ; Ai (;) then (x) (y) (x) (y) ; where (0; k ]; [ k ; ): Since h F e ; Ai is an (; _q k )-intuitionistic fuzzy soft subalgebra of X; so (x y) minf (x) (y) ; k g = minf; ; k g = ; g k g g
20 Page 0 of (x y) maxf (x) (y) ; k g = maxf; ; k g = : Thus (x y) h e F ; Ai (;) : Hence h e F ; Ai (;) is a soft subalgebra of X: Conversely assume that h e F ; Ai (;) is a soft subalgebra of X: Let there exist some r (0; ] s [0; ) such that This implies that (x (x y) < r < minf (x) (y) ; k g (x y) > s > minf (x) (y) ; k g: y) = h e F ; Ai (;) ; which is contradiction. Thus (x y) minf (x) (y) ; k g (x y) maxf (x) (y) ; k g: Hence h e F ; Ai is an (; _q k )-intuitionistic fuzzy soft subalgebra of X: Proposition. Every (; _q k )-intuitionistic fuzzy soft ideal h e F ; Ai of X satis es the following, (i) (0) minf (x); k g; (ii) (0) maxf (x); k g, for all x X: Proof: By letting x = y in the De nition., we get the required proof. Lemma.0 If an (; _q k )-intuitionistic fuzzy soft set h e F ; Ai of X satis es the followings, (i) (0) minf (x); k g; (ii) (0) maxf (x); k g;
21 Page of (iii) (x z) minf ((x y) z) (y) ; k g; (iv) (x z) maxf ((x y) z) (y) ; k g. Then we have x a ) (x) minf (a); k g F e [] (x) maxf (a); k g; for all a; x; y; z X: Proof. Let a; x X x a: Consider Also consider This complete the proof. (x) = (x 0) by (a); minf ((x a) 0) (a) ; k g by (iii); = minf (0) (a) ; k g by x a i x a = 0; = minf (a); k g by (i): (x) = (x 0) by (a); maxf ((x a) 0) (a) ; k g by (iv), = maxf (0) (a) ; k g by x a i x a = 0; = maxf (a); k g by (ii): Theorem. An (; _q k )-intuitionistic fuzzy soft set h e F ; Ai of X satis es the conditions (i)-(iv) of the Lemma.0, if only if h e F ; Ai is an (; _q k )-intuitionistic fuzzy soft ideal of X: Proof. Suppose that h e F ; Ai; i.e, e F [] = D E satis es the conditions (i)-(iv) of the Lemma.0. Let x; y X; then by using (a) we have x y x: Now by the use of lemma.0, (x y) minf (x); k g F e [] (x y) maxf (x); k g for all x; y X: Also (x _ y) minf (x); k g F e [] (x _ y) maxf (x); k g whenever x _ y exists in X by using the lemma.0, we have (x _ y) minf (x) (y); k g F e [] (x _ y) 0
22 Page of maxf (x) (x); k g for all x; y X: Hence h F e ; Ai is an (; _q k )-intuitionistic fuzzy soft ideal of X: Conversely, assume that h e F ; Ai is an (; _q k )-intuitionistic fuzzy soft ideal of X: Conditions (i) (ii) directly follows from the Proposition.. let x; y; z X: Put x = y y = x z in (a) (a); We get from (a); (x z) y x z from (a); we have y (y ((x z)) x z: Which indicates that x z is an upper bound for (x z) y y (y ((x z)): By using the Proposition., we have Thus ((x z) y) _ (y (y ((x z))) = (x z) (((x z) ((x z) y)) (y (y (x z)))) = x z: (x z) = (((x z) y) _ (y (y ((x z)))) Which is (iii). And minf ((x z) y) (y (y (x z)) ; k g = minf ((x y) z) (y) ; k g by (S ) (a) x = y: (x z) = (((x z) y) _ (y (y ((x z)))) Which is (iv). Hence it completes the proof. maxf ((x z) y) (y (y (x z)) ; k g = maxf ((x y) z) (y) ; k g by (S ) (a) x = y: Theorem. An (; _q k )-intuitionistic fuzzy soft set h e F ; Ai of X is an (; _q k )-intuitionistic fuzzy soft ideal of X if only if it satis es (i) (x ((x a) b)) minf (a) (b); k g; (ii) (x ((x a) b)) maxf (a) (b); k g for all x; a; b X:
23 Page of Proof. Let (; _q k )-intuitionistic fuzzy set A = of X satis es (i) (ii). Consider (x y) = ((x y) (((x y) x) x))) by (i) minf (x) (x); k g = minf (x); k g (x y) = ((x y) (((x y) x) x))) by (ii) max cf (x) (x); k g = maxf (x); k g: Also suppose that x _ y exists in X by using the Proposition., we have x _ y = w ((w x) y): Now using the given conditions (x _ y) = (w ((w x) y)) minf (x) (y); k g by (i); (x _ y) = (w ((w x) y)) maxf (x) (y); k g by (ii): Hence A = is an (; _q k )-intuitionistic fuzzy soft ideal of X: Conversely, let A = be an (; _q k )-intuitionistic fuzzy soft ideal of X: By Theorem., (x z) minf ((x y) z) (y); k g (x z) maxf ((x y) z) (y); k g:
24 Page of Let z = (x a) b y = b; then (x ((x a) b)) minf ((x y) ((x a) b)) (b); k g = minf ((x y) ((x b) a)) (b); k g by (S ) = minf (a) (b); k g by putting x = x b y = a in (a) (x ((x a) b)) maxf ((x y) ((x a) b)) (b); k g = maxf ((x y) ((x b) a)) (b); k g by (S ) = maxf (a) (b); k g by putting x = x b y = a in (a): Hence A = satisfy condition (i) (ii). Lemma. An intuitionistic fuzzy set A = of X is an (; _q k )-intuitionistic fuzzy soft ideal of X if only if fuzzy sets are (; _q k )- fuzzy soft ideals of X: Proof. The proof is straightforward. Theorem. An intuitionistic fuzzy set A = of X is an (; _q k )-intuitionistic fuzzy soft ideal of X if only if B A = C A = are (; _q k )- intuitionistic fuzzy soft ideal of X: Proof. The proof is straightforward. Theorem. If A = is an (; _q k )-intuitionistic fuzzy soft ideal of X; then are soft ideals of X: X = fx X : (x) = minf (x); k g = ef [] (0)g X = fx X : (x) = maxf (x); k g = ef [] (0)g
25 Page of Proof. Let a X x X: Then by de nition minf (x); k g = F e [] (0): Since A = is an (; _q k )-intuitionistic fuzzy soft ideal of X so we have (i) (a x) minf (a) ; k g = e F [] (0) ; which implies that (a x) X : (ii) (a x) maxf (a) ; k g = e F [] (0) ; which implies that (a x) X : Let x _ y exists in X; we get (ii) (x _ y) minf (x) (y); k g = F e [] (0) ;which implies that (x _ y) X ; (iv) (x _ y) maxf (x) (y); k g = F e [] (0) ;which implies that (x _ y) X : Hence are soft ideals of X: X = fx X : (x) = minf (x); k g = ef [] (0)g X = fx X : (x) = maxf (x); k g = ef [] (0)g Theorem. Let h e F ; Ai h e G; Bi be two (; _q k )-intuitionistic fuzzy soft subalgebras (resp., ideals) of X. Then so is h e F ; Ai \ h e G; Bi: Proof. Let h e F ; Ai h e G; Bi be two (; _q k )-intuitionistic fuzzy soft subalgebras of X. We know that h e F ; Ai \ h e G; Bi = h e ; Ci; where C = A [ B: Now for any C x; y X; we consider the following cases Case : For any A B; we have e[] (x y) = (x y) minf (x) (y); k g = minf e[] (x) ; e[] (y); k g;
26 Page of Case : For any B A; we have Case : e[] (x y) = (x y) maxf (x) (y); k g = maxf e[] (x) ; e[] (y); k g: e[] (x y) = eg[] (x y) minf eg[] (x) ; eg[] (y); k g = minf e[] (x) ; e[] (y); k g; e[] (x y) = eg[] (x y) maxf eg[] (x) ; eg[] (y); k g = maxf e[] (x) ; e[] (y); k g: For any A \ B; we have \ eg["] [ eg["] : Analogous to the proof of Theorem.. Hence h e F ; Ai \ h e G; Bi is an (; _q k )-intuitionistic fuzzy soft subalgebra of X. Theorem. Let h e F ; Ai h e G; Bi be two (; _q k )-intuitionistic fuzzy soft subalgebra (resp., ideals) of X. Then so is h e F ; Ai [ h e G; Bi: Proof. The proof is similar to the proof of the Theorem.: Acknowledgement: We highly appreciate the detailed valuable comments of the referees which greatly improve the quality of this paper. References [] Abbot, J.C.. Sets, lattices Boolean algebra, Allyn Bacon, Boston. [] Ahmad, B. Athar, K. 00. Mappings on fuzzy soft classes. Advances in Fuzzy Systems. -. [] Atanassov, K.T.. Intuitionistic fuzzy sets. Fuzzy sets System. 0, -.
27 Page of [] Aygunoglu, A. Aygun, H. 00. Introduction to fuzzy soft groups. Computers Mathematics with Applications., -. [] Bhakat, S.K. Das, P.. (; _q) fuzzy subgroups. Fuzzy Sets Systems. 0, -. [] Ceven, Y. Ozturk, M.A. 00. Some results on subtraction algebras. Hacettepe Journal of Mathematica Statistics., -0. [] Jun, Y.B., Kim, H.S. Roh, E.H. 00. Ideal theory of subtraction algebras. Scientiae Mathematicae Japonicae., -. [] Jun, Y.B. Kim, H.S. 00. On ideals in subtraction algebras. Scientiae Mathematicae Japonicae., -. [] Jun, Y.B., Kang, M.S. Park, C.H. 0. Fuzzy subgroups based on fuzzy points. Communications of the Korean Mathematical Society., -. [0] Jun, Y.B., Lee, K.J. Park, C.H. 00. Fuzzy soft set theory applied to BCK/BCI-algebras. Computers Mathematics with Applications., 0-. [] Lee, K.J. Park, C.H. 00. Some questions on fuzzi cations of ideals in subtraction algebras. Communications of the Korean Mathematical Society., -. [] Liu, Y. Xin, X. 0. General fuzzy soft groups fuzzy normal soft groups, Annals of Fuzzy Mathematics Informatics., -00. [] Maji, P.K., Roy, A.R. Biswas, R. 00. An application of soft sets in a decision making problem, Computers Mathematics with Applications., 0-0. [] Maji, P.K., Biswas, R. Roy, A.R. 00. Soft set theory. Computers Mathematics with Applications., -. [] Maji, P.K., Biswas, R. Roy, A.R. 00a. Fuzzy soft sets. Journal of Fuzzy Mathematics., -0. [] Maji, P.K., Biswas, R. Roy, A.R. 00b. Intuitionistic fuzzy soft sets. Journal of Fuzzy Mathematics., -.
28 Page of [] Maji, P.K., Roy, A.R. Biswas, R. 00. On intuitionistic fuzzy soft sets. Journal of Fuzzy Mathematics., -. [] Molodtsov, D.. Soft set theory- rst results. Computers Mathematics with Applications., -. [] Schein, B.M.. Di erence semigroups, Communications in Algebra. 0, -. [0] Shabir, M., Jun, Y.B. Nawaz, Y. 00. Semigroups characterized by (; _q k )-fuzzy ideals. Computers Mathematics with Applications. 0, -. [] Shabir, M. Mahmood, T., 0. Characterizations of hemirings by (; _q k )-fuzzy ideals. Computers & Mathematics with Applications. (), 0 0. [] Shabir, M. Mahmood, T., 0. Semihypergroups characterized by (; _q k )-fuzzy hyperideals. Information Sciences Letters. (), 0-. [] Williams, D.R.P. Saeid, A.B. 0. Fuzzy soft ideals in subtraction algebras. Neural Computing Applications., -. [] Yang, C. 0. Fuzzy soft semigroups fuzzy soft ideals. Computers Mathematics with Applications., -. [] Yaqoob, N., Akram, M. Aslam, M. 0. Intuitionistic fuzzy soft groups induced by (t; s)-norm. Indian Journal of Science Technology,, -. [] Zadeh, L.A.. Fuzzy sets, Information Control., -. [] Zelinka, B.. Subtraction semigroup. Mathematica Bohemica. 0, -.
Generalized N -Ideals of Subtraction Algebras
Journal of Uncertain Systems Vol.9, No.1, pp.31-48, 2015 Online at: www.jus.org.uk Generalized N -Ideals of Subtraction Algebras D.R. Prince Williams 1, Arsham Borumand Saeid 2, 1 Department of Information
More informationPrime and Irreducible Ideals in Subtraction Algebras
International Mathematical Forum, 3, 2008, no. 10, 457-462 Prime and Irreducible Ideals in Subtraction Algebras Young Bae Jun Department of Mathematics Education Gyeongsang National University, Chinju
More informationATANASSOV S INTUITIONISTIC FUZZY SET THEORY APPLIED TO QUANTALES
Novi Sad J. Math. Vol. 47, No. 2, 2017, 47-61 ATANASSOV S INTUITIONISTIC FUZZY SET THEORY APPLIED TO QUANTALES Bijan Davvaz 1, Asghar Khan 23 Mohsin Khan 4 Abstract. The main goal of this paper is to study
More informationON SUB-IMPLICATIVE (α, β)-fuzzy IDEALS OF BCH-ALGEBRAS
ON SUB-IMPLICATIVE (α, β)-fuzzy IDEALS OF BCH-ALGEBRAS MUHAMMAD ZULFIQAR Communicated by the former editorial board In this paper, we introduce the concept of sub-implicative (α, β)-fuzzy ideal of BCH-algebra
More informationSoft subalgebras and soft ideals of BCK/BCI-algebras related to fuzzy set theory
MATHEMATICAL COMMUNICATIONS 271 Math. Commun., Vol. 14, No. 2, pp. 271-282 (2009) Soft subalgebras and soft ideals of BCK/BCI-algebras related to fuzzy set theory Young Bae Jun 1 and Seok Zun Song 2, 1
More informationINTUITIONISTIC FUZZY IDEALS OF LA-SEMIGROUPS.
INTUITIONISTIC FUZZY IDEALS OF LA-SEMIGROUPS. MUHAMMAD ASLAM AND SALEEM ABDULLAH Abstract. e consider the intuitionistic fuzzi cation of the concept of several ideals in LA-semigroup S, investigate some
More informationFuzzy Dot Subalgebras and Fuzzy Dot Ideals of B-algebras
Journal of Uncertain Systems Vol.8, No.1, pp.22-30, 2014 Online at: www.jus.org.uk Fuzzy Dot Subalgebras and Fuzzy Dot Ideals of B-algebras Tapan Senapati a,, Monoranjan Bhowmik b, Madhumangal Pal c a
More informationOn generalized fuzzy sets in ordered LA-semihypergroups
Proceedings of the Estonian Academy of Sciences, 2019, 68, 1, 43 54 https://doi.org/10.3176/proc.2019.1.06 Available online at www.eap.ee/proceedings On generalized fuzzy sets in ordered LA-semihypergroups
More informationA NOTE ON MULTIPLIERS OF SUBTRACTION ALGEBRAS
Hacettepe Journal of Mathematics and Statistics Volume 42 (2) (2013), 165 171 A NOTE ON MULTIPLIERS OF SUBTRACTION ALGEBRAS Sang Deok Lee and Kyung Ho Kim Received 30 : 01 : 2012 : Accepted 20 : 03 : 2012
More informationON INTUITIONISTIC FUZZY SOFT TOPOLOGICAL SPACES. 1. Introduction
TWMS J. Pure Appl. Math. V.5 N.1 2014 pp.66-79 ON INTUITIONISTIC FUZZY SOFT TOPOLOGICAL SPACES SADI BAYRAMOV 1 CIGDEM GUNDUZ ARAS) 2 Abstract. In this paper we introduce some important properties of intuitionistic
More informationSemigroups characterized by the properties of (α, β) -fuzzy ideals. Saleem Abdullah, Muhammad Aslam, Bijan Davvaz
Annals of Fuzzy Mathematics and Informatics Volume 9, No. 1, January 015), pp. 43 63 ISSN: 093 9310 print version) ISSN: 87 635 electronic version) http://www.afmi.or.kr @FMI c Kyung Moon Sa Co. http://www.kyungmoon.com
More information@FMI c Kyung Moon Sa Co.
Annals of Fuzzy Mathematics and Informatics Volume 4, No. 2, October 2012), pp. 365 375 ISSN 2093 9310 http://www.afmi.or.kr @FMI c Kyung Moon Sa Co. http://www.kyungmoon.com On soft int-groups Kenan Kaygisiz
More information@FMI c Kyung Moon Sa Co.
Annals of Fuzzy Mathematics and Informatics Volume 5 No. 1 (January 013) pp. 157 168 ISSN: 093 9310 (print version) ISSN: 87 635 (electronic version) http://www.afmi.or.kr @FMI c Kyung Moon Sa Co. http://www.kyungmoon.com
More informationInternational Mathematical Forum, Vol. 7, 2012, no. 11, M. Asghari-Larimi
International Mathematical Forum, Vol. 7, 2012, no. 11, 531-538 Upper and Lower (α, β)- Intuitionistic Fuzzy Set M. Asghari-Larimi Department of Mathematics Golestan University, Gorgan, Iran asghari2004@yahoo.com
More informationOn (m,n)-ideals in LA-Semigroups
Applied Mathematical Sciences, Vol. 7, 2013, no. 44, 2187-2191 HIKARI Ltd, www.m-hikari.com On (m,n)-ideals in LA-Semigroups Muhammad Akram University of Gujrat Gujrat, Pakistan makram 69@yahoo.com Naveed
More informationSoft Matrices. Sanjib Mondal, Madhumangal Pal
Journal of Uncertain Systems Vol7, No4, pp254-264, 2013 Online at: wwwjusorguk Soft Matrices Sanjib Mondal, Madhumangal Pal Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar
More informationFuzzy parametrized fuzzy soft topology
NTMSCI 4, No. 1, 142-152 (2016) 142 New Trends in Mathematical Sciences http://dx.doi.org/10.20852/ntmsci.2016115658 Fuzzy parametrized fuzzy soft topology Idris Zorlutuna and Serkan Atmaca Department
More information(, q)-fuzzy Ideals of BG-Algebra
International Journal of Algebra, Vol. 5, 2011, no. 15, 703-708 (, q)-fuzzy Ideals of BG-Algebra D. K. Basnet Department of Mathematics, Assam University, Silchar Assam - 788011, India dkbasnet@rediffmail.com
More informationOn topologies induced by the soft topology
Tamsui Oxford Journal of Information and Mathematical Sciences 31(1) (2017) 49-59 Aletheia University On topologies induced by the soft topology Evanzalin Ebenanjar P. y Research scholar, Department of
More informationA NOVEL VIEW OF ROUGH SOFT SEMIGROUPS BASED ON FUZZY IDEALS. Qiumei Wang Jianming Zhan Introduction
italian journal of pure and applied mathematics n. 37 2017 (673 686) 673 A NOVEL VIEW OF ROUGH SOFT SEMIGROUPS BASED ON FUZZY IDEALS Qiumei Wang Jianming Zhan 1 Department of Mathematics Hubei University
More informationOn Intuitionistic Q-Fuzzy R-Subgroups of Near-Rings
International Mathematical Forum, 2, 2007, no. 59, 2899-2910 On Intuitionistic Q-Fuzzy R-Subgroups of Near-Rings Osman Kazancı, Sultan Yamak Serife Yılmaz Department of Mathematics, Faculty of Arts Sciences
More informationSOFT IDEALS IN ORDERED SEMIGROUPS
REVISTA DE LA UNIÓN MATEMÁTICA ARGENTINA Vol. 58, No. 1, 2017, Pages 85 94 Published online: November 11, 2016 SOFT IDEALS IN ORDERED SEMIGROUPS E. H. HAMOUDA Abstract. The notions of soft left and soft
More information2 Basic Results on Subtraction Algebra
International Mathematical Forum, 2, 2007, no. 59, 2919-2926 Vague Ideals of Subtraction Algebra Young Bae Jun Department of Mathematics Education (and RINS) Gyeongsang National University, Chinju 660-701,
More informationAN INTRODUCTION TO FUZZY SOFT TOPOLOGICAL SPACES
Hacettepe Journal of Mathematics and Statistics Volume 43 (2) (2014), 193 204 AN INTRODUCTION TO FUZZY SOFT TOPOLOGICAL SPACES Abdülkadir Aygünoǧlu Vildan Çetkin Halis Aygün Abstract The aim of this study
More informationHyperideals and hypersystems in LA-hyperrings
Songklanakarin J. Sci. Technol. 39 (5), 651-657, Sep. - Oct. 017 http://www.sjst.psu.ac.th Original Article Hyperideals and hypersystems in LA-hyperrings Inayatur Rehman 1, Naveed Yaqoob *, and Shah Nawaz
More informationM. Suraiya Begum, M. Sheik John IJSRE Volume 4 Issue 6 June 2016 Page 5466
Volume 4 Issue 06 June-2016 Pages-5466-5470 ISSN(e):2321-7545 Website: http://ijsae.in DOI: http://dx.doi.org/10.18535/ijsre/v4i06.06 Soft g*s Closed Sets in Soft Topological Spaces Authors M. Suraiya
More informationSongklanakarin Journal of Science and Technology SJST R1 Yaqoob. Hyperideals and Hypersystems in LA-hyperrings
Songklanakarin Journal of Science and Technology SJST-0-0.R Yaqoob Hyperideals and Hypersystems in LA-hyperrings Journal: Songklanakarin Journal of Science and Technology Manuscript ID SJST-0-0.R Manuscript
More informationMathematica Bohemica
Mathematica Bohemica Young Hee Kim; Hee Sik Kim Subtraction algebras and BCK-algebras Mathematica Bohemica, Vol. 128 (2003), No. 1, 21 24 Persistent URL: http://dml.cz/dmlcz/133931 Terms of use: Institute
More informationSOFT K (G)-ALGEBRAS A. H. HANDAM. 1. Introduction
- TAMKANG JOURNAL OF MATHEMATICS Volume 43, Number 2, 203-213, Summer 2012 doi:10.5556/j.tkjm.43.2012.203-213 Available online at http://journals.math.tku.edu.tw/ - - - + + SOFT K (G)-ALGEBRAS A. H. HANDAM
More informationUni-soft hyper BCK-ideals in hyper BCK-algebras.
Research Article http://wwwalliedacademiesorg/journal-applied-mathematics-statistical-applications/ Uni-soft hyper BCK-ideals in hyper BCK-algebras Xiao Long Xin 1*, Jianming Zhan 2, Young Bae Jun 3 1
More informationSoft set theoretical approach to residuated lattices. 1. Introduction. Young Bae Jun and Xiaohong Zhang
Quasigroups and Related Systems 24 2016, 231 246 Soft set theoretical approach to residuated lattices Young Bae Jun and Xiaohong Zhang Abstract. Molodtsov's soft set theory is applied to residuated lattices.
More informationInternational Journal of Mathematical Archive-7(1), 2016, Available online through ISSN
International Journal of Mathematical Archive-7(1), 2016, 200-208 Available online through www.ijma.info ISSN 2229 5046 ON ANTI FUZZY IDEALS OF LATTICES DHANANI S. H.* Department of Mathematics, K. I.
More informationNOWADAYS we are facing so many problems in practical
INTERNATIONAL JOURNAL OF MATHEMATICS AND SCIENTIFIC COMPUTING (ISSN: 2231-5330), VOL. 5, NO. 1, 2015 60 Uni-Soft Ideals of Ternary Semigroups Abid Khan and Muhammad Sarwar Abstract In this paper we introduce
More informationOn Uni-soft (Quasi) Ideals of AG-groupoids
Applied Mathematical Sciences, Vol. 8, 2014, no. 12, 589-600 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ams.2014.310583 On Uni-soft (Quasi) Ideals of AG-groupoids Muhammad Sarwar and Abid
More informationQ-fuzzy sets in UP-algebras
Songklanakarin J. Sci. Technol. 40 (1), 9-29, Jan. - Feb. 2018 Original Article Q-fuzzy sets in UP-algebras Kanlaya Tanamoon, Sarinya Sripaeng, and Aiyared Iampan* Department of Mathematics, School of
More informationA NEW APPROACH TO SEPARABILITY AND COMPACTNESS IN SOFT TOPOLOGICAL SPACES
TWMS J. Pure Appl. Math. V.9, N.1, 2018, pp.82-93 A NEW APPROACH TO SEPARABILITY AND COMPACTNESS IN SOFT TOPOLOGICAL SPACES SADI BAYRAMOV 1, CIGDEM GUNDUZ ARAS 2 Abstract. The concept of soft topological
More informationSubalgebras and ideals in BCK/BCI-algebras based on Uni-hesitant fuzzy set theory
EUROPEAN JOURNAL OF PURE AND APPLIED MATHEMATICS Vol. 11, No. 2, 2018, 417-430 ISSN 1307-5543 www.ejpam.com Published by New York Business Global Subalgebras and ideals in BCK/BCI-algebras based on Uni-hesitant
More informationAn Introduction to Fuzzy Soft Graph
Mathematica Moravica Vol. 19-2 (2015), 35 48 An Introduction to Fuzzy Soft Graph Sumit Mohinta and T.K. Samanta Abstract. The notions of fuzzy soft graph, union, intersection of two fuzzy soft graphs are
More informationOn Prime and Fuzzy Prime Ideals of a Subtraction Algebra
International Mathematical Forum, 4, 2009, no. 47, 2345-2353 On Prime and Fuzzy Prime Ideals of a Subtraction Algebra P. Dheena and G. Mohanraaj Department of Mathematics, Annamalai University Annamalainagar
More informationNEUTROSOPHIC PARAMETRIZED SOFT SET THEORY AND ITS DECISION MAKING
italian journal of pure and applied mathematics n. 32 2014 (503 514) 503 NEUTROSOPHIC PARAMETRIZED SOFT SET THEORY AND ITS DECISION MAING Said Broumi Faculty of Arts and Humanities Hay El Baraka Ben M
More informationOn Maximal Soft -open (Minimal soft -closed) Sets in Soft Topological Spaces
On Maximal Soft -open (Minimal soft -closed) Sets in Soft Topological Spaces Bishnupada Debnath aculty Of Mathematics Lalsingmura H/S School Sepahijala, Tripura, India ABSTRACT In soft topological space
More informationSoft Strongly g-closed Sets
Indian Journal of Science and Technology, Vol 8(18, DOI: 10.17485/ijst/2015/v8i18/65394, August 2015 ISSN (Print : 0974-6846 ISSN (Online : 0974-5645 Soft Strongly g-closed Sets K. Kannan 1*, D. Rajalakshmi
More informationNeutrosophic Permeable Values and Energetic Subsets with Applications in BCK/BCI-Algebras
mathematics Article Neutrosophic Permeable Values Energetic Subsets with Applications in BCK/BCI-Algebras Young Bae Jun 1, *, Florentin Smarache 2 ID, Seok-Zun Song 3 ID Hashem Bordbar 4 ID 1 Department
More informationNeutrosophic Soft Multi-Set Theory and Its Decision Making
Neutrosophic Sets and Systems, Vol. 5, 2014 65 Neutrosophic Soft Multi-Set Theory and Its Decision Making Irfan Deli 1, Said Broumi 2 and Mumtaz Ali 3 1 Muallim Rıfat Faculty of Education, Kilis 7 Aralık
More informationInternational Journal of Scientific & Engineering Research, Volume 6, Issue 3, March ISSN
International Journal of Scientific & Engineering Research, Volume 6, Issue 3, March-2015 969 Soft Generalized Separation Axioms in Soft Generalized Topological Spaces Jyothis Thomas and Sunil Jacob John
More informationScientiae Mathematicae Japonicae Online, Vol.4 (2001), a&i IDEALS ON IS ALGEBRAS Eun Hwan Roh, Seon Yu Kim and Wook Hwan Shim Abstract. In th
Scientiae Mathematicae Japonicae Online, Vol.4 (2001), 21 25 21 a&i IDEALS ON IS ALGEBRAS Eun Hwan Roh, Seon Yu Kim and Wook Hwan Shim Abstract. In this paper, we introduce the concept of an a&i-ideal
More informationNew types of bipolar fuzzy sets in -semihypergroups
Songlanaarin J. Sci. Technol. 38 (2) 119-127 Mar. - pr. 2016 http://www.sjst.psu.ac.th Original rticle New tpes of bipolar fu sets in -semihpergroups Naveed Yaqoob 1 * Muhammad slam 2 Inaatur Rehman 3
More informationFUZZY IDEALS OF NEAR-RINGS BASED ON THE THEORY OF FALLING SHADOWS
U.P.B. Sci. Bull., Series A, Vol. 74, Iss. 3, 2012 ISSN 1223-7027 FUZZY IDEALS OF NEAR-RINGS BASED ON THE THEORY OF FALLING SHADOWS Jianming Zhan 1, Young Bae Jun 2 Based on the theory of falling shadows
More informationA fixed point theorem on soft G-metric spaces
Available online at www.tjnsa.com J. Nonlinear Sci. Appl. 9 (2016), 885 894 Research Article A fixed point theorem on soft G-metric spaces Aysegul Caksu Guler a,, Esra Dalan Yildirim b, Oya Bedre Ozbakir
More informationFuzzy Soft Topology. G. Kalpana and C. Kalaivani Department of Mathematics, SSN College of Engineering, Kalavakkam , Chennai, India.
International Journal of Engineering Studies. ISSN 0975-6469 Volume 9, Number 1 (2017), pp. 45-56 Research India Publications http://www.ripublication.com Fuzzy Soft Topology G. Kalpana and C. Kalaivani
More informationNeutrosophic Left Almost Semigroup
18 Neutrosophic Left Almost Semigroup Mumtaz Ali 1*, Muhammad Shabir 2, Munazza Naz 3 and Florentin Smarandache 4 1,2 Department of Mathematics, Quaid-i-Azam University, Islamabad, 44000,Pakistan. E-mail:
More informationOn Intuitionitic Fuzzy Maximal Ideals of. Gamma Near-Rings
International Journal of Algebra, Vol. 5, 2011, no. 28, 1405-1412 On Intuitionitic Fuzzy Maximal Ideals of Gamma Near-Rings D. Ezhilmaran and * N. Palaniappan Assistant Professor, School of Advanced Sciences,
More informationIntuitionistic Fuzzy Metric Groups
454 International Journal of Fuzzy Systems, Vol. 14, No. 3, September 2012 Intuitionistic Fuzzy Metric Groups Banu Pazar Varol and Halis Aygün Abstract 1 The aim of this paper is to introduce the structure
More informationResearch Article Fuzzy Soft Multiset Theory
Abstract and Applied Analysis Volume 22 Article ID 6 2 pages doi:/22/6 Research Article Fuzzy Soft Multiset Theory Shawkat Alkhazaleh and Abdul Razak Salleh School of Mathematical Sciences Faculty of Science
More informationVOL. 3, NO. 3, March 2013 ISSN ARPN Journal of Science and Technology All rights reserved.
Fuzzy Soft Lattice Theory 1 Faruk Karaaslan, 2 Naim Çagman 1 PhD Student, Department of Mathematics, Faculty of Art and Science, Gaziosmanpaşa University 60250, Tokat, Turkey 2 Assoc. Prof., Department
More informationFuzzy Parameterized Interval-Valued Fuzzy Soft Set
Applied Mathematical Sciences, Vol. 5, 2011, no. 67, 3335-3346 Fuzzy Parameterized Interval-Valued Fuzzy Soft Set Shawkat Alkhazaleh School of Mathematical Sciences, Faculty of Science and Technology Universiti
More informationTHE notion of fuzzy groups defined by A. Rosenfeld[13]
I-Vague Groups Zelalem Teshome Wale Abstract The notions of I-vague groups with membership and non-membership functions taking values in an involutary dually residuated lattice ordered semigroup are introduced
More informationIntuitionistic Fuzzy Hyperideals in Intuitionistic Fuzzy Semi-Hypergroups
International Journal of Algebra, Vol. 6, 2012, no. 13, 617-636 Intuitionistic Fuzzy Hyperideals in Intuitionistic Fuzzy Semi-Hypergroups K. S. Abdulmula and A. R. Salleh School of Mathematical Sciences,
More informationVague Set Theory Applied to BM-Algebras
International Journal of Algebra, Vol. 5, 2011, no. 5, 207-222 Vague Set Theory Applied to BM-Algebras A. Borumand Saeid 1 and A. Zarandi 2 1 Dept. of Math., Shahid Bahonar University of Kerman Kerman,
More informationA study on fuzzy soft set and its operations. Abdul Rehman, Saleem Abdullah, Muhammad Aslam, Muhammad S. Kamran
Annals of Fuzzy Mathematics and Informatics Volume x, No x, (Month 201y), pp 1 xx ISSN: 2093 9310 (print version) ISSN: 2287 6235 (electronic version) http://wwwafmiorkr @FMI c Kyung Moon Sa Co http://wwwkyungmooncom
More informationNEUTROSOPHIC CUBIC SETS
New Mathematics and Natural Computation c World Scientific Publishing Company NEUTROSOPHIC CUBIC SETS YOUNG BAE JUN Department of Mathematics Education, Gyeongsang National University Jinju 52828, Korea
More informationISSN: Received: Year: 2018, Number: 24, Pages: Novel Concept of Cubic Picture Fuzzy Sets
http://www.newtheory.org ISSN: 2149-1402 Received: 09.07.2018 Year: 2018, Number: 24, Pages: 59-72 Published: 22.09.2018 Original Article Novel Concept of Cubic Picture Fuzzy Sets Shahzaib Ashraf * Saleem
More informationSoft intersection Γ-nearrings and its applications
615 Soft intersection Γ-nearrings and its applications Saleem Abdullah Muhammad Aslam Muhammad Naeem Kostaq Hila ICM 2012, 11-14 March, Al Ain Abstract Fuzzy set theory, rough set theoru and soft set theory
More informationFuzzy soft set approach to ideal theory of regular AG-groupoids
DOI: 10.1515/auom-2016-0015 An. Şt. Univ. Ovidius Constanţa Vol. 24(1),2016, 263 288 Fuzzy soft set approach to ideal theory of regular AG-groupoids Feng Feng, Madad Khan, Violeta Leoreanu-Fotea, aima
More informationDOI: /auom An. Şt. Univ. Ovidius Constanţa Vol. 25(1),2017, ON BI-ALGEBRAS
DOI: 10.1515/auom-2017-0014 An. Şt. Univ. Ovidius Constanţa Vol. 25(1),2017, 177 194 ON BI-ALGEBRAS Arsham Borumand Saeid, Hee Sik Kim and Akbar Rezaei Abstract In this paper, we introduce a new algebra,
More informationKyung Ho Kim, B. Davvaz and Eun Hwan Roh. Received March 5, 2007
Scientiae Mathematicae Japonicae Online, e-2007, 649 656 649 ON HYPER R-SUBGROUPS OF HYPERNEAR-RINGS Kyung Ho Kim, B. Davvaz and Eun Hwan Roh Received March 5, 2007 Abstract. The study of hypernear-rings
More information-intuitionistic (fuzzy ideals, fuzzy soft ideals) of subtraction algebras
Songlanaarin J. Sci. Technol. 7 (4) 465475 Jul. ug. 05 hp://www.sjs.psu.ac.h Original ricle On q inuiionisic (fuzz ideals fuzz sof ideals) of subracion algebras Madad Khan Bijan Davvaz Naveed Yaqoob Muhammad
More information(, q)-interval-valued Fuzzy Dot d-ideals of d-algebras
Advanced Trends in Mathematics Online: 015-06-01 ISSN: 394-53X, Vol. 3, pp 1-15 doi:10.1805/www.scipress.com/atmath.3.1 015 SciPress Ltd., Switzerland (, q)-interval-valued Fuzzy Dot d-ideals of d-algebras
More informationBG/BF 1 /B/BM-algebras are congruence permutable
Mathematica Aeterna, Vol. 5, 2015, no. 2, 351-35 BG/BF 1 /B/BM-algebras are congruence permutable Andrzej Walendziak Institute of Mathematics and Physics Siedlce University, 3 Maja 54, 08-110 Siedlce,
More information(, q)-fuzzy Ideals of BG-algebras with respect to t-norm
NTMSCI 3, No. 4, 196-10 (015) 196 New Trends in Mathematical Sciences http://www.ntmsci.com (, q)-fuzzy Ideals of BG-algebras with respect to t-norm Saidur R. Barbhuiya Department of mathematics, Srikishan
More informationAnti fuzzy ideals of ordered semigroups
International Research Journal of Applied and Basic Sciences 2014 Available online at www.irjabs.com ISSN 2251-838X / Vol, 8 (1): 21-25 Science Explorer Publications Anti fuzzy ideals of ordered semigroups
More informationA Link between Topology and Soft Topology
A Link between Topology and Soft Topology M. Kiruthika and P. Thangavelu February 13, 2018 Abstract Muhammad Shabir and Munazza Naz have shown that every soft topology gives a parametrized family of topologies
More informationCharacterizations of Regular Semigroups
Appl. Math. Inf. Sci. 8, No. 2, 715-719 (2014) 715 Applied Mathematics & Information Sciences An International Journal http://dx.doi.org/10.12785/amis/080230 Characterizations of Regular Semigroups Bingxue
More informationSoft semi-open sets and related properties in soft topological spaces
Appl. Math. Inf. Sci. 7, No. 1, 287-294 (2013) 287 Applied Mathematics & Information Sciences An International Journal Soft semi-open sets and related properties in soft topological spaces Bin Chen School
More informationSome Innovative Types of Fuzzy Bi-Ideals in Ordered Semigroups
Copyright 2015 American Scientific Publishers All rights reserved Printed in the United States of America Journal of Advanced Mathematics and Applications Vol. 4, 1 13, 2015 Some Innovative Types of Fuzzy
More informationAveraging Operators on the Unit Interval
Averaging Operators on the Unit Interval Mai Gehrke Carol Walker Elbert Walker New Mexico State University Las Cruces, New Mexico Abstract In working with negations and t-norms, it is not uncommon to call
More informationDerivations of B-algebras
JKAU: Sci, Vol No 1, pp: 71-83 (010 AD / 1431 AH); DOI: 104197 / Sci -15 Derivations of B-algebras Department of Mathematics, Faculty of Education, Science Sections, King Abdulaziz University, Jeddah,
More information@FMI c Kyung Moon Sa Co.
Annals of Fuzzy Mathematics and Informatics Volume 1, No. 1, (January 2011), pp. 97-105 ISSN 2093-9310 http://www.afmi.or.kr @FMI c Kyung Moon Sa Co. http://www.kyungmoon.com Positive implicative vague
More informationA New Generalization of Fuzzy Ideals of Ternary Semigroups
Appl Math Inf Sci 9, No 3, 1623-1637 2015 1623 Applied Mathematics & Information Sciences An International Journal http://dxdoiorg/1012785/amis/090359 A New Generalization of Fuzzy Ideals of Ternary Semigroups
More informationA neutrosophic soft set approach to a decision making problem. Pabitra Kumar Maji
Annals of Fuzzy Mathematics and Informatics Volume 3, No. 2, (April 2012), pp. 313-319 ISSN 2093 9310 http://www.afmi.or.kr @FMI c Kyung Moon Sa Co. http://www.kyungmoon.com A neutrosophic soft set approach
More information960 JOURNAL OF COMPUTERS, VOL. 8, NO. 4, APRIL 2013
960 JORNAL OF COMPTERS, VOL 8, NO 4, APRIL 03 Study on Soft Groups Xia Yin School of Science, Jiangnan niversity, Wui, Jiangsu 4, PR China Email: yinia975@yahoocomcn Zuhua Liao School of Science, Jiangnan
More informationCoupled -structures and its application in BCK/BCI-algebras
IJST (2013) 37A2: 133-140 Iranian Journal of Science & Technology http://www.shirazu.ac.ir/en Coupled -structures its application in BCK/BCI-algebras Young Bae Jun 1, Sun Shin Ahn 2 * D. R. Prince Williams
More informationFuzzy Primal and Fuzzy Strongly Primal Ideals
Proceedings of the Pakistan Academy of Sciences 52 (1): 75 80 (2015) Copyright Pakistan Academy of Sciences ISSN: 0377-2969 (print), 2306-1448 (online) Pakistan Academy of Sciences Research Article Fuzzy
More informationSome Results About Generalized BCH-Algebras
International Journal of Algebra, Vol. 11, 2017, no. 5, 231-246 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ija.2017.712 Some Results About Generalized BCH-Algebras Muhammad Anwar Chaudhry 1
More informationHESITANT FUZZY SETS APPROACH TO IDEAL THEORY IN TERNARY SEMIGROUPS. Jamia Millia Islamia New Delhi , INDIA
International Journal of Applied Mathematics Volume 31 No. 4 2018, 527-539 IN: 1311-1728 (printed version); IN: 1314-8060 (on-line version) doi: http://dx.doi.org/10.12732/ijam.v31i4.2 HEITANT FUZZY ET
More informationNew Results of Intuitionistic Fuzzy Soft Set
New Results of Intuitionistic Fuzzy Soft Set Said Broumi Florentin Smarandache Mamoni Dhar Pinaki Majumdar Abstract In this paper, three new operations are introduced on intuitionistic fuzzy soft sets.they
More informationResearch Article λ, μ -Fuzzy Version of Ideals, Interior Ideals, Quasi-Ideals, and Bi-Ideals
Applied Mathematics Volume 2012, Article ID 425890, 7 pages doi:10.1155/2012/425890 Research Article λ, μ -Fuzzy Version of Ideals, Interior Ideals, Quasi-Ideals, and Bi-Ideals Yuming Feng 1, 2 and P.
More informationSOME STRUCTURAL PROPERTIES OF HYPER KS-SEMIGROUPS
italian journal of pure and applied mathematics n. 33 2014 (319 332) 319 SOME STRUCTURAL PROPERTIES OF HYPER KS-SEMIGROUPS Bijan Davvaz Department of Mathematics Yazd University Yazd Iran e-mail: davvaz@yazduni.ac.ir
More informationGeneralized Fuzzy Ideals of BCI-Algebras
BULLETIN of the Malaysian Mathematical Sciences Society http://math.usm.my/bulletin Bull. Malays. Math. Sci. Soc. (2) 32(2) (2009), 119 130 Generalized Fuzzy Ideals of BCI-Algebras 1 Jianming Zhan and
More informationIntuitionistic L-Fuzzy Rings. By K. Meena & K. V. Thomas Bharata Mata College, Thrikkakara
Global Journal of Science Frontier Research Mathematics and Decision Sciences Volume 12 Issue 14 Version 1.0 Type : Double Blind Peer Reviewed International Research Journal Publisher: Global Journals
More informationPure Mathematical Sciences, Vol. 1, 2012, no. 3, On CS-Algebras. Kyung Ho Kim
Pure Mathematical Sciences, Vol. 1, 2012, no. 3, 115-121 On CS-Algebras Kyung Ho Kim Department of Mathematics Korea National University of Transportation Chungju 380-702, Korea ghkim@ut.ac.kr Abstract
More informationResearch Article Implicative Ideals of BCK-Algebras Based on the Fuzzy Sets and the Theory of Falling Shadows
International Mathematics and Mathematical Sciences Volume 2010, Article ID 819463, 11 pages doi:10.1155/2010/819463 Research Article Implicative Ideals of BCK-Algebras Based on the Fuzzy Sets and the
More informationContinuity of partially ordered soft sets via soft Scott topology and soft sobrification A. F. Sayed
Bulletin of Mathematical Sciences and Applications Online: 2014-08-04 ISSN: 2278-9634, Vol. 9, pp 79-88 doi:10.18052/www.scipress.com/bmsa.9.79 2014 SciPress Ltd., Switzerland Continuity of partially ordered
More informationA Study on Anti Bipolar Q Fuzzy Normal Semi Groups
Journal of Mathematical Sciences and Applications, 2018, Vol. 6, No. 1, 1-5 Available online at http://pubs.sciepub.com/jmsa/6/1/1 Science and Education Publishing DOI:10.12691/jmsa-6-1-1 A Study on Anti
More informationConstructions of Q-BI Fuzzy Ideals Over Sub Semi- Groups with Respect to (T,S) Norms
International Journal of Computational Science Mathematics. ISSN 0974-3189 Volume 2, Number 3 (2010), pp. 217--223 International Research Publication House http://www.irphouse.com Constructions of Q-BI
More informationOn Some Structural Properties of Fuzzy Soft Topological Spaces
Intern J Fuzzy Mathematical Archive Vol 1, 2013, 1-15 ISSN: 2320 3242 (P), 2320 3250 (online) Published on 31 January 2013 wwwresearchmathsciorg International Journal of On Some Structural Properties of
More informationFuzzy ideals of K-algebras
Annals of University of Craiova, Math. Comp. Sci. Ser. Volume 34, 2007, Pages 11 20 ISSN: 1223-6934 Fuzzy ideals of K-algebras Muhammad Akram and Karamat H. Dar Abstract. The fuzzy setting of an ideal
More informationResearch Article Fuzzy Parameterized Soft Expert Set
Abstract and Applied Analysis Volume 2012 Article ID 258361 15 pages doi:10.1155/2012/258361 Research Article uzzy Parameterized Soft Expert Set Maruah Bashir and Abdul Razak Salleh School of Mathematical
More informationIntuitionistic Hesitant Fuzzy Filters in BE-Algebras
Intuitionistic Hesitant Fuzzy Filters in BE-Algebras Hamid Shojaei Department of Mathematics, Payame Noor University, P.O.Box. 19395-3697, Tehran, Iran Email: hshojaei2000@gmail.com Neda shojaei Department
More informationRedefined Fuzzy BH-Subalgebra of BH-Algebras
International Mathematical Forum, 5, 2010, no. 34, 1685-1690 Redefined Fuzzy BH-Subalgebra of BH-Algebras Hyoung Gu Baik School of Computer and Information Ulsan college, Ulsan 682-090, Korea hgbaik@mail.uc.ac.kr
More information