{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:22:57Z","timestamp":1760170977324},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662536100"},{"type":"electronic","value":"9783662536117"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-662-53611-7_4","type":"book-chapter","created":{"date-parts":[[2016,10,20]],"date-time":"2016-10-20T03:54:09Z","timestamp":1476935649000},"page":"109-145","source":"Crossref","is-referenced-by-count":8,"title":["Covering Rough Sets and Formal Topology \u2013 A Uniform Approach Through Intensional and Extensional Constructors"],"prefix":"10.1007","author":[{"given":"Piero","family":"Pagliani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,21]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/j.ins.2003.12.002","volume":"166","author":"W Bartol","year":"2004","unstructured":"Bartol, W., Mir\u00f3, J., Pi\u00f3ro, K., Rossell\u00f3, F.: On the coverings by tolerance classes. Inf. Sci. 166, 193\u2013211 (2004)","journal-title":"Inf. Sci."},{"key":"4_CR2","first-page":"13","volume-title":"Southeast Asian Conference on Logic","author":"JL Bell","year":"1983","unstructured":"Bell, J.L.: Orthologic, forcing, and the manifestation of attributes. In: Chong, C.T., Wicks, M.J. (eds.) Southeast Asian Conference on Logic, pp. 13\u201336. Elsevier Science Publisher, North-Holland (1983)"},{"key":"4_CR3","volume-title":"Residuation Theory","author":"TS Blyth","year":"1972","unstructured":"Blyth, T.S., Janowitz, M.F.: Residuation Theory. Pergamon Press, Oxford (1972)"},{"key":"4_CR4","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/S0020-0255(97)10046-9","volume":"107","author":"Z Bonikowski","year":"1998","unstructured":"Bonikowski, Z., Bryniarski, E., Wybraniec-Skardowska, U.: Extensions and intensions in the rough set theory. Inf. Sci. 107, 149\u2013167 (1998)","journal-title":"Inf. Sci."},{"key":"4_CR5","volume-title":"Topological Spaces","author":"E \u010cech","year":"1966","unstructured":"\u010cech, E.: Topological Spaces. Wiley, Hoboken (1966)"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"D\u00fcntsch, I., Gegida, G.: Modal-style operators in qualitative data analysis. In: Proceedings of the IEEE International Conference on Data Mining, pp. 155\u2013162 (2002)","DOI":"10.1109\/ICDM.2002.1183898"},{"key":"4_CR7","doi-asserted-by":"crossref","first-page":"3723","DOI":"10.1016\/j.ins.2011.04.041","volume":"181","author":"MH Ghanim","year":"2011","unstructured":"Ghanim, M.H., Mustafa, H.I., Abd El Aziz, S.: On lower and upper intension order relations by different cover concepts. Inf. Sci. 181, 3723\u20133734 (2011)","journal-title":"Inf. Sci."},{"key":"4_CR8","series-title":"Studies in Computational Intelligence","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/978-3-642-05183-8_3","volume-title":"Advanced in Intelligent Systems","author":"S Greco","year":"2010","unstructured":"Greco, S., Matarazzo, B., S\u0142owinski, R.: Algebra and topology for dominance-based rough set approach. In: Ras, Z.W., Tsay, L.-S. (eds.) Advanced in Intelligent Systems. SCI, vol. 265, pp. 43\u201378. Springer, Heidelberg (2010)"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/978-3-642-41218-9_30","volume-title":"Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing","author":"A Huang","year":"2013","unstructured":"Huang, A., Zhu, W.: Topological characterizations for three covering approximation operators. In: Ciucci, D., Inuiguchi, M., Yao, Y., \u015al\u0119zak, D., Wang, G. (eds.) RSFDGrC 2013. LNCS, vol. 8170, pp. 277\u2013284. Springer, Heidelberg (2013)"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"400","DOI":"10.1007\/978-3-540-71200-8_22","volume-title":"Transactions on Rough Sets VI","author":"J J\u00e4rvinen","year":"2007","unstructured":"J\u00e4rvinen, J.: Lattice theory for rough sets. In: Peters, J.F., Skowron, A., D\u00fcntsch, I., Grzyma\u0142a-Busse, J.W., Or\u0142owska, E., Polkowski, L. (eds.) Transactions on Rough Sets VI. LNCS, vol. 4374, pp. 400\u2013498. Springer, Heidelberg (2007)"},{"issue":"5","key":"4_CR11","doi-asserted-by":"crossref","first-page":"1073","DOI":"10.1007\/s11225-012-9421-z","volume":"101","author":"J J\u00e4rvinen","year":"2013","unstructured":"J\u00e4rvinen, J., Pagliani, P., Radeleczki, S.: Information completeness in nelson algebras of rough sets induced by quasiorders. Stud. Log. 101(5), 1073\u20131092 (2013)","journal-title":"Stud. Log."},{"key":"4_CR12","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/s00012-011-0149-9","volume":"66","author":"J J\u00e4rvinen","year":"2011","unstructured":"J\u00e4rvinen, J., Radeleczki, S.: Representation of Nelson algebras by rough sets determined by quasiorders. Algebra Univers. 66, 163\u2013179 (2011)","journal-title":"Algebra Univers."},{"key":"4_CR13","doi-asserted-by":"crossref","first-page":"341","DOI":"10.3233\/FI-2015-1183","volume":"137","author":"J J\u00e4rvinen","year":"2015","unstructured":"J\u00e4rvinen, J., Radeleczki, S.: Tolerances induced by irredundant coverings. Fundamenta Informaticae 137, 341\u2013353 (2015)","journal-title":"Fundamenta Informaticae"},{"key":"4_CR14","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1007\/BF01988049","volume":"3","author":"G Kreisel","year":"1957","unstructured":"Kreisel, G., Putnam, H.: Eine Unableitbarkeitsbeweismethode f\u00fcr den intuitionistischen Aussegenkalk\u00fcl. Archiv f\u00fcr mathematische Logik und Grundlagenferschung 3, 74\u201378 (1957)","journal-title":"Archiv f\u00fcr mathematische Logik und Grundlagenferschung"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"488","DOI":"10.1007\/978-3-642-31900-6_60","volume-title":"Rough Sets and Knowledge Technology","author":"A Kumar","year":"2012","unstructured":"Kumar, A., Banerjee, M.: Definable and rough sets in covering-based approximation spaces. In: Li, T., Nguyen, H.S., Wang, G., Grzymala-Busse, J., Janicki, R., Hassanien, A.E., Yu, H. (eds.) RSKT 2012. LNCS, vol. 7414, pp. 488\u2013495. Springer, Heidelberg (2012)"},{"key":"4_CR16","unstructured":"Langeron, C., Bonnevay, S.: Une approach pretopologique pour la structuration. Document de Recherche $$N^o$$ N o 1999 - 7. Centre de reserches economiques de l\u2019Universit\u00e9 de Saint Etienne"},{"key":"4_CR17","unstructured":"Li, Q., Zhu, W.: Lattice structures of fixed points of the lower approximations of two types of covering-based rough sets. http:\/\/arxiv.org\/abs\/1209.5569"},{"issue":"1","key":"4_CR18","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1007\/s11083-011-9245-x","volume":"30","author":"EKR Nagarajan","year":"2013","unstructured":"Nagarajan, E.K.R., Umadevi, D.: A method of representing rough sets system determined by quasi orders. Order 30(1), 313\u2013337 (2013)","journal-title":"Order"},{"key":"4_CR19","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1090\/S0002-9947-1944-0010555-7","volume":"55","author":"O Ore","year":"1944","unstructured":"Ore, O.: Galois connexions. Trans. Am. Math. Soc. 55, 493\u2013513 (1944)","journal-title":"Trans. Am. Math. Soc."},{"key":"4_CR20","unstructured":"Pagliani, P.: Concrete neighbourhood systems and formal pretopological spaces (draft). In: Presented at the Calcutta Logical Circle Conference on Logic and Artificial Intelligence, Calcutta, 13\u201316 October 2003"},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1007\/3-540-39205-X_19","volume-title":"Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing","author":"P Pagliani","year":"2003","unstructured":"Pagliani, P.: Pretopology and dynamic spaces. In: Wang, G., Liu, Q., Yao, Y., Skowron, A. (eds.) RSFDGrC 2003. LNCS, vol. 2639, pp. 146\u2013155. Springer, Heidelberg (2003). Extended Version in Fundamenta 59(2\u20133), 221\u2013239 (2004)"},{"key":"4_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1007\/978-3-319-08729-0_2","volume-title":"Rough Sets and Intelligent Systems Paradigms","author":"P Pagliani","year":"2014","unstructured":"Pagliani, P.: The relational construction of conceptual patterns - tools, implementation and theory. In: Kryszkiewicz, M., Cornelis, C., Ciucci, D., Medina-Moreno, J., Motoda, H., Ra\u015b, Z.W. (eds.) RSEISP 2014. LNCS, vol. 8537, pp. 14\u201327. Springer, Heidelberg (2014)"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Pagliani, P., Chakraborty, M.K.: Information Quanta and approximation spaces. I: Non-classical approximation operators. In: Proceedings of the IEEE International Conference on Granular Computing, Beijing, China, 25\u201327 July 2005, vol. 2, pp. 605\u2013610. IEEE, Los Alamitos, July 2005","DOI":"10.1109\/GRC.2005.1547363"},{"key":"4_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/978-3-540-71200-8_15","volume-title":"Transactions on Rough Sets VI","author":"P Pagliani","year":"2007","unstructured":"Pagliani, P., Chakraborty, M.K.: Formal topology and information systems. In: Peters, J.F., Skowron, A., D\u00fcntsch, I., Grzyma\u0142a-Busse, J.W., Or\u0142owska, E., Polkowski, L. (eds.) Transactions on Rough Sets VI. LNCS, vol. 4374, pp. 253\u2013297. Springer, Heidelberg (2007)"},{"key":"4_CR25","series-title":"Trends in Logic","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-8622-9","volume-title":"A Geometry of Approximation","author":"P Pagliani","year":"2008","unstructured":"Pagliani, P., Chakraborty, M.K.: A Geometry of Approximation. Trends in Logic, 27th edn. Springer, Heidelberg (2008)","edition":"27"},{"key":"4_CR26","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1007\/978-3-540-72458-2_4","volume-title":"Rough Sets and Knowledge Technology","author":"K Qin","year":"2007","unstructured":"Qin, K., Gao, Y., Pei, Z.: On covering rough sets. In: Yao, J.T., Lingras, P., Wu, W.-Z., Szczuka, M.S., Cercone, N.J., \u015al\u0229zak, D. (eds.) RSKT 2007. LNCS (LNAI), vol. 4481, pp. 34\u201341. Springer, Heidelberg (2007)"},{"issue":"1","key":"4_CR27","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1016\/j.ijar.2013.08.002","volume":"55","author":"M Restrepo","year":"2014","unstructured":"Restrepo, M., Cornelis, C., Gmez, J.: Duality, conjugacy and adjointness of approximation operators in covering-based rough sets. Int. J. Approximate Reasoning 55(1), 469\u2013485 (2014)","journal-title":"Int. J. Approximate Reasoning"},{"key":"4_CR28","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/978-1-4613-0897-3_12","volume-title":"Mathematical Logic and Its Applications","author":"G Sambin","year":"1987","unstructured":"Sambin, G.: Intuitionistic formal spaces - a first communication. In: Skordev, D. (ed.) Mathematical Logic and Its Applications, pp. 187\u2013204. Plenum Press, New York (1987)"},{"key":"4_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/3-540-48167-2_14","volume-title":"Types for Proofs and Programs","author":"G Sambin","year":"1999","unstructured":"Sambin, G., Gebellato, S.: A preview of the basic picture: a new perspective on formal topology. In: Altenkirch, T., Reus, B., Naraschewski, W. (eds.) TYPES 1998. LNCS, vol. 1657, pp. 194\u2013208. Springer, Heidelberg (1999). doi: 10.1007\/3-540-48167-2_14"},{"issue":"5","key":"4_CR30","doi-asserted-by":"crossref","first-page":"606","DOI":"10.7763\/IJCTE.2009.V1.98","volume":"1","author":"ND Thuan","year":"2009","unstructured":"Thuan, N.D.: Covering rough sets from a topological point of view. Int. J. Comput. Theor. Eng. 1(5), 606\u2013609 (2009)","journal-title":"Int. J. Comput. Theor. Eng."},{"key":"4_CR31","series-title":"Cambridge Tracts in Theoretical Computer Science","volume-title":"Topology via Logic","author":"S Vickers","year":"1989","unstructured":"Vickers, S.: Topology via Logic. Cambridge Tracts in Theoretical Computer Science, vol. 5. Cambridge University Press, Cambridge (1989)"},{"key":"4_CR32","doi-asserted-by":"crossref","unstructured":"Yao, Y.Y., Chen, Y.H.: Rough set approximations in formal concept analysis. In: Dick, S., Kurgan, L., Pedrycz, W., Reformat, M. (eds.) Proceedins of 2004 Annual Meeting of the North American Fuzzy Information Processing Society, (NAFIPS 2004). IEEE Catalog Number: 04TH8736, pp. 73\u201378 (2004)","DOI":"10.1109\/NAFIPS.2004.1336252"},{"key":"4_CR33","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/j.ins.2012.02.065","volume":"200","author":"Y Yao","year":"2012","unstructured":"Yao, Y., Yao, B.: Covering based rough set approximations. Inf. Sci. 200, 91\u2013107 (2012)","journal-title":"Inf. Sci."},{"key":"4_CR34","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1515\/dema-1983-0319","volume":"16","author":"W Zakowski","year":"1983","unstructured":"Zakowski, W.: Approximations in the space $$(U,\\Pi )$$ ( U , \u03a0 ) . Demonstratio Mathematica 16, 761\u2013769 (1983)","journal-title":"Demonstratio Mathematica"}],"container-title":["Lecture Notes in Computer Science","Transactions on Rough Sets XX"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-53611-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,26]],"date-time":"2020-09-26T16:18:19Z","timestamp":1601137099000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-53611-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662536100","9783662536117"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-53611-7_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}