Table of Contents Author Guidelines Submit a Manuscript
The Scientific World Journal
Volume 2014, Article ID 517039, 5 pages
http://dx.doi.org/10.1155/2014/517039
Research Article

A New Extended Soft Intersection Set to Implicative Fitters of BL-Algebras

1Department of Mathematics, Hubei Minzu University, Enshi, Hubei 445000, China
2Department of Mathematics, Hanyang University, Seoul 133-791, Republic of Korea

Received 24 March 2014; Accepted 9 July 2014; Published 21 July 2014

Academic Editor: Guoyin Wang

Copyright © 2014 Jianming Zhan et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

Molodtsov’s soft set theory provides a general mathematical framework for dealing with uncertainty. The concepts of -SI implicative (Boolean) filters of BL-algebras are introduced. Some good examples are explored. The relationships between -SI filters and -SI implicative filters are discussed. Some properties of -SI implicative (Boolean) filters are investigated. In particular, we show that -SI implicative filters and -SI Boolean filters are equivalent.

1. Introduction

We know that dealing with uncertainties is a major problem in many areas such as economics, engineering, medical sciences, and information science. These kinds of problems cannot be dealt with by classical methods because some classical methods have inherent difficulties. To overcome them, Molodtsov [1] introduced the concept of a soft set as a new mathematical tool for dealing with uncertainties that is free from the difficulties that have troubled the usual theoretical approaches. Since then, especially soft set operations have undergone tremendous studies; for examples, see [25]. At the same time, soft set theory has been applied to algebraic structures, such as [68]. We also note that soft set theory emphasizes balanced coverage of both theory and practice. Nowadays, it has promoted a breath of the discipline of information sciences, decision support systems, knowledge systems, decision-making, and so on; see [913].

-algebras, which have been introduced by Hájek [14] as algebraic structures of basic logic, arise naturally in the analysis of the proof theory of propositional fuzzy logic. Turunen [15] proposed the concepts of implicative filters and Boolean filters in -algebras. Liu et al. [16, 17] applied fuzzy set theory to -algebras. After that, some researchers have further investigated some properties of -algebras. Further, Ma et al. investigated some kinds of generalized fuzzy filters -algebras and obtained some important results; see [18, 19]. Zhang et al. [20, 21] described the relations between pseudo-BL, pseudo-effect algebras, and BCC-algebras, respectively. The other related results can be found in [22, 23].

Recently, Çağman et al. put forward soft intersection theory; see [24, 25]. Jun and Lee [26] applied this theory to -algebras. Ma and Kim [27] introduced a new concept: -soft intersection set. They introduced the concept of -soft intersection filters of -algebras and investigated some related properties.

In this paper, we introduce the concept of -soft intersection implicative filters of -algebras. Some related properties are investigated. In particular, we show that -SI implicative filters and - Boolean filters are equivalent.

2. Preliminaries

Recall that an algebra is a -algebra [14] if it is a bounded lattice such that the following conditions are satisfied:(i) is a commutative monoid,(ii) and form an adjoin pair, that is, if and only if for all ,(iii),(iv).In what follows, is a -algebra unless otherwise is specified.

In any -algebra , the following statements are true (see [14, 15]):,,, ,,,,,, ,where .

A nonempty subset of is called a filter of if it satisfies the following conditions: (I1) , (I2) for all , for all .

It is easy to check that a nonempty subset of is a filter of if and only if it satisfies (I3) for all , , (I4) for all , for all , (see [15]).

Now, we call a nonempty subset of an implicative filter if it satisfies (I1) and (I5) , .

A nonempty subset of is said to be a Boolean filter of if it satisfies , for all . (see [1518]).

From now on, we let be an -algebra, an initial universe, a set of parameters, the power set of , and . We let .

Definition 1 (see [1]). A soft set over is a set defined by such that if . Here is also called an approximate function. A soft set over can be represented by the set of ordered pairs . It is clear to see that a soft set is a parameterized family of subsets of . Note that the set of all soft sets over will be denoted by .

Definition 2 (see [9]). Let . is said to be a soft subset of and denoted by if , for all . and are said to be soft equally, denoted by , if and .The union of and , denoted by , is defined as , where , for all .The intersection of and , denoted by , is defined as , where , for all .

Definition 3 (see [26]). A soft set over is called an - filter of over if it satisfies for any , for all .
A soft set over is called an -implicative filter of over if it satisfies and, for all .

In [27], Ma and Kim introduced the concept of - filters in -algebras.

Definition 4 (see [27]). A soft set over is called an -soft intersection filter (briefly, - filter) of over if it satisfies for all , for all .

Define an ordered relation “” on as follows. For any , , we define .

And we define a relation “” as follows: and .

Definition 5 (see [27]). A soft set over is called an -soft intersection filter (briefly, - filter) of over if it satisfies for all , for all .

3. - Implicative (Boolean) Filters

