Relational correspondences for L-fuzzy rough approximations defined on De Morgan Heyting algebras
Jouni Järvinen, Michiro Kondo · Soft Computing · 2023
Abstract We consider fuzzy rough sets defined on De Morgan Heyting algebras. We present a theorem that can be used to obtain several correspondence results between fuzzy rough sets and fuzzy relations defining them. We characterize fuzzy rough approximation operators corresponding to compositions of reflexive, transitive, mediate, Euclidean and adjoint fuzzy relations defined on De Morgan Heyting algebras using only a single axiom.