{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:22:11Z","timestamp":1760170931321},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2015,3,13]],"date-time":"2015-03-13T00:00:00Z","timestamp":1426204800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int. J. Mach. Learn. & Cyber."],"published-print":{"date-parts":[[2017,4]]},"DOI":"10.1007\/s13042-015-0344-7","type":"journal-article","created":{"date-parts":[[2015,3,12]],"date-time":"2015-03-12T05:26:31Z","timestamp":1426137991000},"page":"537-546","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["On the structure of metric spaces related to pre-rough logic"],"prefix":"10.1007","volume":"8","author":[{"given":"Yanhong","family":"She","sequence":"first","affiliation":[]},{"given":"Xiaoli","family":"He","sequence":"additional","affiliation":[]},{"given":"Lina","family":"Ma","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,3,13]]},"reference":[{"issue":"3","key":"344_CR1","doi-asserted-by":"crossref","first-page":"211","DOI":"10.3233\/FI-1996-283401","volume":"28","author":"M Banerjee","year":"1996","unstructured":"Banerjee M, Chakraborty MK (1996) Rough sets through algebraic logic. Fundam Inform 28(3):211\u2013221","journal-title":"Fundam Inform"},{"issue":"3","key":"344_CR2","doi-asserted-by":"crossref","first-page":"213","DOI":"10.3233\/FI-1997-313401","volume":"31","author":"M Banerjee","year":"1997","unstructured":"Banerjee M (1997) Rough sets and 3-valued Lukasiewicz logic. Fundam Inform 31(3):213\u2013220","journal-title":"Fundam Inform"},{"key":"344_CR3","doi-asserted-by":"crossref","unstructured":"Bunder MW, Banerjee M, Chakraborty MK (2008) Some rough consequence logics and their interrelations. In: Transactions on rough sets VIII. Springer, Berlin, pp 1\u201320","DOI":"10.1007\/978-3-540-85064-9_1"},{"key":"344_CR4","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn P, De Rijke M, Venema Y (2001) Modal Logic. Cambridge University Press, Cambridge"},{"key":"344_CR5","first-page":"77","volume":"2475","author":"G Cattaneo","year":"2002","unstructured":"Cattaneo G, Ciucci D (2002) Heyting Wajsberg algebras an an abstract environment linking fuzzy and rough sets. Lect Notes Artif Intell 2475:77\u201384","journal-title":"Lect Notes Artif Intell"},{"issue":"2","key":"344_CR6","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1109\/TKDE.2011.220","volume":"25","author":"HM Chen","year":"2013","unstructured":"Chen HM, Li TR, Ruan D et al (2013) A rough set based incremental approach for updating approximations under dynamic maintenance environments. IEEE Trans Knowl Data Eng 25(2):274\u2013284","journal-title":"IEEE Trans Knowl Data Eng"},{"issue":"1","key":"344_CR7","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1016\/S0304-3975(96)00334-9","volume":"179","author":"I Duntsch","year":"1997","unstructured":"Duntsch I (1997) A logic for rough sets. Theor Comput Sci 179(1):427\u2013436","journal-title":"Theor Comput Sci"},{"key":"344_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04997-6","volume-title":"Orlowska, incomplete information: structure, inference, complexity","author":"S Demri","year":"2002","unstructured":"Demri S, Orlowska E (2002) Orlowska, incomplete information: structure, inference, complexity. Springer, Berlin"},{"key":"344_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-2360-3","volume-title":"First-order logic and automated theorem proving","author":"M Fitting","year":"1996","unstructured":"Fitting M (1996) First-order logic and automated theorem proving. Springer, Berlin"},{"key":"344_CR10","volume-title":"A treatise on many-valued logics","author":"S Gottwald","year":"2001","unstructured":"Gottwald S (2001) A treatise on many-valued logics. Research Studies Press, Baldock"},{"key":"344_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of fuzzy logic","author":"P Hajek","year":"1998","unstructured":"Hajek P (1998) Metamathematics of fuzzy logic. Springer, Berlin"},{"key":"344_CR12","volume-title":"General topology","author":"JL Kelley","year":"1975","unstructured":"Kelley JL (1975) General topology. Springer, Berlin"},{"issue":"6","key":"344_CR13","doi-asserted-by":"crossref","first-page":"721","DOI":"10.1007\/s13042-013-0150-z","volume":"4","author":"JH Li","year":"2013","unstructured":"Li JH, Mei CL, Kumar CA, Zhang X (2013) On rule acquisition in decision formal contexts. Int J Mach Learn Cybernet 4(6):721\u2013731","journal-title":"Int J Mach Learn Cybernet"},{"issue":"2","key":"344_CR14","doi-asserted-by":"crossref","first-page":"294","DOI":"10.1109\/TKDE.2012.146","volume":"26","author":"JY Liang","year":"2014","unstructured":"Liang JY, Wang F, Dang CY, Qian YH (2014) A group incremental approach to feature selection applying rough set technique. IEEE Trans Knowl Data Eng 26(2):294\u2013308","journal-title":"IEEE Trans Knowl Data Eng"},{"issue":"4","key":"344_CR15","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1016\/S0888-613X(96)00075-8","volume":"15","author":"A Nakamura","year":"1996","unstructured":"Nakamura A (1996) A rough logic based on incomplete information and its application. Int J Approx Reason 15(4):367\u2013378","journal-title":"Int J Approx Reason"},{"key":"344_CR16","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/BF01001956","volume":"11","author":"Z Pawlak","year":"1982","unstructured":"Pawlak Z (1982) Rough sets. Int J Comput Inf Sci 11:341\u2013356","journal-title":"Int J Comput Inf Sci"},{"key":"344_CR17","volume-title":"Rough sets theoretical aspects of reasoning about data","author":"Z Pawlak","year":"1991","unstructured":"Pawlak Z (1991) Rough sets theoretical aspects of reasoning about data. Kluwer Academic Publiser, London"},{"issue":"1","key":"344_CR18","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1016\/S0377-2217(96)00382-7","volume":"99","author":"Z Pawlak","year":"1997","unstructured":"Pawlak Z (1997) Rough set approach to knowledge-based decision suport. Euro J Operat Res 99(1):48\u201357","journal-title":"Euro J Operat Res"},{"issue":"7","key":"344_CR19","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1080\/019697298125470","volume":"29","author":"Z Pawlak","year":"1998","unstructured":"Pawlak Z (1998) Rough set theory and its applications to data analysis. Cybernet Syst Int J 29(7):661\u2013688","journal-title":"Cybernet Syst Int J"},{"key":"344_CR20","doi-asserted-by":"crossref","unstructured":"Pawlak Z, Polkowski L, Skowron A (2000) Rough sets and rough logic: a KDD perspective. In: Rough set methods and applications. Physica-Verlag HD, pp 583\u2013646","DOI":"10.1007\/978-3-7908-1840-6_13"},{"key":"344_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-8622-9","volume-title":"A geometry of approximation: rough set theory: logic","author":"P Pagliani","year":"2008","unstructured":"Pagliani P, Chakraborty MK (2008) A geometry of approximation: rough set theory: logic. Springer, Algebra and Topology of Conceptual Patterns"},{"issue":"1","key":"344_CR22","doi-asserted-by":"crossref","first-page":"67","DOI":"10.3233\/FI-2011-393","volume":"107","author":"YH She","year":"2011","unstructured":"She YH, He XL, Wang GJ (2011) Rough truth degrees of formulas and approximate reasoning in rough logic. Fundam Inform 107(1):67\u201383","journal-title":"Fundam Inform"},{"issue":"1","key":"344_CR23","doi-asserted-by":"crossref","first-page":"486","DOI":"10.1016\/j.ijar.2013.10.001","volume":"55","author":"YH She","year":"2014","unstructured":"She YH (2014) On the rough consistency measures of logic theories and approximate reasoning in rough logic. Int J Approx Reason 55(1):486\u2013499","journal-title":"Int J Approx Reason"},{"key":"344_CR24","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/j.ins.2014.02.005","volume":"277","author":"YH She","year":"2014","unstructured":"She YH, He XL (2014) Rough approximation operators on $$R_{0}$$ R 0 -algebras (nilpotent minimum algebras) with an application in formal logic $$\\cal l$$ l . Inf Sci 277:71\u201389","journal-title":"Inf Sci"},{"key":"344_CR25","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1016\/j.ins.2014.06.004","volume":"282","author":"A Saha","year":"2014","unstructured":"Saha A, Sen J, Chakraborty MK (2014) Algebraic structures in the vicinity of pre-rough algebra and their logics. Inf Sci 282:296\u2013320","journal-title":"Inf Sci"},{"key":"344_CR26","volume-title":"Introduction to mathematical logic and resolution principle","author":"GJ Wang","year":"2010","unstructured":"Wang GJ, Zhou HJ (2010) Introduction to mathematical logic and resolution principle. Alpha Science Interlatinal Limited, Oxford"},{"key":"344_CR27","unstructured":"Wang GJ (2008) Non-classical mathematical logic and approximate reasoning (Second edition), Science Press (in Chinese)"},{"issue":"4","key":"344_CR28","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1007\/s13042-013-0204-2","volume":"5","author":"YH Zhai","year":"2014","unstructured":"Zhai YH, Li DY, Qu KS (2014) Decision implications: a logical point of view. Int J Mach Learn Cybernet 5(4):509\u2013516","journal-title":"Int J Mach Learn Cybernet"}],"container-title":["International Journal of Machine Learning and Cybernetics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13042-015-0344-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13042-015-0344-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13042-015-0344-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13042-015-0344-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,30]],"date-time":"2020-08-30T19:04:16Z","timestamp":1598814256000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13042-015-0344-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,3,13]]},"references-count":28,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,4]]}},"alternative-id":["344"],"URL":"https:\/\/doi.org\/10.1007\/s13042-015-0344-7","relation":{},"ISSN":["1868-8071","1868-808X"],"issn-type":[{"value":"1868-8071","type":"print"},{"value":"1868-808X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,3,13]]}}}