Four-valued Tableau Calculi for Decision Logic of Rough Set.

Yotaro Nakayama, Seiki Akama, Tetsuya Murai

Browse the full KES paper archive.