Advanced
INT-SOFT POSITIVE IMPLICATIVE FILTERS IN BE-ALGEBRAS
INT-SOFT POSITIVE IMPLICATIVE FILTERS IN BE-ALGEBRAS
Journal of Applied Mathematics & Informatics. 2015. May, 33(3_4): 459-467
Copyright © 2015, Korean Society of Computational and Applied Mathematics
  • Received : November 12, 2014
  • Accepted : January 27, 2015
  • Published : May 30, 2015
Download
PDF
e-PUB
PubReader
PPT
Export by style
Share
Article
Author
Metrics
Cited by
TagCloud
About the Authors
JUNG HEE PARK
YOUNG HEE KIM

Abstract
The notion of int-soft implicative filters of a BE -algebra is introduced, and related properties are investigated. The problem of clas- sifying int-soft positive implicative by their γ -inclusive filter is solved. We provide conditions for a soft set to be an int-soft filter. We make a new int-soft implicative filter from old one. AMS Mathematics Subject Classification : 06F35, 03G25, 06D72.
Keywords
1. Introduction
In 1966, Imai and Iséki [3] and Iséki [4] introduced two classes of abstract algebras: BCK-algebras and BCI-algebras. It is known that the class of BCK-algebras is a proper subclass of the class of BCI-algebras. As a generalization of a BCK-algebra, Kim and Kim [7] introduced the notion of a BE -algebra, and investigated several properties. In [2] , Ahn and So introduced the notion of ideals in BE -algebras. They gave several descriptions of ideals in BE -algebras.
Various problems in system identification involve characteristics which are essentially non-probabilistic in nature [14] . In response to this situation Zadeh [15] introduced fuzzy set theory as an alternative to probability theory. Uncertainty is an attribute of information. In order to suggest a more general framework, the approach to uncertainty is outlined by Zadeh [16] . To solve complicated problem in economics, engineering, and environment, we can’t successfully use classical methods because of various uncertainties typical for those problems. There are three theories: theory of probability, theory of fuzzy sets, and the interval mathematics which we can consider as mathematical tools for dealing with uncertainties. But all these theories have their own difficulties. Uncertainties can’t be handled using traditional mathematical tools but may be dealt with using a wide range of existing theories such as probability theory, theory of (intuitionistic) fuzzy sets, theory of vague sets, theory of interval mathematics, and theory of rough sets. However, all of these theories have their own difficulties which are pointed out in [11] . Maji et al. [10] and Molodtsov [11] suggested that one reason for these difficulties may be due to the inadequacy of the parametrization tool of the theory. To overcome these difficulties, Molodtsov [11] introduced the concept of soft set as a new mathematical tool for dealing with uncertainties that is free from the difficulties that have troubled the usual theoretical approaches. 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. [10] described the application of soft set theory to a decision making problem. Maji et al. [9] also studied several operations on the theory of soft sets.
Ahn et al. [1] introduced the notion of an implicative vague filter in BE -algebras, and investigate some properties of it. Jun et al. [6] defined the notion of an int-soft implicative filter and related properties are studied.
In this paper, we introduce the notion of int-soft positive implicative filter of a BE -algebra, and investigate their properties. We solve the problem of classifying int-soft subalgebras by their γ -inclusive positive implicative filters. We provide conditions for a soft set to be an int-soft filter. We make a new int-soft implicative filter from old one. We discuss characterizations of int-soft positive implicative filters.
2. Preliminaries
An algebra ( X ; ∗, 1) of type (2, 0) is called a BE-algebra [7] if
(BE1) x x = 1 for all x X ;
(BE2) x ∗ 1 = 1 for all x X ;
(BE3) 1 ∗ x = x for all x X ;
(BE4) x ∗ ( y z ) = y ∗ ( x z ) for all x , y , z X ( exchange )
We introduce a relation “≤” on a BE -algebra X by x y if and only if x y = 1. A non-empty subset S of a BE -algebra X is said to be a subalgebra of X if it is closed under the operation “ ∗ ”. Noticing that x x = 1 for all x X , it is clear that 1 ∈ S . A BE -algebra ( X ; ∗, 1) is said to be self distributive [7] if x ∗ ( y z ) = ( x y ) ∗ ( x z ) for all x , y , z X .
Definition 2.1. Let ( X ; ∗, 1) be a BE -algebra and let F be a non-empty subset of X . F is called a filter [5] of X if
(F1) 1 ∈ F ;
(F2) x y F and x F imply y F for all x , y X .
F is called an implicative filter [12] of X if it satisfies (F1) and
(F3) x ∗ ( y z ) ∈ F and x y F imply x z F for all x , y , z X .
Definition 2.2. Let ( X ; ∗, 1) be a BE -algebra and let F be a non-empty subset of X . Then F is called a positive implicative filter of X if it satisfies (F1) and (F4) x ∗ (( y z ) ∗ y ) ∈ F and x F imply y F for all x , y X :
Proposition 2.3. Let ( X ; ∗, 1) be a BE-algebra and let F be a filter of X. If x y and x F for any y X, then y F .
Proposition 2.4. Let ( X ; ∗, 1) be a self distributive BE-algebra. Then following hold: for any x, y, z X ,
(i) if x y, then z x z y and y z x z .
(ii) y z ≤ ( z x ) ∗ ( y z ).
(iii) y z ≤ ( x y ) ∗ ( x z ).
A BE -algebra ( X ; ∗, 1) is said to be transitive if it satisfies Proposition 2.4(iii).
A soft set theory is introduced by Molodtsov [11] . In what follows, let U be an initial universe set and X be a set of parameters. Let
PPT Slide
Lager Image
denotes the power set of U and A , B , C ,…⊆ X .
Definition 2.5. A soft set ( f , A ) of X over U is defined to be the set of ordered pairs
PPT Slide
Lager Image
where f : X
PPT Slide
Lager Image
such that f ( x ) = ∅ if x A .
For a soft set ( f , A ) of X and a subset γ of U , the γ-inclusive set of ( f , A ), denoted by iA ( f ; γ ), is defined to be the set
PPT Slide
Lager Image
For any soft sets ( f , X ) and ( g , X ) of X , we call ( f , X ) a soft subset of ( g , X ), denoted by ( f , X )
PPT Slide
Lager Image
( g , X ), if f ( x ) ⊆ g ( x ) for all x X . The soft union of ( f , X ) and ( g , X ), denoted by ( f , X ) Ũ ( g , X ), is defined to be the soft set ( f Ũ g , X ) of X over U in which f Ũ g is defined by
PPT Slide
Lager Image
The soft intersection of ( f , X ) and ( g , X ), denoted by ( f , X )
PPT Slide
Lager Image
( g , X ), is defined to be the soft set ( f
PPT Slide
Lager Image
g , M ) of X over U in which f
PPT Slide
Lager Image
g is defined by
PPT Slide
Lager Image
3. Int-soft positive implicative filters
In what follows, we take a BE -algebra X , as a set of parameters unless specified.
Definition 3.1 ( [1] ). A soft set ( f , X ) of X over U is called an intersection-soft filter (briefly, int-soft filter ) over U if it satisfies:
  • (IS1) (∀x∈X) (f(1) ⊇f(x)),
  • (IS2) (∀x,y∈X) (f(x∗y) ∩f(x) ⊆f(y)).
