利用粗糙集的理论方法,主要对Quantale的上近似进行研究.引入Quantale的上粗子Quantale,上粗理想和上粗拟理想的概念,讨论了它们的若干性质.主要结果是:(1)证明了理想一定是上粗理想,满足上近似集和下近似集相等的上粗理想是理想;(2)证明了Quantale的上粗子Quantale和上粗(左,右)理想在Quantale满同态下的原象仍是上粗子Quantale和上粗(左,右)理想;(3)证明了上粗(左,右)理想是上粗拟理想,同时是半群结构下的理想的上粗拟理想是上粗理想.
In this paper, rough quantales. At the same time, rough quasi-ideals of a quantale sets theory is used in discussing the properties of upper approximations of the concepts of upper rough subquantale, upper rough ideals and upper are given, and the properties of these mathematical structures are studied.The main results are: (1) It is proved that ideals must be upper rough ideals, and an upper rough ideal whose upper approximation equals lower approximation must be an ideal~ (2) It is proved that when a quantale homomorphism is surjeetive, the inverse images of upper rough subquantales and upper rough (left, right) ideals are still upper rough subquantales and upper rough (left, right) ideals~ (3) It is proved that upper rough (left, right) ideals must be upper rough quasi-ideals, and an upper rough quasi-ideal which is also an ideal of the structure of semigroup must he an upper rough ideal.