Soft Substructures in Quantales and Their Approximations Based on Soft Relations

Abstract

The aim of this research article is to derive a new relation between rough sets and soft sets with an algebraic structure quantale by using soft binary relations. The aftersets and foresets are utilized to define lower approximation and upper approximation of soft subsets of quantales. As a consequence of this new relation, different characterization of rough soft substructures of quantales is obtained. To emphasize and make a clear understanding, soft compatible and soft complete relations are focused, and these are interpreted by aftersets and foresets. Particularly, in our work, soft compatible and soft complete relations play an important role. Moreover, this concept generalizes the concept of rough soft substructures of other structures. Furthermore, the algebraic relations between the upper (lower) approximation of soft substructures of quantales and the upper (lower) approximation of their homomorphic images with the help of soft quantales homomorphism are examined. In comparison with the different type of approximations in different type of algebraic structures, it is concluded that this new study is much better.