Formal reasoning in preference-based multiple-source rough set model
Keywords: تئوری مجموعه های ناهموار; Rough set theory; Lower and upper approximations; Modal logics; First order predicate logic; Axiomatization