Research Article  Open Access
Soft Translations and Soft Extensions of BCI/BCKAlgebras
Abstract
The concept of soft translations of soft subalgebras and soft ideals over BCI/BCKalgebras is introduced and some related properties are studied. Notions of Soft extensions of soft subalgebras and soft ideals over BCI/BCKalgebras are also initiated. Relationships between soft translations and soft extensions are explored.
1. Introduction
Recently soft set theory has emerged as a new mathematical tool to deal with uncertainty. Due to its applications in various fields of study researchers and practitioners are showing keen interest in it. As enough number of parameters is available here, so it is free from the difficulties associated with other contemporary theories dealing with uncertainty. Prior to soft set theory, probability theory, fuzzy set theory, rough set theory, and interval mathematics were common mathematical tools for dealing with uncertainties, but all these theories have their own difficulties. These difficulties may be due to lack of parametrization tools [1, 2]. To overcome these difficulties, Molodtsov [2] introduced the concept of soft sets. A detailed overview of these difficulties can be seen in [1, 2]. As a new mathematical tool for dealing with uncertainties, Molodtsov has pointed out several directions for the applications of soft sets. Theoretical development of soft sets is due to contributions from many researchers. However in this regard initial work is done by Maji et al. in [1]. Later Ali et al. [3] introduced several new operations in soft set theory.
At present, work on the soft set theory is progressing rapidly. Maji et al. [4] described the application of soft set theory in decision making problems. Aktaş and Çağman studied the concept of soft groups and derived their basic properties [5]. Chen et al. [6] proposed parametrization reduction of soft sets, and then Kong et al. [7] presented the normal parametrization reduction of soft sets. Feng and his colleagues studied roughness in soft sets [8, 9]. Relationship between soft sets, fuzzy sets, and rough sets is investigated in [10]. Park et al. [11] worked on notions of soft WSalgebras, soft subalgebras, and soft deductive system. Jun and Park [12] presented the notions of soft ideals, idealistic soft, and idealistic soft BCI/BCKalgebras. Further applications of soft sets can be seen in [13–25].
The study of BCI/BCKalgebras was initiated by Imai and Iseki [26] as the generalization of concept of set theoretic difference and propositional calculus. For the general development of BCI/BCKalgebras, the ideal theory and its fuzzification play an important role. Jun et al. [27–30] studied fuzzy trends of several notions in BCI/BCKalgebras. Application of soft sets in BCI/BCK is given in [12, 31].
Translations play a vital role in reducing the complexity of a problem. In geometry it is a common practice to translate a system to some new position to study its properties. In linear algebra translations help find solution to many practical problems. In this paper idea of translations is being extended to soft BCI/BCK algebras.
This paper is arranged as follows: in Section 2, some basic notions about BCI/BCKalgebra and soft sets are given. These notions are required in the later sections. Concept of translation is introduced in Section 3 and some properties of it are discussed here. Section 4 is devoted for the study of soft ideal translation in BCI/BCKalgera. In Section 5, concept of ideal extension is introduced and some of its properties are studied.
2. Preliminaries
First of all some basic concepts about BCI/BCKalgebra are given. For a comprehensive study on BCI/BCKalgebras [32] is a very nice monograph by Meng and Jun. Then some notions about soft sets are presented here as well.
An algebra is called a BCIalgebra if it satisfies the following conditions:(1),(2),(3),(4).
If a BCIalgebra satisfies the following identity:(5),then is called a BCKalgebra. Any BCKalgebra satisfies the following axioms:(i),(ii),(iii),(iv).
A subset of a BCI/BCKalgebra is called a subalgebra of if , for all .
A subset of a BCI/BCKalgebra is called an ideal of , denoted by , if it satisfies:(1),(2).
Now we recall some basic notions in soft set theory. Let be a universe and be a set of parameters. Let denote the power set of and let , be nonempty subsets of .
Definition 1 (see [2]). A pair is called a soft set over , where is a mapping given by .
Definition 2 (see [3]). Let be a universe, let be the set of parameters, and let .(a) is called a relative null soft set (with respect to the parameters set ), denoted by , if , for all .(b) is called a relative whole soft set (with respect to the parameters set ), denoted by , if , for all .
Definition 3 (see [3]). The complement of a soft set is denoted by and is defined by , where is a mapping given by , . Clearly, .
Definition 4 (see [8]). A soft set over is called a full soft set if .
3. Soft Translations of Soft Subalgebras
Here notion of translations in soft BCI/BCKalgebra is initiated. Concept of soft extensions is introduced here also.
Let be set valued map defined as where . Then also denotes a soft set over a BCI/BCK algebra . From here onward a soft set will be denoted by symbols like , unless stated otherwise.
A soft set over a BCI/BCKalgebra is called a soft subalgebra of if it satisfies In what follows denote a BCI/BCKalgebra, and for any soft set over , we denote unless otherwise specified.
That is .
It is easy to see that for all . If is a full soft set then is an empty set. Therefore throughout this paper only those soft set are considered which are not full.
Definition 5. Let be a soft set over and let . A mapping is called a soft translation of if, for all ,
Lemma 6. Let and be a soft set over , then implies , for all .
Proof. Since , and . Let then this implies or but because . So that is , for all .
Proposition 7. Let be a soft subalgebra of and . Then the soft translation of is a soft subalgebra of .
Proof. Let . Then Hence is a soft subalgebra of .
Proposition 8. Let be a soft set over such that the translation of is a soft subalgebra of for some . Then is a soft subalgebra of .
Proof. Assume is a soft subalgebra of for some . Let , we have Now by Lemma 6 we have for all . Hence is a soft subalgebra of .
From Propositions 7 and 8 we have the following.
Theorem 9. A soft set of is a soft subalgebra of if and only if translation of is a soft subalgebra of for some .
Definition 10. Let and be two soft sets over . If for all , then we say that is a soft extension of .
Example 11. Consider a BCI/BCKalgebra presented as follows:
Define two soft sets and of as in Table 1.
Here , , , and , which implies that is a soft extension of .
Next the concept of soft extension is being introduced.
Definition 12. Let and be two soft sets over . Then is called a soft extension of , if the following conditions hold:(1) is a soft extension of .(2)If is a soft subalgebra of , then is a soft subalgebra of .
As we know for all . As a consequence of Definition 12 and Theorem 9, we have the following.
Theorem 13. Let be a soft subalgebra of and . Then the soft translation of is a soft extension of .
The converse of Theorem 13 is not true in general as seen in the following example.
Example 14. Consider a BCI/BCKalgebra given as follows:
Define a soft set of by Table 2.
Then is a soft subalgebra of . For soft set , . Let be a soft set over given by Table 3.
Then is a soft extension of . But it is not a soft translation of for any nonempty .

