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

Anirban Saha,Jayanta Sen,Mihir Kumar Chakraborty
DOI: https://doi.org/10.1016/j.ijar.2024.109170
IF: 4.452
2024-03-18
International Journal of Approximate Reasoning
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.
computer science, artificial intelligence
What problem does this paper attempt to address?