Skip to main content
SpringerLink
Log in

New Algebras and Logic from a Category of Rough Sets

  • Conference paper
  • First Online:
Rough Sets (IJCRS 2017)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 10313))

Included in the following conference series:

Abstract

In this work, we focus on the study of the algebra of strong subobjects obtained from a category of rough sets that forms a quasitopos. A new algebraic structure called ‘contrapositionally complemented pseudo Boolean algebra’ is obtained and its basic properties studied. The corresponding logic ‘intuitionistic logic with minimal negation’ is introduced, and its connection with the intuitionistic and minimal logics is discussed.

A.K. More—This work is supported by the Council of Scientific and Industrial Research (CSIR) India, Research Grant No. 09/092(0875)/2013-EMR-I.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

References

  1. Pawlak, Z.: Rough sets. Int. J. Comput. Inform. Sci. 11(5), 341–356 (1982). doi:10.1007/BF01001956

    Article  MATH  Google Scholar 

  2. Banerjee, M., Chakraborty, M.K.: Algebras from rough sets. In: Pal, S.K., Polkowski, L., Skowron, A. (eds.) Rough-Neural Computing. Cognitive Technologies, pp. 157–184. Springer, Heidelberg (2004). doi:10.1007/978-3-642-18859-6_7

    Chapter  Google Scholar 

  3. Banerjee, M., Chakraborty, M.K.: A category for rough sets. Found. Comput. Decis. Sci. 18(3–4), 167–180 (1993)

    MathSciNet  MATH  Google Scholar 

  4. Banerjee, M., Chakraborty, M.K.: Foundations of vagueness: a category-theoretic approach. Electron. Notes Theor. Comput. Sci. 82(4), 10–19 (2003). doi:10.1016/S1571-0661(04)80701-1

    Article  MATH  Google Scholar 

  5. Banerjee, M., Yao, Y.: A categorial basis for granular computing. In: An, A., Stefanowski, J., Ramanna, S., Butz, C.J., Pedrycz, W., Wang, G. (eds.) RSFDGrC 2007. LNCS, vol. 4482, pp. 427–434. Springer, Heidelberg (2007). doi:10.1007/978-3-540-72530-5_51

    Chapter  Google Scholar 

  6. Eklund, P., Galán, M.A.: Monads can be rough. In: Greco, S., Hata, Y., Hirano, S., Inuiguchi, M., Miyamoto, S., Nguyen, H.S., Słowiński, R. (eds.) RSCTC 2006. LNCS, vol. 4259, pp. 77–84. Springer, Heidelberg (2006). doi:10.1007/11908029_9

    Chapter  MATH  Google Scholar 

  7. Li, X.S., Yuan, X.H.: The category \({RSC}\) of \({I}\)-rough sets. In: Fifth International Conference on Fuzzy Systems and Knowledge Discovery, vol. 1, pp. 448–452 October 2008. doi:10.1109/FSKD.2008.106

  8. More, A.K., Banerjee, M.: Categories and algebras from rough sets: new facets. Fundam. Inform. 148(1–2), 173–190 (2016). doi:10.3233/FI-2016-1429

    Article  MathSciNet  MATH  Google Scholar 

  9. Iwiński, T.B.: Algebraic approach to rough sets. Bull. Pol. Acad. Sci. Math. 35, 673–683 (1987)

    MathSciNet  MATH  Google Scholar 

  10. Prawitz, D., Malmnäs, P.E.: A survey of some connections between classical, intuitionistic and minimal logic. Stud. Log. Found. Math. 50, 215–229 (1968). doi:10.1016/S0049-237X(08)70527-5

    Article  MathSciNet  MATH  Google Scholar 

  11. Carnielli, W.A., D’Ottaviano, I.M.L.: Translations between logical systems: a manifesto. Log. Anal. 40(157), 67–81 (1997)

    MathSciNet  MATH  Google Scholar 

  12. Goldblatt, R.: Topoi: The Categorial Analysis of Logic. Dover Books on Mathematics. Dover Publications, Mineola (2006)

    MATH  Google Scholar 

  13. Wyler, O.: Lecture Notes on Topoi and Quasitopoi. World Scientific, Singapore (1991)

    Book  Google Scholar 

  14. Banerjee, M., Chakraborty, M.K.: Rough sets through algebraic logic. Fundam. Inf. 28(3,4), 211–221 (1996). doi:10.3233/FI-1996-283401

    Article  MathSciNet  MATH  Google Scholar 

  15. Rasiowa, H.: An Algebraic Approach to Non-classical Logics. Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Company, Amsterdam (1974)

    MATH  Google Scholar 

  16. Nowak, M.: The weakest logic of conditional negation. Bull. Sect. Log. 24(4), 201–205 (1995)

    MathSciNet  MATH  Google Scholar 

  17. Gurevich, Y.: Intuitionistic logic with strong negation. Stud. Logica. 36(1), 49–59 (1977). doi:10.1007/BF02121114

    Article  MathSciNet  MATH  Google Scholar 

  18. Esteva, F., Godo, L., Hájek, P., Navara, M.: Residuated fuzzy logics with an involutive negation. Arch. Math. Log. 39(2), 103–124 (2000). doi:10.1007/s001530050006

    Article  MathSciNet  MATH  Google Scholar 

  19. Ferreira, G., Oliva, P.: On various negative translations. In: Third International Workshop on Classical Logic and Computation, CL&C 2010, pp. 21–22. Czech Republic, Brno, 21–33 August 2010. doi:10.1007/978-3-7908-1888-8_6

  20. Pagliani, P.: Rough set theory and logic-algebraic structures. In: Orłowska, E. (ed.) Incomplete Information: Rough Set Analysis, pp. 109–190. Physica-Verlag HD, Heidelberg (1998)

    Chapter  Google Scholar 

Download references

Acknowledgments

We are grateful to the anonymous referees for their valuable remarks.

Author information

Authors and Affiliations

  1. Department of Mathematics and Statistics, Indian Institute of Technology, Kanpur, Kanpur, 208016, India

    Anuj Kumar More & Mohua Banerjee

Authors
  1. Anuj Kumar More
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mohua Banerjee
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Anuj Kumar More .

Editor information

Editors and Affiliations

  1. Polish-Japanese Academy of Information Technology, Warsaw, Poland

    Lech Polkowski

  2. University of Regina, Regina, SK, Canada

    Yiyu Yao

  3. University of Warmia and Mazury, Olsztyn, Poland

    Piotr Artiemjew

  4. University of Milano-Bicocca, Milano, Italy

    Davide Ciucci

  5. Southwest Jiaotong University, Chengdu, China

    Dun Liu

  6. Warsaw University, Warszawa, Poland

    Dominik Ślęzak

  7. Silesian University, Sosnowiec, Poland

    Beata Zielosko

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

More, A.K., Banerjee, M. (2017). New Algebras and Logic from a Category of Rough Sets. In: Polkowski, L., et al. Rough Sets. IJCRS 2017. Lecture Notes in Computer Science(), vol 10313. Springer, Cham. https://doi.org/10.1007/978-3-319-60837-2_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-60837-2_8

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-60836-5

  • Online ISBN: 978-3-319-60837-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation