{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:26:26Z","timestamp":1760171186376,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":109,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662627976"},{"type":"electronic","value":"9783662627983"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-662-62798-3_3","type":"book-chapter","created":{"date-parts":[[2020,12,16]],"date-time":"2020-12-16T20:09:07Z","timestamp":1608149347000},"page":"26-122","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Sequences of Refinements of Rough Sets: Logical and Algebraic Aspects"],"prefix":"10.1007","author":[{"given":"Stefania","family":"Boffa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brunella","family":"Gerla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,12,17]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-319-47160-0_8","volume-title":"Rough Sets","author":"S Aguzzoli","year":"2016","unstructured":"Aguzzoli, S., Boffa, S., Ciucci, D., Gerla, B.: Refinements of orthopairs and IUML-algebras. In: Flores, V., et al. (eds.) IJCRS 2016. LNCS (LNAI), vol. 9920, pp. 87\u201396. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47160-0_8"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"139","DOI":"10.3233\/FI-2018-1735","volume":"163","author":"S Aguzzoli","year":"2018","unstructured":"Aguzzoli, S., Boffa, S., Ciucci, D., Gerla, B.: Finite iuml-algebras, finite forests and orthopairs. Fundamenta Informaticae 163, 139\u2013163 (2018)","journal-title":"Fundamenta Informaticae"},{"doi-asserted-by":"crossref","unstructured":"Aguzzoli, S., Flaminio, T., Marchioni, E.: Finite forests. Their algebras and logics, pp. 139\u2013163 (2018)","key":"3_CR3","DOI":"10.3233\/FI-2018-1735"},{"issue":"2","key":"3_CR4","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/S0957-4174(99)00053-6","volume":"18","author":"B Ahn","year":"2000","unstructured":"Ahn, B., Cho, S., Kim, C.: The integrated methodology of rough set theory and artificial neural network for business failure prediction. Expert Syst. Appl. 18(2), 65\u201374 (2000)","journal-title":"Expert Syst. Appl."},{"issue":"1","key":"3_CR5","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0165-0114(96)00326-0","volume":"95","author":"K Atanassov","year":"1998","unstructured":"Atanassov, K., Gargov, G.: Elements of intuitionistic fuzzy logic. Part i. Fuzzy Sets Syst. 95(1), 39\u201352 (1998)","journal-title":"Fuzzy Sets Syst."},{"doi-asserted-by":"crossref","unstructured":"Aumann, R.J.: Agreeing to disagree. Ann. Stat. 1236\u20131239 (1976)","key":"3_CR6","DOI":"10.1214\/aos\/1176343654"},{"key":"3_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-1139-3","volume-title":"Epistemic Logic and the Theory of Games and Decisions","author":"M Bacharach","year":"2012","unstructured":"Bacharach, M., Gerard-Varet, L.A., Mongin, P., Shin, H.S.: Epistemic Logic and the Theory of Games and Decisions, vol. 20. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-1-4613-1139-3"},{"key":"3_CR8","series-title":"Workshops in Computin","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/978-1-4471-3238-7_24","volume-title":"Rough Sets, Fuzzy Sets and Knowledge Discovery","author":"M Banerjee","year":"1994","unstructured":"Banerjee, M., Chakraborty, M.K.: Rough consequence and rough algebra. In: Ziarko, W.P. (ed.) Rough Sets, Fuzzy Sets and Knowledge Discovery. Workshops in Computin, pp. 196\u2013207. Springer, Heidelberg (1994). https:\/\/doi.org\/10.1007\/978-1-4471-3238-7_24"},{"doi-asserted-by":"crossref","unstructured":"Banerjee, M., Chakraborty, M.K.: Algebras from rough sets (2004)","key":"3_CR9","DOI":"10.1007\/978-3-642-18859-6_7"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-642-21881-1_4","volume-title":"Rough Sets, Fuzzy Sets, Data Mining and Granular Computing","author":"R Belohlavek","year":"2011","unstructured":"Belohlavek, R.: What is a fuzzy concept lattice? II. In: Kuznetsov, S.O., \u015al\u0119zak, D., Hepting, D.H., Mirkin, B.G. (eds.) RSFDGrC 2011. LNCS (LNAI), vol. 6743, pp. 19\u201326. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21881-1_4"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-642-03741-2_18","volume-title":"Algebra and Coalgebra in Computer Science","author":"N Bezhanishvili","year":"2009","unstructured":"Bezhanishvili, N., Gehrke, M.: Free Heyting algebras: revisited. In: Kurz, A., Lenisa, M., Tarlecki, A. (eds.) CALCO 2009. LNCS, vol. 5728, pp. 251\u2013266. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-03741-2_18"},{"unstructured":"Bialynicki-Birula, A., Rasiowa, H.: On the representation of quasi-Boolean algebras (1957)","key":"3_CR12"},{"issue":"1","key":"3_CR13","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1016\/j.ijar.2013.10.007","volume":"55","author":"M Bianchi","year":"2014","unstructured":"Bianchi, M.: A temporal semantics for nilpotent minimum logic. Int. J. Approx. Reason. 55(1), 391\u2013401 (2014)","journal-title":"Int. J. Approx. Reason."},{"doi-asserted-by":"crossref","unstructured":"Birkhoff, G.: Lattice Theory, vol. 25. American Mathematical Society (1940)","key":"3_CR14","DOI":"10.1090\/coll\/025"},{"issue":"3","key":"3_CR15","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1215\/S0012-7094-37-00334-X","volume":"3","author":"G Birkhoff","year":"1937","unstructured":"Birkhoff, G., et al.: Rings of sets. Duke Math. J. 3(3), 443\u2013454 (1937)","journal-title":"Duke Math. J."},{"key":"3_CR16","volume-title":"Modal Logic: Graph. Darst","author":"P Blackburn","year":"2002","unstructured":"Blackburn, P., De Rijke, M., Venema, Y.: Modal Logic: Graph. Darst, vol. 53. Cambridge University Press, Cambridge (2002)"},{"doi-asserted-by":"crossref","unstructured":"Boffa, S., De Maio, C., Di Nola, A., Fenza, G., Ferraioli, A.R., Loia, V.: Unifying fuzzy concept lattice construction methods. In: 2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), pp. 209\u2013216. IEEE (2016)","key":"3_CR17","DOI":"10.1109\/FUZZ-IEEE.2016.7737689"},{"doi-asserted-by":"crossref","unstructured":"Boffa, S., De Maio, C., Gerla, B., Parente, M.: Context-aware advertisment recommendation on twitter through rough sets. In: 2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), pp. 1\u20138. IEEE (2018)","key":"3_CR18","DOI":"10.1109\/FUZZ-IEEE.2018.8491510"},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-319-52962-2_8","volume-title":"Fuzzy Logic and Soft Computing Applications","author":"S Boffa","year":"2017","unstructured":"Boffa, S., Gerla, B.: Sequences of orthopairs given by refinements of coverings. In: Petrosino, A., Loia, V., Pedrycz, W. (eds.) WILF 2016. LNCS (LNAI), vol. 10147, pp. 95\u2013105. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-52962-2_8"},{"key":"3_CR20","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-319-66830-7_22","volume-title":"Advances in Fuzzy Logic and Technology 2017","author":"S Boffa","year":"2018","unstructured":"Boffa, S., Gerla, B.: Kleene algebras as sequences of orthopairs. In: Kacprzyk, J., Szmidt, E., Zadro\u017cny, S., Atanassov, K.T., Krawczak, M. (eds.) IWIFSGN\/EUSFLAT -2017. AISC, vol. 641, pp. 235\u2013248. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-66830-7_22"},{"doi-asserted-by":"crossref","unstructured":"Boffa, S., Gerla, B.: How to merge opinions by using operations between sequences of orthopairs. In: 2019 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE). IEEE (2019)","key":"3_CR21","DOI":"10.1109\/FUZZ-IEEE.2019.8859025"},{"issue":"4","key":"3_CR22","doi-asserted-by":"publisher","first-page":"279","DOI":"10.3792\/pja\/1195521624","volume":"43","author":"D Brignole","year":"1967","unstructured":"Brignole, D., Monteiro, A.: Caracterisation des alg\u00e8bres de nelson par des egalit\u00e9s. I. Proce. Japan Acad. 43(4), 279\u2013283 (1967)","journal-title":"Proce. Japan Acad."},{"issue":"4","key":"3_CR23","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1093\/logcom\/exn081","volume":"20","author":"M Busaniche","year":"2008","unstructured":"Busaniche, M., Cignoli, R.: Constructive logic with strong negation as a substructural logic. J. Logic Comput. 20(4), 761\u2013793 (2008)","journal-title":"J. Logic Comput."},{"issue":"4","key":"3_CR24","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1016\/j.ijar.2009.11.006","volume":"51","author":"S Calegari","year":"2010","unstructured":"Calegari, S., Ciucci, D.: Granular computing applied to ontologies. Int. J. Approx. Reason. 51(4), 391\u2013409 (2010)","journal-title":"Int. J. Approx. Reason."},{"key":"3_CR25","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"748","DOI":"10.1007\/978-3-319-91476-3_61","volume-title":"Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations","author":"A Campagner","year":"2018","unstructured":"Campagner, A., Ciucci, D.: Three-way and semi-supervised decision tree learning based on orthopartitions. In: Medina, J., et al. (eds.) IPMU 2018. CCIS, vol. 854, pp. 748\u2013759. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-91476-3_61"},{"key":"3_CR26","doi-asserted-by":"publisher","DOI":"10.1002\/0470011297","volume-title":"Concept Data Analysis: Theory and Applications","author":"C Carpineto","year":"2004","unstructured":"Carpineto, C., Romano, G.: Concept Data Analysis: Theory and Applications. Wiley, Hoboken (2004)"},{"issue":"4","key":"3_CR27","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/s00012-017-0433-4","volume":"77","author":"JL Castiglioni","year":"2017","unstructured":"Castiglioni, J.L., Celani, S.A., San Mart\u00edn, H.J.: Kleene algebras with implication. Algebra Universalis 77(4), 375\u2013393 (2017). https:\/\/doi.org\/10.1007\/s00012-017-0433-4","journal-title":"Algebra Universalis"},{"unstructured":"Celani, S.: Bounded distributive lattices with fusion and implication. Southeast Asian Bull. Math. 28(6) (2004)","key":"3_CR28"},{"key":"3_CR29","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"BF Chellas","year":"1980","unstructured":"Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)"},{"doi-asserted-by":"crossref","unstructured":"Cignoli, R.: Injective De Morgan and Kleene algebras. In: Proceedings of the American Mathematical Society, pp. 269\u2013278 (1975)","key":"3_CR30","DOI":"10.1090\/S0002-9939-1975-0357259-4"},{"issue":"3","key":"3_CR31","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/BF01230621","volume":"23","author":"R Cignoli","year":"1986","unstructured":"Cignoli, R.: The class of Kleene algebras satisfying an interpolation property and nelson algebras. Algebra Universalis 23(3), 262\u2013292 (1986). https:\/\/doi.org\/10.1007\/BF01230621","journal-title":"Algebra Universalis"},{"issue":"3\u20134","key":"3_CR32","doi-asserted-by":"publisher","first-page":"287","DOI":"10.3233\/FI-2011-424","volume":"108","author":"D Ciucci","year":"2011","unstructured":"Ciucci, D.: Orthopairs: a simple and widely used way to model uncertainty. Fundamenta Informaticae 108(3\u20134), 287\u2013304 (2011)","journal-title":"Fundamenta Informaticae"},{"issue":"3","key":"3_CR33","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/s41066-015-0013-y","volume":"1","author":"D Ciucci","year":"2016","unstructured":"Ciucci, D.: Orthopairs and granular computing. Granul. Comput. 1(3), 159\u2013170 (2016). https:\/\/doi.org\/10.1007\/s41066-015-0013-y","journal-title":"Granul. Comput."},{"key":"3_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-54756-0_1","volume-title":"Transactions on Rough Sets XVII","author":"D Ciucci","year":"2014","unstructured":"Ciucci, D., Dubois, D.: Three-valued logics, uncertainty management and rough sets. In: Peters, J.F., Skowron, A. (eds.) Transactions on Rough Sets XVII. LNCS, vol. 8375, pp. 1\u201332. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54756-0_1"},{"key":"3_CR35","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-319-11740-9_2","volume-title":"Rough Sets and Knowledge Technology","author":"D Ciucci","year":"2014","unstructured":"Ciucci, D., Mih\u00e1lyde\u00e1k, T., Csajb\u00f3k, Z.E.: On definability and approximations in partial approximation spaces. In: Miao, D., Pedrycz, W., \u015al\u0229zak, D., Peters, G., Hu, Q., Wang, R. (eds.) RSKT 2014. LNCS (LNAI), vol. 8818, pp. 15\u201326. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11740-9_2"},{"doi-asserted-by":"crossref","unstructured":"Ciucci, D., Yao, Y.: Advances in rough set theory (2011)","key":"3_CR36","DOI":"10.1007\/978-3-642-31900-6_62"},{"unstructured":"Crawford, J.M., Etherington, D.W.: A non-deterministic semantics for tractable inference. In: AAAI\/IAAI, pp. 286\u2013291 (1998)","key":"3_CR37"},{"key":"3_CR38","doi-asserted-by":"publisher","DOI":"10.4324\/9780203028100","volume-title":"A New Introduction to Modal Logic","author":"MJ Cresswell","year":"2012","unstructured":"Cresswell, M.J., Hughes, G.E.: A New Introduction to Modal Logic. Routledge, Abingdon (2012)"},{"issue":"42","key":"3_CR39","doi-asserted-by":"publisher","first-page":"5820","DOI":"10.1016\/j.tcs.2011.05.037","volume":"412","author":"Z Csajb\u00f3k","year":"2011","unstructured":"Csajb\u00f3k, Z.: Approximation of sets based on partial covering. Theoret. Comput. Sci. 412(42), 5820\u20135833 (2011)","journal-title":"Theoret. Comput. Sci."},{"issue":"8","key":"3_CR40","doi-asserted-by":"publisher","first-page":"1986","DOI":"10.1016\/j.ins.2007.11.011","volume":"178","author":"JH Dai","year":"2008","unstructured":"Dai, J.H.: Rough 3-valued algebras. Inf. Sci. 178(8), 1986\u20131996 (2008)","journal-title":"Inf. Sci."},{"key":"3_CR41","series-title":"Lecture Notes in Electrical Engineering","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1007\/978-981-13-1328-8_86","volume-title":"Advanced Multimedia and Ubiquitous Engineering","author":"C De Maio","year":"2019","unstructured":"De Maio, C., Boffa, S.: Discovery of interesting users in twitter by using rough sets. In: Park, J.J., Loia, V., Choo, K.-K.R., Yi, G. (eds.) MUE\/FutureTech -2018. LNEE, vol. 518, pp. 671\u2013677. Springer, Singapore (2019). https:\/\/doi.org\/10.1007\/978-981-13-1328-8_86"},{"key":"3_CR42","volume-title":"Handbook of Epistemic Logic","author":"H Ditmarsch","year":"2015","unstructured":"Ditmarsch, H., Halpern, J.Y., van der Hoek, W., Kooi, B.P.: Handbook of Epistemic Logic. College Publications, London (2015)"},{"issue":"2\u20133","key":"3_CR43","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1080\/03081079008935107","volume":"17","author":"D Dubois","year":"1990","unstructured":"Dubois, D., Prade, H.: Rough fuzzy sets and fuzzy rough sets. Int. J. Gener. Syst. 17(2\u20133), 191\u2013209 (1990)","journal-title":"Int. J. Gener. Syst."},{"key":"3_CR44","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/j.artint.2017.08.001","volume":"252","author":"D Dubois","year":"2017","unstructured":"Dubois, D., Prade, H., Schockaert, S.: Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty. Artif. Intell. 252, 139\u2013174 (2017)","journal-title":"Artif. Intell."},{"unstructured":"Dwinger, P., Balbes, R.: Distributive lattices (1974)","key":"3_CR45"},{"key":"3_CR46","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"R Fagin","year":"2004","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.: Reasoning About Knowledge. MIT Press, Cambridge (2004)"},{"issue":"2","key":"3_CR47","first-page":"89","volume":"7","author":"MM Fidel","year":"1978","unstructured":"Fidel, M.M.: An algebraic study of a propositional system of Nelson. Bull. Sect. Logic 7(2), 89 (1978)","journal-title":"Bull. Sect. Logic"},{"issue":"3","key":"3_CR48","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1016\/S0034-4257(97)00049-7","volume":"61","author":"MA Friedl","year":"1997","unstructured":"Friedl, M.A., Brodley, C.E.: Decision tree classification of land cover from remotely sensed data. Remote Sens. Environ. 61(3), 399\u2013409 (1997)","journal-title":"Remote Sens. Environ."},{"unstructured":"Fussner, W., Galatos, N.: Categories of models of r-mingle. arXiv preprint arXiv:1710.04256 (2017)","key":"3_CR49"},{"key":"3_CR50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59830-2","volume-title":"Formal Concept Analysis: Mathematical Foundations","author":"B Ganter","year":"2012","unstructured":"Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-59830-2"},{"unstructured":"Garson, J.: Modal logic. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, fall 2018 edn. (2018)","key":"3_CR51"},{"unstructured":"Golan, R.H., Ziarko, W.: A methodology for stock market analysis utilizing rough set theory. In: Proceedings of the IEEE\/IAFE Computational Intelligence for Financial Engineering, pp. 32\u201340. IEEE (1995)","key":"3_CR52"},{"key":"3_CR53","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-44236-5","volume-title":"Lattice Theory: Special Topics and Applications","author":"G Gr\u00e4tzer","year":"2016","unstructured":"Gr\u00e4tzer, G., Wehrung, F.: Lattice Theory: Special Topics and Applications. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-319-44236-5"},{"key":"3_CR54","series-title":"Series D: System Theory, Knowledge Engineering and Problem Solving","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-94-015-7975-9_1","volume-title":"Intelligent Decision Support","author":"JW Grzymala-Busse","year":"1992","unstructured":"Grzymala-Busse, J.W.: LERS-A system for learning from examples based on rough sets. In: S\u0142owi\u0144ski, R. (ed.) Intelligent Decision Support. Series D: System Theory, Knowledge Engineering and Problem Solving, pp. 3\u201318. Springer, Heidelberg (1992). https:\/\/doi.org\/10.1007\/978-94-015-7975-9_1"},{"key":"3_CR55","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511812866","volume-title":"Philosophy of Logics","author":"S Haack","year":"1978","unstructured":"Haack, S.: Philosophy of Logics. Cambridge University Press, Cambridge (1978)"},{"key":"3_CR56","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/79147.79161","volume":"37","author":"JY Halpern","year":"1990","unstructured":"Halpern, J.Y., Moses, Y.: Knowledge and common knowledge in a distributed environment. J. ACM (JACM) 37, 549\u2013587 (1990)","journal-title":"J. ACM (JACM)"},{"unstructured":"Hendricks, V.: New waves in epistemology (2008)","key":"3_CR57"},{"unstructured":"Hintikka, J.: Knowledge and Belief. An Introduction to the Logic of the Two Notions (1965)","key":"3_CR58"},{"key":"3_CR59","series-title":"Springer Undergraduate Texts in Philosophy","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/978-3-319-77434-3_17","volume-title":"Introduction to Formal Philosophy","author":"WH Holliday","year":"2018","unstructured":"Holliday, W.H.: Epistemic logic and epistemology. In: Hansson, S.O., Hendricks, V.F. (eds.) Introduction to Formal Philosophy. SUTP, pp. 351\u2013369. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-77434-3_17"},{"unstructured":"J\u00e4rvinen, J.: Knowledge representation and rough sets. Turku Centre for Computer Science (1999)","key":"3_CR60"},{"issue":"6","key":"3_CR61","doi-asserted-by":"publisher","first-page":"1419","DOI":"10.1016\/j.ijar.2013.12.005","volume":"55","author":"J J\u00e4rvinen","year":"2014","unstructured":"J\u00e4rvinen, J., Radeleczki, S.: Rough sets determined by tolerances. Int. J. Approx. Reason. 55(6), 1419\u20131438 (2014)","journal-title":"Int. J. Approx. Reason."},{"issue":"1","key":"3_CR62","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1017\/S1446788717000283","volume":"105","author":"J J\u00e4rvinen","year":"2018","unstructured":"J\u00e4rvinen, J., Radeleczki, S.: Representing regular pseudo complemented Kleene algebras by tolerance-based rough sets. J. Aust. Math. Soc. 105(1), 57\u201378 (2018)","journal-title":"J. Aust. Math. Soc."},{"issue":"2","key":"3_CR63","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1090\/S0002-9947-1958-0095135-X","volume":"87","author":"JA Kalman","year":"1958","unstructured":"Kalman, J.A.: Lattices with involution. Trans. Am. Math. Soc. 87(2), 485\u2013491 (1958)","journal-title":"Trans. Am. Math. Soc."},{"key":"3_CR64","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511529948","volume-title":"Bounded Arithmetic, Propositional Logic and Complexity Theory","author":"J Krajicek","year":"1995","unstructured":"Krajicek, J., Kraj\u00ed\u010dek, J., et al.: Bounded Arithmetic, Propositional Logic and Complexity Theory. Cambridge University Press, Cambridge (1995)"},{"issue":"7","key":"3_CR65","first-page":"795","volume":"40","author":"J Krysi\u0144ski","year":"1990","unstructured":"Krysi\u0144ski, J.: Rough sets approach to the analysis of the structure-activity relationship of quaternary imidazolium compounds. Arzneimittelforschung 40(7), 795\u2013799 (1990)","journal-title":"Arzneimittelforschung"},{"issue":"3\u20134","key":"3_CR66","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/S0020-0255(98)10065-8","volume":"113","author":"M Kryszkiewicz","year":"1999","unstructured":"Kryszkiewicz, M.: Rules in incomplete information systems. Inf. Sci. 113(3\u20134), 271\u2013292 (1999)","journal-title":"Inf. Sci."},{"issue":"3","key":"3_CR67","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1137\/0206033","volume":"6","author":"RE Ladner","year":"1977","unstructured":"Ladner, R.E.: The computational complexity of provability in systems of modal propositional logic. SIAM J. Comput. 6(3), 467\u2013480 (1977)","journal-title":"SIAM J. Comput."},{"key":"3_CR68","volume-title":"Symbolic Logic","author":"CI Lewis","year":"1959","unstructured":"Lewis, C.I., Langford, C.H., Lamprecht, P.: Symbolic Logic. Dover Publications, New York (1959)"},{"key":"3_CR69","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/BFb0057455","volume-title":"Artificial Intelligence: Methodology, Systems, and Applications","author":"C-J Liau","year":"1998","unstructured":"Liau, C.-J.: Modal reasoning and rough set theory. In: Giunchiglia, F. (ed.) AIMSA 1998. LNCS, vol. 1480, pp. 317\u2013330. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/BFb0057455"},{"key":"3_CR70","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/j.ins.2013.03.046","volume":"241","author":"G Lin","year":"2013","unstructured":"Lin, G., Liang, J., Qian, Y.: Multigranulation rough sets: from partition to covering. Inf. Sci. 241, 101\u2013118 (2013)","journal-title":"Inf. Sci."},{"key":"3_CR71","series-title":"Workshops in Computing","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/978-1-4471-3238-7_31","volume-title":"Rough Sets, Fuzzy Sets and Knowledge Discovery","author":"TY Lin","year":"1994","unstructured":"Lin, T.Y., Liu, Q.: Rough approximate operators: axiomatic rough set theory. In: Ziarko, W.P. (ed.) Rough Sets, Fuzzy Sets and Knowledge Discovery. Workshops in Computing, pp. 256\u2013260. Springer, Heidelberg (1994). https:\/\/doi.org\/10.1007\/978-1-4471-3238-7_31"},{"key":"3_CR72","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/978-3-319-25783-9_35","volume-title":"Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing","author":"Y Liu","year":"2015","unstructured":"Liu, Y., Xu, J., Sun, L., Du, L.: Decisions tree learning method based on three-way decisions. In: Yao, Y., Hu, Q., Yu, H., Grzymala-Busse, J.W. (eds.) RSFDGrC 2015. LNCS (LNAI), vol. 9437, pp. 389\u2013400. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-25783-9_35"},{"issue":"3","key":"3_CR73","doi-asserted-by":"publisher","first-page":"834","DOI":"10.2178\/jsl\/1191333844","volume":"72","author":"G Metcalfe","year":"2007","unstructured":"Metcalfe, G., Montagna, F.: Substructural fuzzy logics. J. Symb. Logic 72(3), 834\u2013864 (2007)","journal-title":"J. Symb. Logic"},{"key":"3_CR74","first-page":"1","volume":"22","author":"GC Moisil","year":"1935","unstructured":"Moisil, G.C.: Recherches sur l\u2019alg\u00e8bre de la logique. Ann. Sci. Univ. Jassy 22, 1\u2013117 (1935)","journal-title":"Ann. Sci. Univ. Jassy"},{"unstructured":"Monteiro, A.: Matrices de morgan caract\u00e9ristiques pour le calcul propositionnel classique (1963)","key":"3_CR75"},{"unstructured":"Monteiro, A.: Construction des alg\u00e9bres de Nelson finies. Univ. (1964)","key":"3_CR76"},{"unstructured":"Mrozek, A.: Rough sets and some aspects of expert systems realigation. The 7th International Workshop on Expert Systems and Application (1987)","key":"3_CR77"},{"unstructured":"Nation, J.B.: Notes on lattice theory. In: Cambridge Studies in Advanced Mathematics, vol. 60 (1998)","key":"3_CR78"},{"key":"3_CR79","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/3-540-16066-3_17","volume-title":"Computation Theory","author":"E Orlowska","year":"1985","unstructured":"Orlowska, E.: A logic of indiscernibility relations. In: Skowron, A. (ed.) SCT 1984. LNCS, vol. 208, pp. 177\u2013186. Springer, Heidelberg (1985). https:\/\/doi.org\/10.1007\/3-540-16066-3_17"},{"issue":"4","key":"3_CR80","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/0888-613X(88)90109-0","volume":"2","author":"E Orlowska","year":"1988","unstructured":"Orlowska, E.: Logical aspects of learning concepts. Int. J. Approx. Reason. 2(4), 349\u2013364 (1988)","journal-title":"Int. J. Approx. Reason."},{"key":"3_CR81","series-title":"Studies in Fuzziness and Soft Computing","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":"1998","unstructured":"Pagliani, P.: Rough set theory and logic-algebraic structures. In: Orlowska, E. (ed.) Incomplete information: Rough set analysis. Studies in Fuzziness and Soft Computing, vol. 13, pp. 109\u2013190. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/978-3-7908-1888-8_6"},{"key":"3_CR82","volume-title":"Rough-Fuzzy Hybridization: A New Trend in Decision Making","author":"SK Pal","year":"1999","unstructured":"Pal, S.K., Skowron, A.: Rough-Fuzzy Hybridization: A New Trend in Decision Making. Springer, New York (1999)"},{"issue":"5","key":"3_CR83","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/BF01001956","volume":"11","author":"Z Pawlak","year":"1982","unstructured":"Pawlak, Z.: Rough sets. Int. J. Comput. Inf. Sci. 11(5), 341\u2013356 (1982). https:\/\/doi.org\/10.1007\/BF01001956","journal-title":"Int. J. Comput. Inf. Sci."},{"key":"3_CR84","series-title":"(Series D: System Theory, Knowledge Engineering and Problem Solving)","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/978-94-011-3534-4_2","volume-title":"Rough sets. Theory and Decision Library","author":"Z Pawlak","year":"1991","unstructured":"Pawlak, Z.: Imprecise categories, approximations and rough sets. In: Pawlak, Z. (ed.) Rough sets. Theory and Decision Library. (Series D: System Theory, Knowledge Engineering and Problem Solving), pp. 9\u201332. Springer, Heidelberg (1991). https:\/\/doi.org\/10.1007\/978-94-011-3534-4_2"},{"unstructured":"Polkowski, L.: Rough Sets in Knowledge Discovery 2: Applications, Case Studies and Software Systems, vol. 19. Physica (2013)","key":"3_CR85"},{"doi-asserted-by":"crossref","unstructured":"Priestley, H.: Ordered sets and duality for distributive lattices. In: North-Holland Mathematics Studies, vol. 99, pp. 39\u201360. Elsevier (1984)","key":"3_CR86","DOI":"10.1016\/S0304-0208(08)73814-3"},{"unstructured":"Rasiowa, H.: N-lattices and constructive logic with strong negation (1969)","key":"3_CR87"},{"unstructured":"Rasiowa, H.: An algebraic approach to non-classical logics, vol. 78. North-Holland, Amsterdam (1974)","key":"3_CR88"},{"doi-asserted-by":"crossref","unstructured":"Rasiowa, H.: Rough concepts and multiple valued logic. In: Proceedings of the 16th ISMVL, vol. 86, pp. 282\u2013288 (1986)","key":"3_CR89","DOI":"10.1007\/3-540-16066-3_24"},{"unstructured":"Reeves, S., Clarke, M.: Logic for Computer Science. International Computer Science Series (1990)","key":"3_CR90"},{"doi-asserted-by":"crossref","unstructured":"Shi, K.: S-rough sets and its applications in diagnosis-recognition for disease. In: 2002 International Conference on Machine Learning and Cybernetics, Proceedings, vol. 1, pp. 50\u201354. IEEE (2002)","key":"3_CR91","DOI":"10.1109\/ICMLC.2002.1176707"},{"doi-asserted-by":"crossref","unstructured":"Skowron, A., Stepaniuk, J.: Tolerance approximation spaces. Fundamenta Informaticae 27(2,3), 245\u2013253 (1996)","key":"3_CR92","DOI":"10.3233\/FI-1996-272311"},{"issue":"2","key":"3_CR93","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1109\/69.842271","volume":"12","author":"R Slowinski","year":"2000","unstructured":"Slowinski, R., Vanderpooten, D.: A generalized definition of rough approximations based on similarity. IEEE Trans. Knowl. Data Eng. 12(2), 331\u2013336 (2000)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"issue":"1","key":"3_CR94","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1002\/j.1099-1174.1995.tb00078.x","volume":"4","author":"R Slowinski","year":"1995","unstructured":"Slowinski, R., Zopounidis, C.: Application of the rough set approach to evaluation of bankruptcy risk. Intell. Syst. Account. Finan. Manag. 4(1), 27\u201341 (1995)","journal-title":"Intell. Syst. Account. Finan. Manag."},{"unstructured":"Snyder, D.P.: Modal logic and its applications (1971)","key":"3_CR95"},{"unstructured":"Soboci\u0144ski, B.: Axiomatization of a partial system of three-value calculus of propositions. Institute of Applied Logic (1952)","key":"3_CR96"},{"issue":"3","key":"3_CR97","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/s11225-008-9113-x","volume":"88","author":"M Spinks","year":"2008","unstructured":"Spinks, M., Veroff, R.: Constructive logic with strong negation is a substructural logic. I. Studia Logica 88(3), 325\u2013348 (2008). https:\/\/doi.org\/10.1007\/s11225-008-9113-x","journal-title":"Studia Logica"},{"unstructured":"Tripathy, B., Acharjya, D., Cynthya, V.: A framework for intelligent medical diagnosis using rough set with formal concept analysis. arXiv preprint arXiv:1301.6011 (2013)","key":"3_CR98"},{"issue":"1\u20132","key":"3_CR99","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/BF02121118","volume":"36","author":"D Vakarelov","year":"1977","unstructured":"Vakarelov, D.: Notes on n-lattices and constructive logic with strong negation. Stud. Logica 36(1\u20132), 109\u2013125 (1977). https:\/\/doi.org\/10.1007\/BF02121118","journal-title":"Stud. Logica"},{"issue":"3","key":"3_CR100","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1090\/S0002-9947-1939-1501995-3","volume":"45","author":"M Ward","year":"1939","unstructured":"Ward, M., Dilworth, R.P.: Residuated lattices. Trans. Am. Math. Soc. 45(3), 335\u2013354 (1939)","journal-title":"Trans. Am. Math. Soc."},{"unstructured":"Whitesitt, J.E.: Boolean Algebra and its Applications. Courier Corporation (1995)","key":"3_CR101"},{"key":"3_CR102","series-title":"Studies in Fuzziness and Soft Computing","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-7908-1825-3_7","volume-title":"Data Mining and Computational Intelligence","author":"SB Yahia","year":"2001","unstructured":"Yahia, S.B., Jaoua, A.: Discovering knowledge from fuzzy concept lattice. In: Kandel, A., Last, M., Bunke, H. (eds.) Data Mining and Computational Intelligence. Studies in Fuzziness and Soft Computing, pp. 167\u2013190. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/978-3-7908-1825-3_7"},{"key":"3_CR103","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"642","DOI":"10.1007\/978-3-642-02962-2_81","volume-title":"Rough Sets and Knowledge Technology","author":"Y Yao","year":"2009","unstructured":"Yao, Y.: Three-way decision: an interpretation of rules in rough set theory. In: Wen, P., Li, Y., Polkowski, L., Yao, Y., Tsumoto, S., Wang, G. (eds.) RSKT 2009. LNCS (LNAI), vol. 5589, pp. 642\u2013649. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02962-2_81"},{"key":"3_CR104","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/978-3-319-25754-9_6","volume-title":"Rough Sets and Knowledge Technology","author":"Y Yao","year":"2015","unstructured":"Yao, Y.: Rough sets and three-way decisions. In: Ciucci, D., Wang, G., Mitra, S., Wu, W.-Z. (eds.) RSKT 2015. LNCS (LNAI), vol. 9436, pp. 62\u201373. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-25754-9_6"},{"issue":"4","key":"3_CR105","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/S0888-613X(96)00071-0","volume":"15","author":"Y Yao","year":"1996","unstructured":"Yao, Y.: Two views of the theory of rough sets in finite universes. Int. J. Approx. Reason. 15(4), 291\u2013317 (1996)","journal-title":"Int. J. Approx. Reason."},{"issue":"2","key":"3_CR106","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1080\/10798587.1996.10750660","volume":"2","author":"Y Yao","year":"1996","unstructured":"Yao, Y., Lin, T.Y.: Generalization of rough sets using modal logics. Intell. Autom. Soft Comput. 2(2), 103\u2013119 (1996)","journal-title":"Intell. Autom. Soft Comput."},{"issue":"22","key":"3_CR107","doi-asserted-by":"publisher","first-page":"4997","DOI":"10.1016\/j.ins.2007.05.037","volume":"177","author":"W Zhu","year":"2007","unstructured":"Zhu, W.: Generalized rough sets based on relations. Inf. Sci. 177(22), 4997\u20135011 (2007)","journal-title":"Inf. Sci."},{"key":"3_CR108","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/S0020-0255(03)00056-2","volume":"152","author":"W Zhu","year":"2003","unstructured":"Zhu, W., Wang, F.Y.: Reduction and axiomization of covering generalized rough sets. Inf. Sci. 152, 217\u2013230 (2003)","journal-title":"Inf. Sci."},{"issue":"1","key":"3_CR109","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0022-0000(93)90048-2","volume":"46","author":"W Ziarko","year":"1993","unstructured":"Ziarko, W.: Variable precision rough set model. J. Comput. Syst. Sci. 46(1), 39\u201359 (1993)","journal-title":"J. Comput. Syst. Sci."}],"container-title":["Lecture Notes in Computer Science","Transactions on Rough Sets XXII"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-62798-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,19]],"date-time":"2024-08-19T08:33:27Z","timestamp":1724056407000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-62798-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783662627976","9783662627983"],"references-count":109,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-62798-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"17 December 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}