Four-valued Tableau Calculi for Decision Logic of Rough Set

Autor: Nakayama, Yotaro, Akama, Seiki, Murai, Tetsuya
Zdroj: In Procedia Computer Science 2018 126:383-392
Databáze: ScienceDirect