Axiomatic characterizations of (𝔾, 𝕆)-fuzzy rough approximation operators via overlap and grouping functions on a complete lattice

Abstract

Recently, Jiang, H. B., and B. Q. Hu. [2022. “On (O,G)-Fuzzy Rough Sets Based on Overlap and Grouping Functions Over Complete Lattices.” International Journal of Approximate Reasoning 144: 18–50. doi:10.1016/j.ijar.2022.01.012] constructed a -fuzzy rough set model with the logical connectives–a grouping function and an overlap function on a complete lattice, which provided a new constructive approach to fuzzy rough set theory. The axiomatic approach is as important as the constructive approach in rough set theory. In this paper, we continue to study axiomatic characterizations of -fuzzy rough set. Traditionally, the associativity of the logical connectives plays a vital role in the axiomatic research of existing fuzzy rough set models. However, a grouping function and an overlap function lack the associativity. So we explore a novel axiomatic approach to -upper and -lower fuzzy rough approximation operators without associativity. Further, we provide single axioms to characterize -upper and -lower fuzzy rough approximation operators instead of sets of axioms. Finally, we use single axioms to characterize fuzzy rough approximation operators generated by various kinds of fuzzy relations including serial, reflexive, symmetric, -transitive, -transitive fuzzy relations as well as their compositions.