Rough implication operator based on strong topological rough algebras

Information Sciences

Volumn 180, Issue 19, 2010, Pages 3764-3780

  Zhang, Xiaohong ^a,b   Yao, Yiyu ^b   Yu, Hong ^b,c  

^a NINGBO UNIVERSITY   (China)

^b UNIVERSITY OF REGINA   (Canada)

^c CHONGQING UNIVERSITY OF POSTS AND TELECOMMUNICATIONS   (China)

Author keywords

Rough implication; Rough logic system rsl; Strong topological rough algebra; Topological de morgan algebra; Ukasiewicz logic system ; Ulk;

Indexed keywords

ALGEBRA; GEOMETRY; TOPOLOGY;

DE MORGAN ALGEBRA; LOGIC SYSTEMS; ROUGH ALGEBRAS; ROUGH IMPLICATION; ROUGH LOGIC;

GRAPH THEORY;

EID: 77958457896     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ins.2010.05.017     Document Type: Article

References (41)

1. M. Banerjee, M.K. Chakraborty, Rough algebra, Bulletin of the Polish Academy of Sciences (Mathematics) 41 (4) (1993) 293-297.
2. M. Banerjee, M.A. Khan, Propositional logics from rough set theory, Transactions on Rough Sets VI LNCS 4374 (2007) 1-25.
3. Z. Bonikowski, A certain conception of the caculus of rough sets, Notre Dame Journal of Formal Logic 33 (1992) 412-421.
4. G. Cattaneo, D. Ciucci, Heyting Wajsberg algebras as an abstract environment linking fuzzy and rough sets, in: Proceeding of the 3rd International Conferences on Rough Sets and Current Trends in Computing (RSCTC 2002), LNAI, vol. 2475, 2002, pp. 77-84.
5. G. Cattaneo, D. Ciuccl, Algebraic structures for rough sets, in: Transactions on Rough Sets II, LNCS, vol. 3135, 2004, pp. 208-252.
6. M. Chuchro, On rough sets in topological Boolean algebras, in: W.P. Ziarko (Ed.), Rough Sets, Fuzzy Sets and Knowledge Discovery, Springer-Verlag, London, 1994, pp. 157-160.
7. R. Cignoli, I. D'Ottaviano, D. Mundici, Algebraic Foundations of Many-Valued Reasoning, Kluwer Academic, Dordrecht, 1999.
8. D. Dudios, H. Prade, Rough fuzzy sets and fuzzy rough sets, International Journal of General Systems 17 (1990) 191-209.
9. I. Dütsch, A logic for rough sets, Theoretical Computer Science 179 (1997) 427-436.
10. I. Dütsch, M. Winter, Rough relation algebras revisited, Fundamenta lnformaticae 74 (2, 3) (2006) 283-300.
11. F. Esteva, J. Gispert, L. Godo, F. Montagna, On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm-based logic, Studia Logica 71 (2002) 393-420.
12. F. Esteva, J. Gispert, L. Godo, et al, On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic, Studia Logica 71 (2) (2002) 199-226.
13. F. Esteva, L. Godo, Monoidal t-norm-based logic: towards a logic for left-continuous t-norms, Fuzzy Sets and Systems 124 (2001) 271-288.
14. A. Gregorczyk, Undecidability of some topological theories, Fundamenta Mathematicae 38 (1951) 137-152.
15. P. Hájek, Metamathematics of Fuzzy Logic, Kluwer Academic Publishers, 1998.
16. C.W. Luo, Topological De Morgan algebras and Kleen-Stone algebras, Fuzzy Sets and Systems 8 (2) (2000) 267-272.
17. M. Mas, M. Monserrat, J. Torrens, E. Trillas, A survey on fuzzy implication functions, IEEE Transactions on Fuzzy Systems 15 (6) (2007) 1107-1121.
18. A. Nakamura, Topological soft algebra and its application, Fuzzy Sets and Systems 46 (1992) 273-280.
19. P. Pagliani, Rough set theory and logic-algebraic structures, Incomplete Information: Rough Set Analysis, Physica-Verlag, Heidelberg, 1998. pp. 109-190.
20. Z. Pawlak, Rough Sets: Theoretical Aspects of Reasoning About Data, Kluwer Academic Publishing, Dordrecht, 1991.
21. Z. Pawlak, A. Skowron, Rudiments of rough sets, Information Sciences 177 (2007) 3-27.
22. Z. Pawlak, A. Skowron, Rough sets and Boolean reasoning, Information Sciences 177 (2007) 41-73.
23. G.L. O.J, W.R. Liu, Rough operators on Boolean algebras, Information Science 173 (1-3) (2005) 49-63.
24. K.Y. Qin, W.B. Tu, Rough set algebra and lattice implication algebra, Journal of Southwest Jiaotong University 39 (6) (2004) 754-757.
25. B. Van Gasse, C. Cornells, G. Deschrijver, E.E. Kerre, Triangle algebras: a formal logic approach to interval-valued residuated lattices, Fuzzy Sets and Systems 159 (2008) 1042-1060.
26. B. Van Gasse, C. Cornelis, G. Deschrijver, E.E. Kerre, The pseudo-linear sematics of interval-valued fuzzy logics, Information Sciences 179 (2009) 717-728.
27. L. Vigneron, Automated deduction techniques for studying rough algebras, Fundamenta lnformaticae 33 (1) (1998) 85-103.
28. L. Vigneron, A. Wasilewska, Rough and modal algebras, in: Proceedings of CESA'96 IMACS Multiconference: Computational Engineering in System Applications, vol. 1, 1996, pp. 123-130.
29. G.J. Wang, Non-Classical Mathematical Logic and Approximate Reasoning, Science Press, Beijing, 2000. in Chinese.
30. A. Wasilewska, Topological rough algebras, Rough Sets and Data Mining: Analysis of Imprecise Data (1995)411-425.
31. A. Wasilewska, L. Vigneron, Rough equality algebras, in: Proceedings of Annual Joint Conference on Information Sciences, Wrightsville Beach, North Carolina, USA, 1995, pp. 26-30.
32. A. Wasilewska, L. Vigneron, Rough algebras and automated deduction, Rough Sets in Knowledge Discovery, vol. 1, Springer-Verlag, 1998. pp. 261-275.
33. Y.Y. Yao, Two views of the theory of rough sets in finite universes, International Journal of Approximation Reasoning 15 (4) (1996) 291-317.
34. Y.Y. Yao, Constructive and algebraic methods of the theory of rough sets, Information Sciences 109 (1-4) (1998) 21-47.
35. Y.Y. Yao, Combination of rough and fuzzy sets based on α-level sets, Rough Sets and Data Mining: Analysis for Imprecise Data, Kluwer Academic Publishers, Boston, 1997. pp. 301-321.
36. Y.Y. Yao, T.Y. Lin, Generalization of rough sets using modal logic, Intelligent Automation and Soft Computing 2 (2) (1996) 103-120.
37. X.H. Zhang, Fuzzy Logics and Algebraic Analysis, Science Press, Beijing, 2008.
38. X.H. Zhang, G. Yao, Generalized rough set model on De Morgan algebras, in: 2007 IEEE International Conference on Granular Computing, 2007, pp. 205-208.
39. X.H. Zhang, H.C, He, Y. Xu, A fuzzy logic system based on Schweizer-Sklar t-norm, Science in China: Series F Information Sciences 49 (2) (2006) 175-188.
40. X.H. Zhang, Y.C. Ma, Z.A. Xue, G. Yao, Implication operators based on rough set model over Boolean algebras, in: 2007 IEEE International Conference on Granular Computing, 2007, pp. 186-191.
41. William Zhu, Fei-Yue Wang, Reduction and axiomization of covering generalized rough sets, Information Sciences 152 (2003) 217-230.