In this section, we investigate some characterizations of - implicative filters of -algebras. Finally, we prove that a soft set in -algebras is an - implicative filter if and only if it is an - Boolean filter.

Definition 6. A soft set over is called an -soft intersection implicative filter (briefly, - implicative filter) of over if it satisfies () and () for all .

Remark 7. If is an -SI implicative filter of over , then is an -SI implicative filter of . Hence every -implicative filter of is an -SI implicative filter of , but the converse need not be true in general. See the following example.

Example 8. Assume that , dihedral group, is the universe set.
Let , where . Then we define and and as follows: Then is a -algebra.
Let and .
Define a soft set over by , , and . Then one can easily check that is an - implicative filter of over , but it is not an implicative filter of over since .

By means of “,” we can obtain the following equivalent concept.

Definition 9. A soft set over is called an -SI implicative filter of over if it satisfies and () for all .

From the above definitions, we have the following.

Proposition 10. Every -SI implicative filter of over is an -SI filter, but the converse may not be true as shown in the following example.

Example 11. Define and
Then is a -algebra.
Let , , and .
Define a soft set over by
Then one can easily check that is an -SI filter of over , but it is not an -SI implicative filter of over . Since and , this implies that .

Lemma 12 (see [27]). If a soft set over is an -SI filter of , then for any we have(1),(2),(3),(4),(5),(6),(7),(8).

Theorem 13. Let be an -SI filter of over , then the following are equivalent:(1) is an -SI implicative filter of ,(2), for all ,(3), for all ,(4), for all .

Proof. (1) (2) Assume that is an -SI filter of over . Putting in , then that is, . Thus, (2) holds.
(2) (3) By and , ; then it follows from Lemma 12 (1) that . Thus, (3) holds.
(3) (4) Assume that (4) holds. By Lemma 12 (5), we have . By , .
(4) (1) Putting in (4), we have Hence
Thus, holds. This shows that is an - implicative filter of over .

Now, we introduce the concept of -SI Boolean filters of -algebras.

Definition 14. Let be an -SI filter of over , then is called an -SI Boolean filter of over if it satisfies for all .

Theorem 15. A soft set over is an -SI implicative filter of if and only if it is an -SI Boolean filter.

Proof. Assume that over is an -SI Boolean filter of over . Then By and , we have Hence . It follows from Theorem 13 that is an -SI implicative filter of over .
Conversely, assume that is an -SI implicative filter of over . By Theorem 13, we have By Lemma 12, we have Hence is an -SI Boolean filter of over .

Remark 16. Every -SI implicative filter and -SI Boolean filter in -algebras are equivalent.

Next, we give some characterizations of -SI implicative (Boolean) filters in -algebras.

Theorem 17. Let be an -SI filter of over , then the following are equivalent:(1) is an - implicative (Boolean) filter,(2), for all ,(3), for all ,(4), for all ,(5), for all .

Proof. (1) (2). Assume that is an -SI implicative (Boolean) filter of over . By Theorem 13, we have Thus, (2) holds.
(2) (3). By , , and , we have and so . By Lemma 12,   . Combining (2), . Thus, (3) holds.
(3) (4). Since , then by Lemma 12. Combining (3), .
(4) (5). By (), . Combining (4), we have . Thus, (5) holds.
(5) (1). By , . By , and so . Then by Lemma 12, . By (5), and so . Therefore, it follows from Theorem 13 that is an -SI implicative filter of .

Finally, we investigate extension properties of -SI implicative filters of -algebras.

Theorem 18 (extension property). Let and be two -SI filters of over such that and for all . If is an -SI implicative (Boolean) filter of , then so is .

Proof. Assuming that is an -SI implicative (Boolean) filter of over , then for all . By hypothesis, . By (), we have . Thus, . Hence is an - implicative (Boolean) filter of .

4. Conclusions

In this paper, we introduce the concepts of -SI implicative filters and -SI Boolean filters of -algebras. Then we show that every -SI Boolean filter is equivalent to -SI implicative filters. In particular, some equivalent conditions for -SI Boolean filters are obtained. We hope it can lay a foundation for providing a new soft algebraic tool in many uncertainties problems.

To extend this work, one can apply this theory to other fields, such as algebras, topology, and other mathematical branches. To promote this work, we can further investigate -SI prime (semiprime) Boolean filters of -algebras. Maybe one can apply this idea to decision-making, data analysis, and knowledge based systems.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

