Affiliations: [a] School of Science, Xi’an Polytechnic University, Xi’an, P.R. China
| [b] School of Mathematics and Statistics, Xi’an Jiaotong University, Xi’an, P.R. China
Note: [1] The work is partly supported by the National Natural Science Foundation of China (Grant Nos. 61473181, 11771263, 11671007), the Doctoral Scientific Research Foundation of Xi’an Polytechnic University (Grant No. BS1426), the Construction Funding of Xi’an Polytechnic University for Mathematics (Grant No. 107090701), and the Scientific Research Program Funded by Shaanxi Provincial Education Department (Program No. 18JK769).
Abstract: Smarandache (1998) initiated neutrosophic sets as a new mathematical tool for dealing with problems involving incomplete, indeterminant and inconsistent knowledge. By simplifying neutrosophic sets, Smarandache (1998) and Wang et al. (2010) proposed the concept of single valued neutrosophic sets and studied some properties of single valued neutrosophic sets. Recently, Bao and Yang (2017) introduced n-dimension single valued neutrosophic refined rough sets by combining single valued neutrosophic refined sets with rough sets and further studied the hybrid model from two perspectives–constructive viewpoint and axiomatic viewpoint. A natural problem is: Can the supremum and infimum of n-dimension single valued neutrosophic refined rough approximation operators be given? Following the idea of Bao and Yang, in this paper, let X be a set, Hn (X) and Ln (X) denote the family of all n-dimension single valued neutrosophic refined upper and lower approximation operators in X, respectively. We can define appropriate order relation ≦ on Hn (X) (resp., Ln (X)) such that both (Hn (X), ≦) and (Ln (X), ≦) are complete lattices. In particular, both (H, ≦) and (L, ≦) are complete lattices, where H and L denote the family of single valued neutrosophic upper and lower approximation operators in X, respectively.
Keywords: Single valued neutrosophic refined rough relations, single valued neutrosophic refined lower approximation operators, single valued neutrosophic refined upper approximation operators, complete lattices
