Sequent calculus system for rough sets based on rough stone algebras

2005 IEEE International Conference on Granular Computing

Volumn 2005, Issue , 2005, Pages 423-426

  Dai, Jianhua ^a   Chen, Weidong ^a   Pan, Yunhe ^a  

^a ZHEJIANG UNIVERSITY   (China)

Author keywords

Algebraic semantics; Logic; Rough set theory; Rough Stone algebras

Indexed keywords

APPROXIMATION THEORY; FORMAL LOGIC; MATRIX ALGEBRA; SEMANTICS; SYNTACTICS;

BOOLEAN ALGEBRAS; ROUGH STONE ALGEBRAS; SYNTAX;

ROUGH SET THEORY;

EID: 33845268164     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/GRC.2005.1547326     Document Type: Conference Paper

References (15)

1. Z. Pawlak, Rough Sets-Theoretical Aspects of Reasoning about Data. Dordrecht: Kluwer Academic Publishers, 1991.
2. T. Y.Lin, Q. Liu, "Rough approximate operators: Axiomatic rough set theory". In: Ziarko, W. P. (eds.): Rough Sets, Fuzzy Sets and Knowledge Discovery. Springer-Verlag, Berlin, 1994, pp.256-260.
3. Y.Y. Yao, "Constructive and algebraic methods of the theory of rough sets," Information Sciences, vol. 109, no.1-4, pp.21-47, 1998.
4. rd International Conference on Rough Sets and Current Trends in Computing (RSCTC2002), LNAI 2475, Springer-Verlag, Berlin, pp. 123-130, 2002.
5. th International Conference on Rough Sets and Current Trends in Computing (RSCTC2004), LNAI 3066, Springer-Verlag, Berlin, pp.69-77, 2004.
6. J. Pomykala, J. A. Pomykala, "The Stone algebra of rough sets," Bulletin of the Polish Academy of Sciences: Mathematics, vol.36, no.7-8, pp.495-508, 1988.
7. P. Pagliani, "Rough sets and Nelson algebras," Fundamenta Informaticae, Vol.27, No.2-3, pp.205-219, 1996.
8. M. Banerjee, M. K. Chakraborty, "Rough sets through algebraic logic," Fundamenta Informaticae, vol.28, no.3-4, pp.211-221, 1996.
9. I. Duentsch, "A logic for rough sets," Theoretical Computer Science, vol.179, no. 1-2, pp.427-436, 1997.
10. H. Rasiowa, An algebraic approach to non-classical logics, Amsterdam: North Holland, 1974.
11. J. Sen, M. K. Chakraborty, "A study of interconnections between rough and 3-valued Lukasiewicz logics," Fundamenta Informaticae, vol. 51, pp.311-324, 2002.
12. T. T. Fan, C. J. Liau, and Y. Y. Yao, "On modal decision logics," Communications of Institute of Information and Computing Machinery, vol.5, no.2, pp.21-26, 2002.
13. T. T. Fan, C. J. Liau, and Y. Y. Yao, "On modal and fuzzy decision logics based on rough set theory," Fundamenta Informaticae, vol.52, no.4, pp.325-344, 2002.
14. C. J Liau, "An overview of rough set semantics for modal and quantifier logics," International Journal of Uncertainty, Fuzziness and Knowledge-based Systems, vol.8, no.1, pp.93-118, 2000.
15. th IEEE International Conference on Fuzzy Systems, IEEE Press, New Jersey, pp.773-778, 2002.