For a soft set of , and with , let If is a soft subalgebra of , then it is clear that is a subalgebra of for all with . But, if we do not give condition that is a soft subalgebra of , then may not be a subalgebra of as seen in the following example.
Example 15. Let be a BCI/BCKalgebra presented as follows:
Define a soft subset of by Table 4.
Then is not a soft subalgebra of with . Since For and , we obtain which is not a subalgebra of since .

In the following theorem, relationship between translations and is studied in case of soft subalgebra.
Theorem 16. Let be a soft set over and . Then the soft translation of is a soft subalgebra of if and only if is a subalgebra of for all with .
Proof. Assume that the soft translation of is a soft subalgebra of . Then by Theorem 9, is a soft subalgebra of if is a soft subalgebra of . Further let , then and are subalgebras of for all with . Consider
Therefore , which shows that is a subalgebra of , for all , with .
Conversely, suppose that is a subalgebra of for all with . Now assume that there exist such that
Then and but . This shows that and , which is a contradiction and so for all . Hence is a soft subalgebra of .
Theorem 17. Let be a soft subalgebra of and let . If , then the soft translation of is a soft extension of the soft translation of .
Proof. Since , this implies , for all . So translation is an extension of translation, and from Theorem 9, and are soft subalgebras of . Hence soft translation of is a soft extension of the soft translation of .
For every soft subalgebra of and , the soft translation of is a soft subalgebra of . If is a soft extension of and then there exists such that and , for all . Thus, we have the following theorem.
Theorem 18. Let be a soft subalgebra of and . For every soft extension of soft translation of , there exists a such that and are a soft extension of translation of .
Proof. For every soft subalgebra of and , the soft translation of is a soft subalgebra of . If is a soft extension of and then there exists such that and , for all . Then by Theorem 17, is a soft extension of translation of .
Definition 19. A soft extension of a soft subalgebra of is said to be normalized if there exists such that .
Definition 20. Let be a soft subalgebra of . A soft set of is called a maximal soft extension of if it satisfies the following conditions:(1) is a soft extension of ,(2)there does not exist another soft subalgebra of which is a soft extension of .
Example 21 (see [33]). Let be a set of positive integers and let “” be a binary operation on defined by , where is the greatest common divisor of and . Then is a BCKalgebra. Let and be soft sets of which are defined by and for all . Clearly, and are soft subalgebras of . By using definition of maximal soft extension, then it is easy to see that is a maximal soft extension of .
Proposition 22. If a soft set of is a normalized soft extension of a soft subalgebra of , then .
Proof. Assume that is a normalized soft extension of a soft subalgebra of then there exists such that , for some . Consider This implies .
Theorem 23. Let be a soft subalgebra of . Then every maximal soft extension of is normalized.
Proof. This follows from the definitions of the maximal and normalized soft extensions.
4. Soft Translations of Soft Ideals in Soft BCI/BCKAlgebras
Now concept of translation of a soft ideal of a BCI/BCKalgebra is introduced.
Definition 24. A soft subset of a BCI/BCKalgebra is called a soft ideal of , denoted by , if it satisfies:(1),(2).
Theorem 25. If is a soft subset of , then is a soft ideal of if and only if soft translation of is a soft ideal of for all .
Proof. Assume that and let . Then and Conversely, assume that is a soft ideal of for some . Let . Then and so . Next which implies that (by Lemma 6). Hence is a soft ideal of .
5. Soft Extensions and Soft Ideal Extensions of Soft Subalgebras
In this section concept of soft ideal extension is being introduced and some of its properties are studied.
Definition 26. Let and be the soft subsets of . Then is called the soft ideal extension of , if the following conditions hold:(1) is a soft extension of .(2).
For a soft subset of , and with , define .
It is clear that if , then for all with .
Theorem 27. For , let be the soft translation of . Then the following are equivalent:(1).(2).
Proof. Consider and let be such that . Since for all , we have
for .
Let be such that and . Then and , that is, and . Since , it follows that
that is, so that . Therefore .
Suppose that for every with . If there exists with such that and then but . This shows that and . This is a contradiction, and so , for all .
Now assume that there exist such that . Then and , but . Hence and , but . This is impossible and therefore , for all . Consequently .
Theorem 28. Let and . If , then the soft translation of is a soft ideal extension of the soft translation of .
Proof. Since
, this implies that . This shows that is a soft extension of .
Now, let is a soft ideal of , then for all , so we have . Consider
That is so is a soft ideal of . Hence is a soft ideal extension of .
6. Conclusion
Soft set theory is a mathematical tool to deal with uncertainties. Translation and extension are very useful concepts in mathematics to reduce the complexity of a problem. These concepts are frequently employed in geometry and algebra. In this papers, we presented some new notions such as soft translations and soft extensions for BCI/BCKalgebras. We also examined some relationships between soft translations and soft extensions. Moreover, soft ideal extensions and translations have been introduced and investigated as well. It is hoped that these results may be helpful in other soft structures as well.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
Acknowledgment
Authors are grateful to referees and Professor Feng Feng, the Lead Guest Editor of this special issue, for his kind suggestions to improve this paper.
References
 P. K. Maji, R. Biswas, and A. R. Roy, “Soft set theory,” Computers & Mathematics with Applications, vol. 45, no. 45, pp. 555–562, 2003. View at: Publisher Site  Google Scholar  MathSciNet
 D. Molodtsov, “Soft set theory: first results,” Computers & Mathematics with Applications, vol. 37, no. 45, pp. 19–31, 1999. View at: Publisher Site  Google Scholar  MathSciNet
 M. I. Ali, F. Feng, X. Liu, W. K. 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 Site  Google Scholar  MathSciNet
 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. 89, pp. 1077–1083, 2002. View at: Publisher Site  Google Scholar  MathSciNet
 H. Aktaş and N. Çağman, “Soft sets and soft groups,” Information Sciences, vol. 177, no. 13, pp. 2726–2735, 2007. View at: Publisher Site  Google Scholar  MathSciNet
 D. Chen, E. C. C. Tsang, D. S. Yeung, and X. Wang, “The parameterization reduction of soft sets and its applications,” Computers & Mathematics with Applications, vol. 49, no. 56, pp. 757–763, 2005. View at: Publisher Site  Google Scholar  MathSciNet
 Z. Kong, L. Gao, and L. Wang, “Comment on “a fuzzy soft set theoretic approach to decision making problems”,” Journal of Computational and Applied Mathematics, vol. 223, no. 2, pp. 540–542, 2009. View at: Publisher Site  Google Scholar
 F. Feng, C. Li, B. Davvaz, and M. I. Ali, “Soft sets combined with fuzzy sets and rough sets: a tentative approach,” Soft Computing, vol. 14, no. 9, pp. 899–911, 2010. View at: Publisher Site  Google Scholar
 F. Feng, X. Liu, and V. LeoreanuFotea, “Soft sets and soft rough sets,” Information Sciences, vol. 181, no. 6, pp. 1125–1137, 2011. View at: Publisher Site  Google Scholar  MathSciNet
 M. I. Ali, “A note on soft sets, rough soft sets and fuzzy soft sets,” Applied Soft Computing Journal, vol. 11, no. 4, pp. 3329–3332, 2011. View at: Publisher Site  Google Scholar
 C. H. Park, Y. B. Jun, and M. Öztürk, “Soft WSalgebras,” Communications of the Korean Mathematical Society, vol. 23, no. 3, pp. 313–324, 2008. View at: Publisher Site  Google Scholar  MathSciNet
 Y. B. Jun and C. H. Park, “Applications of soft sets in ideal theory of BCK/BCIalgebras,” Information Sciences, vol. 178, no. 11, pp. 2466–2475, 2008. View at: Publisher Site  Google Scholar  MathSciNet
 A. Aygünoǧlu and H. Aygün, “Introduction to fuzzy soft groups,” Computers & Mathematics with Applications, vol. 58, no. 6, pp. 1279–1286, 2009. View at: Publisher Site  Google Scholar  MathSciNet
 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 Site  Google Scholar  MathSciNet
 N. Çağman and S. Engino, “Soft set theory and uniint decision making,” European Journal of Operational Research, vol. 207, pp. 848–855, 2010. View at: Publisher Site  Google Scholar
 F. Feng, Y. Li, and N. Çağman, “Generalized uniint 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 Site  Google Scholar  MathSciNet
 F. Feng and Y. Li, “Soft subsets and soft product operations,” Information Sciences, vol. 232, pp. 44–57, 2013. View at: Publisher Site  Google Scholar  MathSciNet
 F. Feng, H. Fujita, Y. B. Jun, and M. Khan, “Decomposition of fuzzy soft sets with finite value spaces,” The Scientific World Journal, vol. 2014, Article ID 902687, 10 pages, 2014. View at: Publisher Site  Google Scholar
 X. Liu, F. Feng, and Y. B. Jun, “A note on generalized soft equal relations,” Computers & Mathematics with Applications, vol. 64, no. 4, pp. 572–578, 2012. View at: Publisher Site  Google Scholar  MathSciNet
 X. Liu, F. Feng, and H. Zhang, “On some nonclassical algebraic properties of intervalvalued fuzzy soft sets,” The Scientific World Journal, vol. 2014, Article ID 192957, 11 pages, 2014. View at: Publisher Site  Google Scholar
 X. Ma and H. S. Kim, “(M;N)soft intersection BLalgebras and their congruences,” The Scientific World Journal, vol. 2014, Article ID 461060, 6 pages, 2014. View at: Publisher Site  Google Scholar
 G. Muhiuddin, F. Feng, and Y. B. Jun, “Subalgebras of BCK/BCIalgebras based on cubic soft sets,” The Scientific World Journal, vol. 2014, Article ID 458638, 9 pages, 2014. View at: Publisher Site  Google Scholar
 A. S. Sezer, “A new view to ring theory via soft union rings, ideals and biideals,” KnowledgeBased Systems, vol. 36, pp. 300–314, 2012. View at: Publisher Site  Google Scholar
 A. S. Sezer, A. O. Atagün, and N. Çağman, “Soft intersection nearrings with its applications,” Neural Computing and Applications, vol. 21, no. 1, pp. 221–229, 2012. View at: Publisher Site  Google Scholar
 X. Xin and W. Li, “Soft congruence relations over rings,” The Scientific World Journal, vol. 2014, Article ID 541630, 9 pages, 2014. View at: Publisher Site  Google Scholar
 Y. Imai and K. Iseki, “On axiom systems of propositional calculi, XIV,” Proceedings of the Japan Academy, vol. 42, no. 1, pp. 19–22, 1966. View at: Publisher Site  Google Scholar  MathSciNet
 Y. B. Jun and S. Z. Song, “Fuzzy set theory applied to implicative ideals in BCKalgebras,” Bulletin of the Korean Mathematical Society, vol. 43, no. 3, pp. 461–470, 2006. View at: Publisher Site  Google Scholar  MathSciNet
 J. B. Jun and X. L. Xin, “Involutory and invertible fuzzy BCKalgebras,” Fuzzy Sets and Systems, vol. 117, no. 3, pp. 463–469, 2001. View at: Publisher Site  Google Scholar  MathSciNet
 Y. B. Jun and J. Meng, “Fuzzy commutative ideals in BCIalgebras,” Communications of the Korean Mathematical Society, vol. 9, no. 1, pp. 19–25, 1994. View at: Google Scholar
 J. Meng, Y. B. Jun, and H. S. Kim, “Fuzzy implicative ideals of BCKalgebras,” Fuzzy Sets and Systems, vol. 89, no. 2, pp. 243–248, 1997. View at: Publisher Site  Google Scholar  MathSciNet
 Y. B. Jun, “Soft BCI/BCKalgebras,” Computers & Mathematics with Applications, vol. 56, no. 5, pp. 1408–1413, 2008. View at: Publisher Site  Google Scholar  MathSciNet
 J. Meng and Y. B. Jun, BCKAlgebras, Kyung Moon, Seoul, South Korea, 1994. View at: MathSciNet
 K. J. Lee, Y. B. Jun, and M. I. Doh, “Fuzzy translations and fuzzy multiplications of BCK/BCIalgebras,” Communications of the Korean Mathematical Society, vol. 24, no. 3, pp. 353–360, 2009. View at: Publisher Site  Google Scholar  MathSciNet
Copyright
Copyright © 2014 Nazra Sultana 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.