References

  1. D. Molodtsov, “Soft set theory-first results,” Computers & Mathematics with Applications, vol. 37, no. 4-5, pp. 19–31, 1999. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  2. M. I. Ali, F. Feng, X. Liu, W. Min, and M. Shabir, “On some new operations in soft set theory,” Computers & Mathematics with Applications, vol. 57, no. 9, pp. 1547–1553, 2009. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  3. M. I. Ali, M. Shabir, and M. Naz, “Algebraic structures of soft sets associated with new operations,” Computers & Mathematics with Applications, vol. 61, no. 9, pp. 2647–2654, 2011. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  4. F. Feng and Y. Li, “Soft subsets and soft product operations,” Information Sciences, vol. 232, pp. 44–57, 2013. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  5. P. K. Maji, R. Biswas, and A. R. Roy, “Soft set theory,” Computers & Mathematics with Applications, vol. 45, no. 4-5, pp. 555–562, 2003. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  6. M. Akram and F. Feng, “Soft intersection Lie algebras,” Quasigroups and Related Systems, vol. 21, no. 1, pp. 11–18, 2013. View at Google Scholar · View at Zentralblatt MATH · View at Scopus
  7. Y. B. Jun, “Soft BCK/BCI-algebras,” Computers & Mathematics with Applications, vol. 56, no. 5, pp. 1408–1413, 2008. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  8. M. Shabir and A. Ali, “On soft ternary semigroups,” Annals of Fuzzy Mathematics and Informatics, vol. 3, no. 1, pp. 39–59, 2012. View at Google Scholar · View at MathSciNet
  9. N. Çağman and S. Enginoğlu, “Soft matrix theory and its decision making,” Computers & Mathematics with Applications, vol. 59, no. 10, pp. 3308–3314, 2010. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  10. N. Çağman and S. Enginoğlu, “Soft set theory and uni-int decision making,” European Journal of Operational Research, vol. 207, no. 2, pp. 848–855, 2010. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  11. F. Feng, Y. B. Jun, X. Liu, and L. Li, “An adjustable approach to fuzzy soft set based decision making,” Journal of Computational and Applied Mathematics, vol. 234, no. 1, pp. 10–20, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  12. F. Feng, Y. Li, and N. Çağman, “Generalized uni-int decision making schemes based on choice value soft sets,” European Journal of Operational Research, vol. 220, no. 1, pp. 162–170, 2012. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  13. P. K. Maji, A. R. Roy, and R. Biswas, “An application of soft sets in a decision making problem,” Computers & Mathematics with Applications, vol. 44, no. 8-9, pp. 1077–1083, 2002. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  14. P. Hájek, Metamathematics of Fuzzy Logic, Kluwer Academic, Dordrecht, The Netherlands, 1998. View at Publisher · View at Google Scholar · View at MathSciNet
  15. E. Turunen, “BL-algebras of basic fuzzy logic,” Mathware & Soft Computing, vol. 6, no. 1, pp. 49–61, 1999. View at Google Scholar · View at MathSciNet
  16. L. Liu and K. Li, “Fuzzy filters of BL-algebras,” Information Sciences, vol. 173, no. 1–3, pp. 141–154, 2005. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  17. L. Lianzhen and L. Kaitai, “Fuzzy Boolean and positive implicative filters of BL-algebras,” Fuzzy Sets and Systems, vol. 152, no. 2, pp. 333–348, 2005. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  18. X. Ma and J. Zhan, “On (,q)-fuzzy filters of BL-algebras,” Journal of Systems Science and Complexity, vol. 21, pp. 144–158, 2008. View at Google Scholar
  19. J. Zhan and Y. Xu, “Some types of generalized fuzzy filters of BL-algebras,” Computers & Mathematics with Applications, vol. 56, no. 6, pp. 1604–1616, 2008. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  20. X. H. Zhang and X. S. Fan, “Pseudo-BL algebras and pseudo-effect algebras,” Fuzzy Sets and Systems, vol. 159, no. 1, pp. 95–106, 2008. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  21. X. H. Zhang and W. H. Li, “On pseudo-BL algebras and BCC-algebras,” Soft Computing, vol. 10, no. 10, pp. 941–952, 2006. View at Publisher · View at Google Scholar · View at Scopus
  22. Y. Yin and J. Zhan, “New types of fuzzy filters of BL-algebras,” Computers & Mathematics with Applications, vol. 60, no. 7, pp. 2115–2125, 2010. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  23. J. Zhan and Y. B. Jun, “Soft BL-algebras based on fuzzy sets,” Computers & Mathematics with Applications, vol. 59, no. 6, pp. 2037–2046, 2010. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  24. N. Çağman, F. Citak, and H. Aktas, “Soft int-group and its applications to group theory,” Neural Computing and Applications, vol. 21, supplement 1, pp. 151–158, 2012. View at Publisher · View at Google Scholar
  25. A. Sezgin, A. O. Atagün, and N. Çaǧman, “Soft intersection near-rings with its applications,” Neural Computing and Applications, vol. 21, no. 1, pp. 221–229, 2012. View at Publisher · View at Google Scholar · View at Scopus
  26. Y. B. Jun and K. J. Lee, “(Positive) implicative filters of BL-algebras based on int-soft sets,” In press.
  27. X. Ma and H. S. Kim, “M,N-soft intersection BL-algebras and their congruences,” The Scientific World Journal, vol. 2014, Article ID 461060, 6 pages, 2014. View at Publisher · View at Google Scholar