Axiomatics for fuzzy rough sets

A fuzzy T-rough set consists of a set X and a T-similarity relation R on X, where T is a lower semi-continuous triangular norm. We generalize the Farinas-Prade definition for the upper approximation operator of a fuzzy T-rough set (X, R); given originally for the special case T = Min, to the case of arbitrary T. We propose a new definition for the lower approximation operator of (X,R). Our definition satisfies the two important identities and , as well as a number of other interesting properties. We provide axiomatics to fully characterize those upper and lower approximations.