The Relations between Residuated Frames and Residuated Connections

Abstract

We introduce the notion of (dual) residuated frames as a viewpoint of relational semantics for a fuzzy logic. We investigate the relations between (dual) residuated frames and (dual) residuated connections as a topological viewpoint of fuzzy rough sets in a complete residuated lattice. As a result, we show that the Alexandrov topology induced by fuzzy posets is a fuzzy complete lattice with residuated connections. From this result, we obtain fuzzy rough sets on the Alexandrov topology. Moreover, as a generalization of the Dedekind–MacNeille completion, we introduce R-R (resp. D R - D R ) embedding maps and R-R (resp. D R - D R ) frame embedding maps.