{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T23:40:16Z","timestamp":1738366816188,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":46,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540875628"},{"type":"electronic","value":"9783540875635"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-87563-5_5","type":"book-chapter","created":{"date-parts":[[2008,9,15]],"date-time":"2008-09-15T05:54:32Z","timestamp":1221458072000},"page":"84-99","source":"Crossref","is-referenced-by-count":3,"title":["Rough Logic and Its Reasoning"],"prefix":"10.1007","author":[{"given":"Qing","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lan","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5-6","key":"5_CR1","first-page":"253","volume":"35","author":"Z. Pawlak","year":"1987","unstructured":"Pawlak, Z.: Rough logic. Bull. of Polish Acad. of Sci.\u00a035(5-6), 253\u2013259 (1987)","journal-title":"Bull. of Polish Acad. of Sci."},{"key":"5_CR2","volume-title":"Rough sets-theoretical aspects of reasoning about data","author":"Z. Pawlak","year":"1991","unstructured":"Pawlak, Z.: Rough sets-theoretical aspects of reasoning about data. Kluwer Academic Publishers, Dordrecht (1991)"},{"key":"5_CR3","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 indicernibility relation. In: Skowron, A. (ed.) SCT 1984. LNCS, vol.\u00a0208, pp. 177\u2013186. Springer, Heidelberg (1985)"},{"key":"5_CR4","unstructured":"Chakraborty, M.K., Banerjee, M.: Rough logic with rough quantifiers. Warsaw University of Technology, ICS Research Report 49\/93 (1993)"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1016\/S0888-613X(96)00075-8","volume":"15","author":"A. Nakamura","year":"1996","unstructured":"Nakamura, A.: A rough logic based on incomplete information and its applications. International Journal of Approximate Reasoning\u00a015, 367\u2013378 (1996)","journal-title":"International Journal of Approximate Reasoning"},{"key":"5_CR6","unstructured":"Nakamura, A., Matsueda, M.: Rough logic on incomplete knowledge systems. In: Lin, T.Y. (ed.) Proceedings of the third International workshop on Rough Sets and Soft Computing (RSSC 1994), San Jose State University, San Jose, California, USA, pp. 56\u201364 (1994)"},{"key":"5_CR7","first-page":"192","volume-title":"Rough Sets Knowledge Discovery1","author":"A. Nakamura","year":"1998","unstructured":"Nakamura, A.: Graded modalitiesin rough logic. In: Polkowski, L., Skowron, A. (eds.) Rough Sets Knowledge Discovery1, pp. 192\u2013208. Physica-Verlag, Heidelberg (1998)"},{"issue":"5","key":"5_CR8","first-page":"435","volume":"21","author":"Q. Liu","year":"1998","unstructured":"Liu, Q.: Operator rough logic and its resolution principle. Chinese Journal of Computer\u00a021(5), 435\u2013476 (1998) (In Chinese)","journal-title":"Chinese Journal of Computer"},{"key":"5_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1007\/3-540-69115-4_59","volume-title":"Rough Sets and Current Trends in Computing","author":"Q. Liu","year":"1998","unstructured":"Liu, Q.: The OI-Resolution of Operator Rough Logic. In: Polkowski, L., Skowron, A. (eds.) RSCTC 1998. LNCS (LNAI), vol.\u00a01424, pp. 432\u2013435. Springer, Heidelberg (1998)"},{"key":"5_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1007\/978-3-540-48061-7_42","volume-title":"New Directions in Rough Sets, Data Mining, and Granular-Soft Computing","author":"Q. Liu","year":"1999","unstructured":"Liu, Q.: The resolution for rough propositional logic with lower(L) and upper(H) approximate operators. In: Zhong, N., Skowron, A., Ohsuga, S. (eds.) RSFDGrC 1999. LNCS (LNAI), vol.\u00a01711, pp. 352\u2013356. Springer, Heidelberg (1999)"},{"key":"5_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1007\/11548669_73","volume-title":"Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing","author":"Q. Liu","year":"2005","unstructured":"Liu, Q., Wang, Q.Y.: Granular logic with Closeness Relation and Its Reasoning. In: \u015al\u0119zak, D., Wang, G., Szczuka, M., D\u00fcntsch, I., Yao, Y. (eds.) RSFDGrC 2005. LNCS (LNAI), vol.\u00a03641, pp. 709\u2013717. Springer, Heidelberg (2005)"},{"issue":"2-3","key":"5_CR12","doi-asserted-by":"crossref","first-page":"137","DOI":"10.3233\/FI-1996-272303","volume":"27","author":"T.Y. Lin","year":"1996","unstructured":"Lin, T.Y., Liu, Q.: First-order rough logic I: Approximate reasoning via rough sets. Fundamenta Informaticae\u00a027(2-3), 137\u2013154 (1996)","journal-title":"Fundamenta Informaticae"},{"key":"5_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-540-48061-7_35","volume-title":"New Directions in Rough Sets, Data Mining, and Granular-Soft Computing","author":"Y. Yao","year":"1999","unstructured":"Yao, Y., Liu, Q.: A Generalized Decision Logic in Interval-Set-Valued Information table. In: Zhong, N., Skowron, A., Ohsuga, S. (eds.) RSFDGrC 1999. LNCS (LNAI), vol.\u00a01711, pp. 285\u2013293. Springer, Heidelberg (1999)"},{"key":"5_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"462","DOI":"10.1007\/3-540-45554-X_57","volume-title":"Rough Sets and Current Trends in Computing","author":"Q. Liu","year":"2001","unstructured":"Liu, Q.: \u03bb-Level Rough Quality Relation and the Inference of Rough Paramodulation. In: Ziarko, W., Yao, Y. (eds.) RSCTC 2000. LNCS (LNAI), vol.\u00a02005, pp. 462\u2013469. Springer, Heidelberg (2001)"},{"key":"5_CR15","volume-title":"Symbolic logic and machine theorem proving","author":"C.L. Chang","year":"1993","unstructured":"Chang, C.L., Lee, R.C.T.: Symbolic logic and machine theorem proving. Academic Press, London (1993)"},{"key":"5_CR16","unstructured":"Liu, X.H.: Fuzzy Logic and Fuzzy Reseaning. Press Of Jilin University (1989)"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-71200-8_1","volume-title":"Transactions on Rough Sets VI","author":"M. Banerjee","year":"2007","unstructured":"Banerjee, M., Khan, A.: Propositional Logic from Rough Set Theory. 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.\u00a04374, pp. 1\u201325. Springer, Heidelberg (2007)"},{"key":"5_CR18","volume-title":"Logic for Mathematicans","author":"A.G. Hamilton","year":"1980","unstructured":"Hamilton, A.G.: Logic for Mathematicans. Cambridge University Press, Cambridge (1980)"},{"issue":"3","key":"5_CR19","first-page":"415","volume":"12","author":"Q. Liu","year":"2001","unstructured":"Liu, Q., Liu, S.H., Zheng, F.: Rough Logic and Its Applications in Data Mining. Journal of Software\u00a012(3), 415\u2013419 (2001) (In Chinese)","journal-title":"Journal of Software"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/3-540-16066-3_24","volume-title":"Computation Theory","author":"H. Rasiowa","year":"1985","unstructured":"Rasiowa, H., Skowron, A.: Rough concepts logic. In: Skowron, A. (ed.) SCT 1984. LNCS, vol.\u00a0208, pp. 288\u2013297. Springer, Heidelberg (1985)"},{"key":"5_CR21","first-page":"8","volume-title":"Rough Sets and Rough Reseaning (Third)","author":"Q. Liu","year":"2005","unstructured":"Liu, Q.: Rough Sets and Rough Reseaning (Third), p. 8. Science Press, Beijing (2005) (In Chinese)"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Liu, Q.: Granular Language and Its Reasoning, Data Mining and Knowledge Discovery: Theory, Tools, and Technology V. In: Proceeding of SPIE-The International Society for Optical Engineering, Orlando, Florida, USA, April 21-22, pp. 279\u2013287 (2003)","DOI":"10.1117\/12.509163"},{"key":"5_CR23","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/11795131_14","volume-title":"Rough Sets and Knowledge Technology","author":"Q. Liu","year":"2006","unstructured":"Liu, Q., Sun, H.: Theoretical Study of Granular Computing. In: Wang, G.-Y., Peters, J.F., Skowron, A., Yao, Y. (eds.) RSKT 2006. LNCS (LNAI), vol.\u00a04062, pp. 93\u2013102. Springer, Heidelberg (2006)"},{"issue":"7","key":"5_CR24","first-page":"865","volume":"27","author":"Q. Liu","year":"2004","unstructured":"Liu, Q., Huang, Z.H.: G-Logic and Resolution Reasoning. Chinese Journal of Computer\u00a027(7), 865\u2013873 (2004) (In Chinese)","journal-title":"Chinese Journal of Computer"},{"key":"5_CR25","unstructured":"Hobbs, J.R.: Granularity. In: Proceedings of IJCAI, Los Angeles, pp. 432\u2013435 (1985)"},{"issue":"4","key":"5_CR26","first-page":"546","volume":"41","author":"Q. Liu","year":"2004","unstructured":"Liu, Q., Liu, Q.: Granules and Applications of Granular Computing in Logical Reseaning. Research and Development of Computer\u00a041(4), 546\u2013551 (2004) (In Chinese)","journal-title":"Research and Development of Computer"},{"key":"5_CR27","series-title":"LNAI","first-page":"413","volume-title":"Design and Implement for the Diagnosis Software of Blood Viscosity Syndrome Based on Hemorheology on GrC","author":"Q. Liu","year":"2003","unstructured":"Liu, Q., Jiang, F., Deng, D.Y.: Design and Implement for the Diagnosis Software of Blood Viscosity Syndrome Based on Hemorheology on GrC. LNCS (LNAI), vol.\u00a02639, pp. 413\u2013420. Springer, Berlin (2003)"},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"Kripke, S.: Semantic Analysis of Modal Logic. In: Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik, pp. 67\u201396 (1963)","DOI":"10.1002\/malq.19630090502"},{"key":"5_CR29","first-page":"393","volume-title":"Proceedings of IEEE GrC 2005","author":"Q. Liu","year":"2006","unstructured":"Liu, Q., Wang, J.Y.: Semantic Analysis of Rough Logical Formulas Based on Granular Computing. In: Proceedings of IEEE GrC 2005, pp. 393\u2013396. IEEE, Los Alamitos (2006)"},{"key":"5_CR30","unstructured":"Zhang, B., Zhang, L.: Theory and Applications for Problem Solving. Publisher of Tsinghua University (1990) (In Chinese)"},{"issue":"2","key":"5_CR31","first-page":"22","volume":"25","author":"L. Polkwski","year":"2006","unstructured":"Polkwski, L.: A Calculus on Granules from Rough inclusions in Information Systems, The Proceedings of International Forum on Theory of GrC from Rough Set Perspective. Journal of Nanchang Institute of Technology\u00a025(2), 22\u201327 (2006)","journal-title":"Journal of Nanchang Institute of Technology"},{"key":"5_CR32","unstructured":"Lin, T.Y.: From Rough Sets and Neighborhood Systems to Information Granulation and Computing in Words. In: European Congress on Intelligent Techniques and Soft Computing, pp. 1602\u20131606 (1997)"},{"issue":"2","key":"5_CR33","first-page":"22","volume":"25","author":"Y.Y. Yao","year":"2006","unstructured":"Yao, Y.Y.: Three Perspectives of Granular Computing, The Proceedings of International Forum on Theory of GrC from Rough Set Perspective. Journal of Nanchang Institute of Technology\u00a025(2), 22\u201327 (2006)","journal-title":"Journal of Nanchang Institute of Technology"},{"key":"5_CR34","first-page":"1258","volume-title":"The Proceedings of ICMLS 2002","author":"Q. Liu","year":"2002","unstructured":"Liu, Q., Liu, Q.: Approximate Reasoning Based on Granular Computing in Granular Logic. In: The Proceedings of ICMLS 2002, November 4-6, pp. 1258\u20131262. IEEE, Los Alamitos (2002)"},{"key":"5_CR35","first-page":"121","volume-title":"Rough Sets in Knowledge Discovery","author":"T.Y. Lin","year":"1998","unstructured":"Lin, T.Y.: Granular Computing on Binary Relations II: Rough Set Representations and Belief Functions. In: Skowron, A., Polkowski, L. (eds.) Rough Sets in Knowledge Discovery, pp. 121\u2013140. Physica-Verlag, Berlin (1998)"},{"key":"5_CR36","volume-title":"Introduction for mathematical logic","author":"X.J. Wang","year":"1982","unstructured":"Wang, X.J.: Introduction for mathematical logic. Press. Of Beijing Uni., Beijing (1982)"},{"issue":"2","key":"5_CR37","first-page":"22","volume":"25","author":"Y. Lin","year":"2006","unstructured":"Lin, Y.: Granular Computing on Partitions, Coverings Neighborhood Systems, The Proceedings of International Forum on Theory of GrC from Rough Set Perspective. Journal of Nanchang Institute of Technology\u00a025(2), 22\u201327 (2006)","journal-title":"Journal of Nanchang Institute of Technology"},{"issue":"2","key":"5_CR38","first-page":"22","volume":"25","author":"A. Skowron","year":"2006","unstructured":"Skowron, A.: Rough-Granular Computing, The Proceedings of International Forum on Theory of GrC from Rough Set Perspective. Journal of Nanchang Institute of Technology\u00a025(2), 22\u201327 (2006)","journal-title":"Journal of Nanchang Institute of Technology"},{"key":"5_CR39","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1002\/1098-111X(200101)16:1<87::AID-INT7>3.0.CO;2-S","volume":"16","author":"Y.Y. Yao","year":"2001","unstructured":"Yao, Y.Y.: Information granulation and rough set approximation. International Journal of Intelligence Systems\u00a016, 87\u2013104 (2001)","journal-title":"International Journal of Intelligence Systems"},{"issue":"2","key":"5_CR40","first-page":"48","volume":"25","author":"J.H. Dai","year":"2006","unstructured":"Dai, J.H.: Axis Problem of Rough 3-Valued Algebras, The Proceedings of International Forum on Theory of GrC from Rough Set Perspective (IFTGrCRSP 2006), Nanchang, China. Journal of Nanchang Institute of Technology\u00a025(2), 48\u201351 (2006)","journal-title":"Journal of Nanchang Institute of Technology"},{"key":"5_CR41","doi-asserted-by":"crossref","unstructured":"Liu, G.L.: The Topological Structure of Rough Sets over Fuzzy Lattices. In: Proceedings of IEEE International Conference on Granular Computing, Beijing, China, July 25-27, vol.\u00a0I, pp. 535\u2013538 (2005)","DOI":"10.1109\/GRC.2005.1547349"},{"issue":"5","key":"5_CR42","doi-asserted-by":"publisher","first-page":"603","DOI":"10.1080\/03081070500096010","volume":"34","author":"D.W. Pei","year":"2005","unstructured":"Pei, D.W.: A Generalized Model of Fuzzy Rough Sets. Int. J. General Systems\u00a034(5), 603\u2013613 (2005)","journal-title":"Int. J. General Systems"},{"key":"5_CR43","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/3-540-45813-1_43","volume-title":"Proceedings of the International Conference on Rough Sets and Current Trends in Computing","author":"J.T. Yao","year":"2002","unstructured":"Yao, J.T., Yao, Y.Y.: Induction of classification rules by granular computing. In: Proceedings of the International Conference on Rough Sets and Current Trends in Computing, pp. 331\u2013338. Springer, Berlin (2002)"},{"key":"5_CR44","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/11548669_11","volume-title":"Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing","author":"D.Q. Miao","year":"2005","unstructured":"Miao, D.Q.: Rough Group, Rough Subgroup and their Properties. In: \u015al\u0119zak, D., Wang, G., Szczuka, M., D\u00fcntsch, I., Yao, Y. (eds.) RSFDGrC 2005. LNCS (LNAI), vol.\u00a03641, Part I, pp. 104\u2013113. Springer, Heidelberg (2005)"},{"key":"5_CR45","unstructured":"Wu, W.Z.: Rough Set Approximations VS. Measurable Space. In: 2005 Proceedings of IEEE International Conference on Granular Computing, Atlanta, Georgia, USA, pp. 329\u2013332 (2006)"},{"issue":"5","key":"5_CR46","first-page":"1","volume":"25","author":"Q. Liu","year":"2006","unstructured":"Liu, Q., Sun, H.: Studying direction of granular computimg from rough set perspective of development. Journal of Nanchang Institute Technology\u00a025(5), 1\u201310 (2006) (In Chinese)","journal-title":"Journal of Nanchang Institute Technology"}],"container-title":["Lecture Notes in Computer Science","Transactions on Computational Science II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87563-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T23:01:02Z","timestamp":1738364462000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87563-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540875628","9783540875635"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87563-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}