TY - CHAP U1 - Konferenzveröffentlichung A1 - Müller, Martin E. T1 - Roughness by Residuals BT - Algebraic Description of Rough Sets and an Algorithm for Finding Core Relations T2 - Kahl, Winter et al. (Eds.): Relational and Algebraic Methods in Computer Science. 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings. Lecture Notes in Computer Science (LNCS), Vol. 9348 N2 - 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. SN - 978-3-319-24703-8 SB - 978-3-319-24703-8 U6 - https://doi.org/10.1007/978-3-319-24704-5_23 DO - https://doi.org/10.1007/978-3-319-24704-5_23 SP - 380 EP - 394 PB - Springer ER -