Abstract
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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have