{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T18:20:39Z","timestamp":1742926839814,"version":"3.40.3"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319257532"},{"type":"electronic","value":"9783319257549"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-25754-9_4","type":"book-chapter","created":{"date-parts":[[2015,11,21]],"date-time":"2015-11-21T09:12:37Z","timestamp":1448097157000},"page":"39-49","source":"Crossref","is-referenced-by-count":0,"title":["Rough Sets - Past, Present and Future: Some Notes"],"prefix":"10.1007","author":[{"given":"Piero","family":"Pagliani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","volume-title":"Distributive Lattices","author":"R Balbes","year":"1974","unstructured":"Balbes, R., Dwinger, P.: Distributive Lattices. University of Missouri Press, Columbia (1974)"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Carnielli, W.A., Marques, M.L.: Society semantics and multiple-valued logics. In: Carnielli W.A., D\u2019Ottaviano, I. (Eds.): Contemporary Mathematics, vol. 235, pp. 149\u2013163. American Mathematical Society (1999)","DOI":"10.1090\/conm\/235\/03464"},{"key":"4_CR3","first-page":"1","volume":"17","author":"D Ciucci","year":"2014","unstructured":"Ciucci, D., Dubois, D.: Three-valued logics, uncertainty management and rough sets. Trans. Rough Sets 17, 1\u201332 (2014)","journal-title":"Trans. Rough Sets"},{"key":"4_CR4","volume-title":"Labelled Deductive Systems","author":"DM Gabbay","year":"1997","unstructured":"Gabbay, D.M.: Labelled Deductive Systems. Oxford University Press, Oxford (1997)"},{"key":"4_CR5","series-title":"Studies in Computational Intelligence","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-642-05183-8_3","volume-title":"Advanced in Intelligent Information Systems","author":"S Greco","year":"2010","unstructured":"Greco, S., Matarazzo, B., Slowinski, R.: Algebra and topology for dominance-based rough set approach. In: Ras, Z.W., Tsay, L.-S. (eds.) Advanced in Intelligent Information Systems. SCI, vol. 265, pp. 43\u201378. Springer, Heidelberg (2010)"},{"issue":"3\u20134","key":"4_CR6","first-page":"673","volume":"35","author":"TB Iwinski","year":"1987","unstructured":"Iwinski, T.B.: Algebraic approach to rough sets. Bull. Pol. Acad. Sci. Math. 35(3\u20134), 673\u2013683 (1987)","journal-title":"Bull. Pol. Acad. Sci. Math."},{"issue":"5","key":"4_CR7","doi-asserted-by":"publisher","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. Logica 101(5), 1073\u20131092 (2013)","journal-title":"Stud. Logica"},{"key":"4_CR8","doi-asserted-by":"publisher","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_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-642-14467-7_3","volume-title":"Transactions on Rough Sets XII","author":"MA Khan","year":"2010","unstructured":"Khan, M.A., Banerjee, M.: A study of multiple-source approximation systems. In: Peters, J.F., Skowron, A., S\u0142owi\u0144ski, R., Lingras, P., Miao, D., Tsumoto, S. (eds.) Transactions on Rough Sets XII. LNCS, vol. 6190, pp. 46\u201375. Springer, Heidelberg (2010)"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/3-540-60161-9_27","volume-title":"Conceptual Structures: Applications, Implementation and Theory","author":"F Lehmann","year":"1995","unstructured":"Lehmann, F., Wille, R.: A triadic approach to formal concept analysis. In: Ellis, G., Rich, W., Levinson, R., Sowa, J.F. (eds.) ICCS 1995. LNCS, vol. 954, pp. 32\u201343. Springer, Heidelberg (1995)"},{"issue":"2","key":"4_CR11","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1016\/j.fss.2008.05.004","volume":"160","author":"J Medina","year":"2009","unstructured":"Medina, J., Ojeda-Aciego, M., Ruiz-Calvi\u00f1o, J.: Formal concept analysis via multiadjoint concept lattices. Fuzzy Sets Syst. 160(2), 130\u2013144 (2009)","journal-title":"Fuzzy Sets Syst."},{"issue":"1","key":"4_CR12","first-page":"67","volume":"30","author":"PA Miglioli","year":"1989","unstructured":"Miglioli, P.A., Moscato, U., Ornaghi, M., Usberti, U.: A constructivism based on classical truth. Notre Dame J. Formal logic 30(1), 67\u201390 (1989)","journal-title":"Notre Dame J. Formal logic"},{"issue":"1","key":"4_CR13","doi-asserted-by":"publisher","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_CR14","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/BF00370813","volume":"44","author":"E Or\u0142owska","year":"1985","unstructured":"Or\u0142owska, E.: Logic for nondeterministic information. Stud. Logica 44, 93\u2013102 (1985)","journal-title":"Stud. Logica"},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1305\/ndjfl\/1093635588","volume":"31","author":"P Pagliani","year":"1990","unstructured":"Pagliani, P.: Remarks on special lattices and related constructive logics with strong negation. Notre Dame J. Formal Logic 31, 515\u2013528 (1990)","journal-title":"Notre Dame J. Formal Logic"},{"key":"4_CR16","series-title":"Workshops in Computing","first-page":"225","volume-title":"Rough Sets, Fuzzy Sets and Knowledge Discovery","author":"P Pagliani","year":"1994","unstructured":"Pagliani, P.: A pure logic-algebraic analysis on rough top and rough bottom equalities. In: Ziarko, W.P. (ed.) Rough Sets, Fuzzy Sets and Knowledge Discovery. Workshops in Computing, pp. 225\u2013236. Springer, Heidelberg (1994)"},{"key":"4_CR17","unstructured":"Pagliani, P.: A modal relation algebra for generalized approximation spaces. In: Tsumoto, S., Kobayashi, S., Yokomori, T., Tanaka, H., Nakamura, A. (eds.) Proceedings of the 4th International Workshop on Rough Sets, Fuzzy Sets, and Machine Discovery. The University of Tokyo, Japan, Invited Section \u201cLogic and Algebra\u201d, pp. 89\u201396, 6\u20138 November 1996"},{"issue":"1","key":"4_CR18","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1023\/A:1008286102793","volume":"6","author":"P Pagliani","year":"1997","unstructured":"Pagliani, P.: From information gaps to communication needs: a new semantic foundation for some non-classical logics. J. Logic Lang. Inf. 6(1), 63\u201399 (1997)","journal-title":"J. Logic Lang. Inf."},{"key":"4_CR19","series-title":"STUDFUZZ","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-7908-1888-8_6","volume-title":"Incomplete Information: Rough Set Analysis","author":"P Pagliani","year":"1997","unstructured":"Pagliani, P.: Rough set systems and logic-algebraic structures. In: Or\u0142owska, E. (ed.) Incomplete Information: Rough Set Analysis. STUDFUZZ, vol. 13, pp. 109\u2013190. Physica-Verlag, Heidelberg (1997)"},{"key":"4_CR20","first-page":"209","volume-title":"Rough Sets in Knowledge Discovery 1","author":"P Pagliani","year":"1998","unstructured":"Pagliani, P.: A practical introduction to the modal relational approach to approximation spaces. In: Polkowski, L., Skowron, A. (eds.) Rough Sets in Knowledge Discovery 1, pp. 209\u2013232. Physica-Verlag, Heidelberg (1998)"},{"key":"4_CR21","unstructured":"Pagliani P.: Modalizing relations by means of relations: a general framework for two basic approaches to knowledge discovery in database. In: Gevers, M. (ed.) Proceedings of the 7th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems. IPMU \u201998. Paris, France, pp. 1175\u20131182. Editions E.D.K., 6\u201310 July 1998"},{"key":"4_CR22","unstructured":"Pagliani, P.: Local classical behaviours in three-valued logics and connected systems. An information-oriented analysis. 1 and 2. Journal of Multiple-valued Logics 5, 6, pp. 327\u2013347, 369\u2013392 (2000, 2001)"},{"key":"4_CR23","unstructured":"Pagliani, P.: Pretopology and dynamic spaces. In: Proceedings of RSFSGRC\u201903, Chongqing, R.P. China, 2003. Extended version in Fundamenta Informaticae, vol. 59(2\u20133), pp. 221\u2013239 (2004)"},{"key":"4_CR24","series-title":"Springer Proceedings in Mathematics & Statistics","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-81-322-2301-6_1","volume-title":"Facets of Uncertainties and Applications","author":"P Pagliani","year":"2015","unstructured":"Pagliani, P.: Rough sets and other mathematics: ten research programs. In: Chakraborty, M.K., Skovron, A., Maiti, M., Kar, S. (eds.) Facets of Uncertainties and Applications. Springer Proceedings in Mathematics & Statistics, vol. 125, pp. 3\u201315. Springer, Heidelberg (2015)"},{"key":"4_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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_CR26","unstructured":"Pagliani P.: Covering-based rough sets and formal topology. A uniform approach (To appear in Transactions of Rough Sets) (2014)"},{"key":"4_CR27","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, R.P. China, Vol. 2, pp. 605\u2013610. IEEE Los Alamitos, 25\u201327 July 2005","DOI":"10.1109\/GRC.2005.1547363"},{"key":"4_CR28","series-title":"Trends in Logic","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-8622-9","volume-title":"A geometry of approximation","author":"P Pagliani","year":"2008","unstructured":"Pagliani, P., Chakraborty, M.: A geometry of approximation. Trends in Logic. Springer, Heidelberg (2008)"},{"issue":"6","key":"4_CR29","doi-asserted-by":"publisher","first-page":"949","DOI":"10.1016\/j.ins.2009.11.023","volume":"180","author":"Y Qian","year":"2010","unstructured":"Qian, Y., Liang, J., Yao, Y., Dang, C.: MGRS: a multi-granulation rough set. Inf. Sci. 180(6), 949\u2013970 (2010)","journal-title":"Inf. Sci."},{"key":"4_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-58095-6_12","volume-title":"Knowledge Representation and Reasoning Under Uncertainty","author":"CM Rauszer","year":"1994","unstructured":"Rauszer, C.M.: Rough logic for multi-agent systems. In: Masuch, M., Polos, L. (eds.) Logic at Work 1992. LNCS, vol. 808, pp. 161\u2013181. Springer, Heidelberg (1994)"},{"key":"4_CR31","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/BF00357841","volume":"25","author":"GE Reyes","year":"1996","unstructured":"Reyes, G.E., Zolfaghari, N.: Bi-Heyting algebras, toposes and modalities. J. Philos. Logic 25, 25\u201343 (1996)","journal-title":"J. Philos. Logic"},{"key":"4_CR32","first-page":"261","volume-title":"Logic Colloquium \u201988","author":"G Sambin","year":"1989","unstructured":"Sambin, G.: Intuitionistic formal spaces and their neighbourhood. In: Ferro, R., Bonotto, C., Valentini, S., Zanardo, A. (eds.) Logic Colloquium \u201988, pp. 261\u2013285. North-Holland, Elsevier (1989)"},{"issue":"1","key":"4_CR33","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/BF00401557","volume":"49","author":"A Sendlewski","year":"1990","unstructured":"Sendlewski, A.: Nelson algebras through Heyting ones: I. Stud. Logica 49(1), 105\u2013126 (1990)","journal-title":"Stud. Logica"},{"key":"4_CR34","unstructured":"Sette, A.M.: On the propositional calculus $$P^1$$. Math. Japonicae18, 173\u2013180 (1973)"},{"key":"4_CR35","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/BF01053037","volume":"55","author":"AM Sette","year":"1995","unstructured":"Sette, A.M., Carnielli, W.A.: Maximal weakly-intuitionistic logics. Stud. Logica 55, 181\u2013203 (1995)","journal-title":"Stud. Logica"},{"key":"4_CR36","series-title":"Workshops in Computing","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-1-4471-3238-7_20","volume-title":"Rough Sets, Fuzzy Sets and Knowledge Discovery","author":"A Skowron","year":"1994","unstructured":"Skowron, A., Stepaniuk, J.: Approximation of relations. In: Ziarko, W.P. (ed.) Rough Sets, Fuzzy Sets and Knowledge Discovery. Workshops in Computing, pp. 161\u2013166. Springer, Heidelberg (1994)"},{"key":"4_CR37","first-page":"263","volume":"54","author":"A Skowron","year":"2003","unstructured":"Skowron, A., Stepaniuk, J., Peters, J.F.: Rough sets and infomorphisms: towards approximation of relations in distributed environments. Fundam. Informaticae 54, 263\u2013277 (2003)","journal-title":"Fundam. Informaticae"},{"key":"4_CR38","doi-asserted-by":"crossref","unstructured":"Spinks, M., Veroff, R.: Constructive logic with strong negation is a substructural logic - I and II. Studia Logica 88, 89, 325\u2013348, 401\u2013425 (2008)","DOI":"10.1007\/s11225-008-9138-1"},{"key":"4_CR39","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56734-8","volume-title":"The Logic of Information Structures","author":"H Wansing","year":"1993","unstructured":"Wansing, H.: The Logic of Information Structures. Springer, Berlin (1993)"},{"key":"4_CR40","doi-asserted-by":"crossref","unstructured":"Wille, R.: Restructuring lattice theory. In: Rival, I. (ed.) Ordered Sets. NATO ASI Series 83, Reidel, pp. 445\u2013470 (1982)","DOI":"10.1007\/978-94-009-7798-3_15"},{"key":"4_CR41","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/j.knosys.2015.01.004","volume":"80","author":"YY Yao","year":"2015","unstructured":"Yao, Y.Y.: The two sides of the theory of rough sets. Knowl.-Based Syst. 80, 67\u201377 (2015)","journal-title":"Knowl.-Based Syst."}],"container-title":["Lecture Notes in Computer Science","Rough Sets and Knowledge Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25754-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,16]],"date-time":"2024-10-16T16:04:24Z","timestamp":1729094664000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-25754-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319257532","9783319257549"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25754-9_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}