Refine
Departments, institutes and facilities
Document Type
Year of publication
- 2015 (2) (remove)
Language
- English (2)
Has Fulltext
- no (2)
Roughness by Residuals
(2015)
Rough set theory (RST) focuses on forming posets of equivalence relations to describe sets with increasing accuracy. The connection between modal logics and RST is well known and has been extensively studied in their relation algebraic (RA) formalisation. RST has also been interpreted as a variant of intuitionistic or multi-valued logics and has even been studied in the context of logic programming.