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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call