Proposition 3.2 ( [1] ). Every int-soft filter ( f , X ) of X over U satisfies the following properties:
  • (i) (∀x;y∈X) (x≤y⇒f(x) ⊆f(y)).
  • (ii) (∀x,y,z∈X) (f(x∗z) ⊇f(x∗ (y∗z)) ∩f(y)).
Proposition 3.3 ( [6] ). Let ( f , X ) be a soft set of X over U. Then ( f , X ) is an int-soft filter of X over U if and only if it satisfies
PPT Slide
Lager Image
Definition 3.4. A soft set ( f , X ) of X over U is called an intersection-soft implicative filter (briefly, int-soft implicative filter ) [6] over U if it satisfies (IS1) and
  • (IS3) (∀x,y,z∈X) (f(x∗ (y∗z)) ∩f(x∗y) ⊆f(x∗z)).
A soft set ( f , X ) of X over U is called an intersection-soft positive implicative filter (briefly, int-soft positive implicative filter ) over U if it satisfies (IS1) and
  • (IS4) (∀x,y,z∈X) (f(x∗ ((y∗z) ∗y)) ∩f(x) ⊆f(y)).
Example 3.5. Let E = X be the set of parameters and U = X be the initial universe set where X := {1, a , b , c , d , 0} is a BE -algebra [5] with the following Cayley table:
PPT Slide
Lager Image
Let ( f , X ) be a soft set of X over U defined as follows:
PPT Slide
Lager Image
where γ 1 and γ 2 are subsets of U with γ 1 γ 2 . It is easy to check that ( f , X ) is both an int-soft implicative filter of X over U and an int-soft positive implicative filter of X . Let ( g , X ) be a soft set of X over U defined as follows:
PPT Slide
Lager Image
where γ 1 and γ 2 are subsets of U with γ 1 γ 2 . It is easy to check that ( g , X ) is an int-soft implicative filter of X over U . But it is not an int-soft positive implicative filter of X over U since g ( b ∗ (( a d ) ∗ a )) = g (1) ∩ g ( b ) = γ 2 γ 1 = g ( a ).
Proposition 3.6. Every int-soft positive implicative filter over U is an int-soft filter over U .
Proof . Let ( f , X ) be an int-soft positive implicative filter over U . Putting z := y in (IS4), we have f ( x y ) ∩ f ( x ) ⊆ f ( y ). Hence (IS2) holds. Therefore ( f , X ) is an int-soft filter over U . □
The converse of Proposition 3.6 is not true in general as seen in the following example.
Example 3.7. Let E = X be the set of parameters and U = X be the initial universe set where X := {1, a , b , c , d , 0} is a BE -algebra [5] with the following Cayley table:
PPT Slide
Lager Image
Let ( f , X ) be a soft set of X over U defined as follows:
PPT Slide
Lager Image
where γ 1 and γ 2 are subsets of U with γ 1 γ 2 . It is easy to check that ( f , X ) is an int-soft filter of X . But it is not an int-soft positive implicative filter over U , since f (1 ∗ (( a ∗ 0) ∗ a )) ∩ f (1) = γ 2 γ 1 = f ( a ).
We provide conditions for an int-soft filter to be an int-soft positive implicative filter.
Theorem 3.8. Let X be a BE-algebra. Then an int-soft filter ( f , X ) is an int-soft positive implicative filter of X if and only if
PPT Slide
Lager Image
Proof . Assume that ( f , X ) is an int-soft positive implicative filter of X and let x , y X . Using (IS4) and (IS1), we have f ( x ) ⊇ f (1 ∗ (( x y ) ∗ x )) ∩ f (1) = f (( x y ) ∗ x ). Hence (3.1) holds.
Conversely, suppose that ( f , X ) is an int-soft filter of X satisfying (3.1). It follows from (3.1) and (IS2) that f ( y ) ⊇ f (( y z ) ∗ y ) ⊇ f ( x ∗ (( y z ) ∗ y )) ∩ f ( x ) for any x , y , z X . Hence (IS4) holds. Thus ( f , X ) is an int-soft positive implicative filter of X . □
Definition 3.9. Let X be a BE -algebra. X is said to be commutative if the following identity holds:
(C) ( x y ) ∗ y = ( y x ) ∗ x , i.e., x y = y x , where x y = ( y x ) ∗ x x , y X .
Theorem 3.10. Let X be a commutative self distributive BE-algebra. Every int-soft positive implicative filter over U is an int-soft implicative filter over X .
Proof . Let ( f , X ) be an int-soft positive implicative filter over U . By Proposition 3.6, it is an int-soft filter over U . Using (BE4) and Proposition 2.4(iii), we obtain ( x ∗ ( y z )) ∗ [( x y ) ∗ ( x ∗ ( x z ))] = 1 for any x , y , z X . It follows from Proposition 3.3 that f ( x ∗ ( x z )) ⊇ f ( x ∗ ( y z )) ∩ f ( x y ). On the other hand, using ( BE4 ) and ( C ) we have
PPT Slide
Lager Image
By Theorem 3.8, we get f ( x z ) ⊇ f ((( x z ) ∗ z ) ∗ ( x z )) = f ( x ∗ ( x z )) ⊇ f ( x ∗ ( y z )) ∩ f ( x y ). This completes the proof. □
Theorem 3.11. A soft set ( f , X ) of X over U is an int-soft positive implica-tive filter of X over U if and only if the γ-inclusive set iX ( f ; γ ) is a positive implicative filter of X over U for all γ
PPT Slide
Lager Image
with iX ( f ; γ ) ≠∅.
The filter iX ( f ; γ ) in Theorem 3.11 is called the inclusive filter of X over U .
Proof . Assume that ( f , X ) is an int-soft positive implicative filter over U . Let x , y , z X and γ
PPT Slide
Lager Image
be such that x ∗(( y z )∗ y ) ∈ iX ( f ; γ ) and x iX ( f ; γ ). Then γ f ( x ∗ (( y z ) ∗ y )) and γ f ( x ). It follows from (IS1) and (IS4) that γ f (1) and γ f ( x ∗ (( y z ) ∗ y ) ∩ f ( x ) ⊆ f ( y ) for x , y , z X . Hence 1 ∈ iX ( f ; γ ) and y iX ( f ; γ ). Thus iX ( f ; γ ) is a positive implicative filter of X over U .
Conversely, suppose that iX ( f ; γ ) is a positive implicative filter of X over U for all γ
PPT Slide
Lager Image
with iX ( f ; γ ) ≠∅. For any x X , let f ( x ) = γ . Since iX ( f ; γ ) is a positive implicative filter of X , we have 1 ∈ iX ( f ; γ ) and so f ( x ) = γ f (1). For any x , y X , let f ( x ∗ (( y z ) ∗ y )) = γ x∗((yz)∗y) and f ( x ) = γx . Take γ = γ x∗((yz)∗y) γx . Then x ∗ (( y z ) ∗ y ) ∈ iX ( f ; γ ) and x iX ( f ; γ ) which imply that y iX ( f ; γ ). Hence
PPT Slide
Lager Image
Thus ( f , X ) is a int-soft positive implicative filter of X over U . □
We make a new int-soft positive implicative filter from one.
Theorem 3.12. Let ( f , X ) ∈ S ( U ) and define a soft set ( f , X ) of X over U by
PPT Slide
Lager Image
where γ is any subset of U and δ is a subset of U satisfying
PPT Slide
Lager Image
If ( f , X ) is an int-soft positive implicative filter of X , then so is ( f , X ).
Proof . Assume that ( f , X ) is an int-soft positive implicative filter of X . Then iX ( f ; γ )(≠ ∅) is a positive implicative filter of X over U for all γ U by Theorem 3.11. Hence 1 ∈ iX ( f ; γ ) and so f (1) = f (1) ⊇ f ( x ) ⊇ f ( x ) for all x X .
Let x , y , z X . If x ∗ (( y z ) ∗ y ) ∈ iX ( f ; γ ) and x iX ( f ; γ ), then y iX ( f ; γ ). Hence
PPT Slide
Lager Image
If x ∗ (( y z ) ∗ y ) ∉ iX ( f ; γ ) or x iX ( f ; γ ), then f ( x ∗ (( y z ) ∗ y )) = δ or f ( x ) = δ . Thus
PPT Slide
Lager Image
Therefore ( f , X ) is an int-soft positive implicative filter of X . □
Theorem 3.13. Every filter of a BE-algebra can be represented as a γ-inclusive set of an int-soft positive implicative filter .
Proof . Let F be a filter of a BE -algebra X . For a subset γ of U , define a soft set ( f , X ) over U by
PPT Slide
Lager Image
Obviously, F = iX ( f ; γ ). We now prove that ( f , X ) is an int-soft positive implicative filter of X . Since 1 ∈ F = iX ( f ; γ ), we have f (1) = γ , f (1) ⊇ f ( x ) for all x X . Let x , y , z X . If x ∗ (( y z ) ∗ y ), x F . then y F because F is a positive implicative filter of X . Hence f ( x ∗ (( y z ) ∗ y )) = f ( x ) = f ( y ) = γ , and so f ( x ∗ (( y z ) ∗ y )) ∩ f ( x ) ⊆ f ( y ). If x ∗ (( y z ) ∗ y ) ∈ F and x F ; then f ( x ∗ (( y z ) ∗ y )) = γ and f ( x ) = ∅ which imply that
PPT Slide
Lager Image
Similarly, if x ∗ (( y z ) ∗ y ) ∉ F and x F , then f ( x ∗ (( y z ) ∗ y )) ∩ f ( x ) ⊆ f ( y ). Obviously, if x ∗ (( y z )∗ y ) ∉ F and x F . then f ( x ∗(( y z ) ∗ y )) ∩ f ( x ) ⊆ f ( y ). Therefore ( f , X ) is an int-soft positive implicative filter of X . □
Theorem 3.14. If ( f , X ) and ( g , X ) are int-soft positive implicative filters of X, then the soft intersection ( f , X )
PPT Slide
Lager Image
( g , X ) of ( f , X ) and ( g , X ) is an int-soft positive implicative filter of X .
Proof . For any x X , we have
PPT Slide
Lager Image
Let x , y , z X . Then
PPT Slide
Lager Image
Hence ( f , X )
PPT Slide
Lager Image
( g , X ) is an int-soft positive implicative filter of X . □
The following example shows that the soft union of int-soft positive implicative filters of X may not be an int-soft positive implicative filter of X .
Example 3.15. Let E = X be the set of parameters and U = X be the initial universe set, where X = {1, a , b , c , d } is a BE -algebra as in Example 3.5. Let ( f , X ) and ( g , X ) be soft sets of X over U defined, respectively, as follows:
PPT Slide
Lager Image
and
PPT Slide
Lager Image
where γ 1 , γ 2 , γ 3 , and γ 4 are subsets of U with γ 1 γ 2 γ 3 γ 4 . It is easy to check that ( f , X ) and ( g , X ) are int-soft positive implicative filters of X over U . But ( f , X ) Ũ ( g , X ) = ( f Ũ g , X ) is not an int-soft positive implicative filter of X over U , since
PPT Slide
Lager Image
BIO
Jung Hee Park is a graduate student in Chungbuk National University. Her research interests are algebra applications and BE-algebra.
Department of Mathematics, Chungbuk National University, Cheongju 362-763, Korea.
e-mail: ikkim0056@hotmail.com
Young Hee Kim received M.Sc. and Ph.D in Mathematics from Yonsei University. She is currently a professor at Chungbuk National University since 1983. Her research interests are BE-algebra, BCI-algebra, Fuzzy algebra and their applications.
Department of Mathematics, Chungbuk National University, Cheongju 362-763, Korea.
e-mail: yhkim@chungbuk.ac.kr
References
Ahn S.S. , Alshehri N.O. , Jun Y.B. (2013) Int-soft filters of BE-algebras Discrete Dynamics in Nature and Society Article ID 602959 2013
Ahn S.S. , So K.S. (2008) On ideals and upper sets in BE-algerbas Sci. Math. Jpn. 68 279 - 285
Imai Y. , iséki K (1966) On axiom systems of propositional calculi XIV Proc. Japan Academy 42 19 - 22    DOI : 10.3792/pja/1195522169
iséki K. (1966) An algebra related with a propositional calculus Proc. Japan Academy 42 26 - 29    DOI : 10.3792/pja/1195522171
Jun Y.B. , Ahn S.S. Applications of soft sets in BE-algebras Algebra Article ID 368962 2013
Jun Y.B. , Alshehri N.O. , Ahn S.S. Int-soft implicative filters in BE-algebras J. Com- putational Analysis and Applications, submitted
Kim H.S. , Kim Y.H. (2007) On BE-algerbas Sci. Math. Jpn. 66 (1) 113 - 116
Kim Y.H. (2014) On medial B-algebras J. Appl. Math. & Informatics 32 849 - 856    DOI : 10.14317/jami.2014.849
Maji P.K. , Biswas R. , Roy A.R. (2003) Soft set theory Comput. Math. Appl. 45 555 - 562    DOI : 10.1016/S0898-1221(03)00016-6
Maji P.K. , Roy A.R. , Biswas R. (2002) An application of soft sets in a decision making problem Comput. Math. Appl. 44 1077 - 1083    DOI : 10.1016/S0898-1221(02)00216-X
Molodtsov D. (1999) Soft set theory - First results Comput. Math. Appl. 37 19 - 31    DOI : 10.1016/S0898-1221(99)00056-5
Park S.T. , Ahn S.S. (2012) On n-fold implicative vague filters in BE-algebras J. Korean Soc. Math. Educ. Ser. B: Pure Appl. Math. 19 127 - 136
So K.S. , Kim Y.H. (2013) Mirror d-Algebras J. Appl. Math. & Informatics 31 559 - 564    DOI : 10.14317/jami.2013.559
Zadeh L.A. (1962) From circuit theory to system theory Proc. Inst. Radio Eng. 50 856 - 865
Zadeh L.A. (1965) Fuzzy sets Inform. Control 8 338 - 353    DOI : 10.1016/S0019-9958(65)90241-X
adeh L.A. (2005) Toward a generalized theory of uncertainty (GTU) - an outline Inform. Sci. 172 1 - 40    DOI : 10.1016/j.ins.2005.01.017