A study of rough inclusion on algebras with quasi-Boolean base

Pre-rough algebra has emerged from the rough set theory, which is a quasi-Boolean algebra with a few additional axioms. Four types of abstract rough inclusion are defined in pre-rough algebra which give rise to four different implication operators within this algebra. Properties of these four implications are studied from the angle of residuation. Logics of pre-rough algebra with respect to different implications are presented.