Sequent calculus system for rough sets based on rough Stone algebras.

Jianhua Dai, Weidong Chen, Yunhe Pan

Browse the full GRC paper archive.