Skip to main content
SpringerLink
Log in

Rough Sets and Other Mathematics: Ten Research Programs

  • Conference paper
Facets of Uncertainties and Applications

Part of the book series: Springer Proceedings in Mathematics & Statistics ((PROMS,volume 125))

Abstract

Since its inception, interesting connections between Rough Set Theory and different mathematical and logical topics have been investigated. This paper is a survey of some less known although highly interesting connections, which extend from Rough Set Theory to other mathematical and logical fields. The survey is primarily thought of as a guide for new directions to be explored.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    Except for [7], this book is the only work of the author’s that will be cited. The story of the results can be found in the mentioned chapters.

References

  1. Cattaneo, G.: Rough Set Theory II. The Approximation Space Approach. with Applications to Roughness and Fuzzy Set Theory. http://www.fislab.disco.unimib.it/dl.php?file=/lib/exe/fetch.php/book/

  2. Cattaneo, G., Ciucci, D.: Lattices with Interior and Closure Operators and Abstract Approximation Spaces. Transactions on Rough Sets X. Springer (2009)

    Google Scholar 

  3. Crown, G.D., Harding, J., Janowitz, M.F.: Boolean products of lattices. Order 13, 175–205 (1996)

    Article  MathSciNet  Google Scholar 

  4. Gabbay, D.M.: Labelled Deductive Systems. Oxford University Press (1997)

    Google Scholar 

  5. Greco, S., Matarazzo, B., Slowinski, R.: Rough sets theory for multi-criteria decision analysis. Euro. J. Op. Res. 129(1), 1–47 (2001)

    Article  Google Scholar 

  6. Huang, A., Zhu, W.: Topological characterizations for three covering approximation operators. In: Rough Sets, Fuzzy Sets, Data Mining and Granular Computing, LNCS, 8170, pp. 277–284, Springer (2013)

    Google Scholar 

  7. Järvinen, J., Pagliani, P., Radeleczki, S.: Information completeness in Nelson algebras of rough sets induced by quasiorders. Studia Logica (2012). doi:10.1007/s11225-012-9421-z

    Article  MathSciNet  Google Scholar 

  8. Johnstone, P.T.: Conditions related to De Morgan’s law. In: Fourman, M.P., Mulvey C.J., Scott, D.S., (eds.), Applications of Sheaves (Durham 1977), LNM 753, pp. 479–491, Springer-Verlag (1979)

    Google Scholar 

  9. Khan, M.A., Banerjee, M.: A Study of Multiple-Source Approximation Systems. Transactions on rough sets. XII. Springer (2010)

    Google Scholar 

  10. Lawvere, F.W.: Intrinsic co-heyting boundaries and the Leibniz rule in certain toposes. In: Carboni, A., Pedicchio, M.C., Rosolini, G. (eds.), Category Theory (Como 1990), LNM 1488, pp. 279–297, Springer (1991)

    Google Scholar 

  11. Miglioli, P.A., Moscato, U., Ornaghi, M., Usberti, U.: A constructivism based on classical truth. Notre Dame J. Formal Logic 30(1), 67–90 (1989)

    Article  MathSciNet  Google Scholar 

  12. Mundici, D.: The \(C^{\ast }\)-algebras of three-valued logic. In: Ferro, R., et al. (eds.) Logic Colloquium’88, pp. 61–67. North-Holland, Amstedam (1989)

    Google Scholar 

  13. Mundici, D.: Ulam’s games, Łukasiewicz logic and AF \(C^*\)-algebras. Fundamenta Informaticae 18, 151–161 (1993)

    MathSciNet  MATH  Google Scholar 

  14. Nagarajan, E.K.R., Umadevi, D.: A method of representing rough sets system determined by quasi orders. Order 30(1), 313–337 (2013)

    Article  MathSciNet  Google Scholar 

  15. Orłowska, E.: Kripke models with relative accessibility and their applications to inferences from incomplete information. In: Mirkowska, G., Rasiowa, H. (eds.), Mathematical Problems in Computation Theory, p. 329–339, Banach Center Publications, 21 PWN—Polish Scientific Publishers, Warsaw (1988)

    Google Scholar 

  16. Pagliani, P., Chakraborty, M.K.: A geometry of Approximation. Trends in Logic, 27. Springer (2008)

    Google Scholar 

  17. V. de Paiva, V.: A dialectica-like model of linear logic. In: Proceedings of the Conference on Category Theory and Computer Science, LNCS, 389, pp. 341–356. Springer (1989)

    Google Scholar 

  18. Pratt, V.: Chu spaces as a semantic bridge between linear logic and mathematics. Theor. Comput. Sci. 294, 439–471 (1998)

    Article  MathSciNet  Google Scholar 

  19. Reyes, G.E., Zolfaghari, N.: Bi-Heyting algebras, toposes and modalities. J. Philos. Logic 25, 25–43 (1996)

    Article  MathSciNet  Google Scholar 

  20. Sambin, G.: Intuitionistic formal spaces—a first communication. In: Skordev, D. (ed.) Mathematical Logic and Its Applications, pp. 187–204. Plenum, New York (1987)

    Chapter  Google Scholar 

  21. Sambin, G.: The semantics of pretopologies. In: Schroeder-Heister, P., Dosen, K. (eds.) Substructural Logics, pp. 293–307. Clarendon, Oxford (1993)

    Google Scholar 

  22. Sambin, G., Gebellato, S.: A preview of the basic picture: a new perspective on formal topology. In: Proceedings of the TYPES ’98. International Workshop on Types for Proofs and Programs, LNCS 1657, pp. 194–207, Springer (1999)

    Google Scholar 

  23. Sen, J., Chakraborty, M.K.: A study of interconnections between rough and 3-valued Łukasiewicz logics. Fundamenta Informaticae 51, 311–324 (2002)

    MathSciNet  MATH  Google Scholar 

  24. Spinks, M., Veroff, R.: Constructive Logic with Strong Negation is a Substructural Logic—I and II. Studia Logica, 88, pp. 325–348 and 89, 401–425 (2008)

    Google Scholar 

  25. Wansing, H.: The Logic of Information Structures. Springer, Berlin (1993)

    Book  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Rome, Italy

    Piero Pagliani

Authors
  1. Piero Pagliani
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Piero Pagliani .

Editor information

Editors and Affiliations

  1. Jadavpur University, Kolkata, India

    Mihir K. Chakraborty

  2. Institute of Mathematics, University of Warsaw, Warszawa, Poland

    Andrzej Skowron

  3. Vidyasagar University, Paschim Medinipur, West Bengal, India

    Manoranjan Maiti

  4. Department of Mathematics, National Institute of Technology (NIT), Durgapur, India

    Samarjit Kar

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer India

About this paper

Cite this paper

Pagliani, P. (2015). Rough Sets and Other Mathematics: Ten Research Programs. In: Chakraborty, M.K., Skowron, A., Maiti, M., Kar, S. (eds) Facets of Uncertainties and Applications. Springer Proceedings in Mathematics & Statistics, vol 125. Springer, New Delhi. https://doi.org/10.1007/978-81-322-2301-6_1

Download citation

Publish with us

Policies and ethics

Search

Navigation