Abstract
In this paper, we consider McCarthy’s three-valued logic and its corresponding algebra, a C-algebra, and introduce a connection of C-algebras with rough sets. Rough sets, with suitable operations, are shown to form a C-algebra. Further, we present a representation theorem for the class of C-algebras, establishing that every C-algebra can be embedded in a family of rough sets. The results are illustrated with examples.
The first author gratefully acknowledges the support provided under the post-doctoral fellowship at the Indian Institute of Technology Kanpur.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Avron, A., Konikowska, B.: Rough sets and 3-valued logics. Stud. Logica 90(1), 69–92 (2008)
Banerjee, M.: Rough sets and 3-valued Łukasiewicz logic. Fundamenta Informaticae 31(3, 4), 213–220 (1997)
Banerjee, M., Chakraborty, M.K.: Algebras from rough sets. In: Pal, S., Polkowski, L., Skowron, A. (eds.) Rough-Neural Computing. Cognitive Technologies, pp. 157–184. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-642-18859-6_7
Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra. Graduate Texts in Mathematics, vol. 78. Springer, New York (1981)
Guzmán, F., Squier, C.C.: The algebra of conditional logic. Algebra Universalis 27(1), 88–110 (1990)
Iturrioz, L.: Rough sets and three-valued structures. In: Orłowska, E. (ed.) Logic at Work, Heidelberg, pp. 24–596 (1999)
Iwiński, T.B.: Algebraic approach to rough sets. Bull. Pol. Acad. Sci. 35(3,4), 673–683 (1987)
Kumar, A., Banerjee, M.: Kleene algebras and logic: boolean and rough set representations, 3-valued, rough set and perp semantics. Stud. Logica 105(3), 439–469 (2017)
McCarthy, J.: A basis for a mathematical theory of computation. In: Computer Programming and Formal Systems, North-Holland, Amsterdam, pp. 33–70 (1963)
Pagliani, P.: Rough set theory and logic-algebraic structures. In: Orłowska, E. (ed.) Incomplete Information: Rough Set Analysis. Studies in Fuzziness and Soft Computing, vol. 13, pp. 109–190. Physica, Heidelberg (1998). https://doi.org/10.1007/978-3-7908-1888-8_6
Panicker, G.: If-then-else over the Algebra of Conditional Logic. Ph.D. thesis, Indian Institute of Technology Guwahati, India (2018). http://gyan.iitg.ernet.in/handle/123456789/922
Pawlak, Z.: Rough sets. Int. J. Comput. Inf. Sci. 11(5), 341–356 (1982)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Panicker, G., Banerjee, M. (2019). Rough Sets and the Algebra of Conditional Logic. In: Mihálydeák, T., et al. Rough Sets. IJCRS 2019. Lecture Notes in Computer Science(), vol 11499. Springer, Cham. https://doi.org/10.1007/978-3-030-22815-6_3
Download citation
DOI: https://doi.org/10.1007/978-3-030-22815-6_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-22814-9
Online ISBN: 978-3-030-22815-6
eBook Packages: Computer ScienceComputer Science (R0)