{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T21:31:22Z","timestamp":1767907882104,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540711988","type":"print"},{"value":"9783540712008","type":"electronic"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"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":[[2007]]},"DOI":"10.1007\/978-3-540-71200-8_1","type":"book-chapter","created":{"date-parts":[[2007,5,21]],"date-time":"2007-05-21T13:30:21Z","timestamp":1179754221000},"page":"1-25","source":"Crossref","is-referenced-by-count":33,"title":["Propositional Logics from Rough Set Theory"],"prefix":"10.1007","author":[{"given":"Mohua","family":"Banerjee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Md. Aquil","family":"Khan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/978-3-642-18859-6_7","volume-title":"Rough-neuro Computing: Techniques for Computing with Words","author":"M. Banerjee","year":"2004","unstructured":"Banerjee, M., Chakraborty, M.K.: Algebras from rough sets. In: Pal, S.K., Polkowski, L., Skowron, A. (eds.) Rough-neuro Computing: Techniques for Computing with Words, pp. 157\u2013184. Springer, Heidelberg (2004)"},{"key":"1_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":"1_CR3","first-page":"253","volume":"35","author":"Z. Pawlak","year":"1987","unstructured":"Pawlak, Z.: Rough logic. Bull. Polish Acad. Sc (Tech. Sc.)\u00a035, 253\u2013258 (1987)","journal-title":"Bull. Polish Acad. Sc. (Tech. Sc.)"},{"issue":"2","key":"1_CR4","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/BF00935602","volume":"49","author":"Ewa Or\u0142owska","year":"1990","unstructured":"Or\u0142owska, E.: Kripke semantics for knowledge representation logics. Studia Logica XLIX, 255\u2013272 (1990)","journal-title":"Studia Logica"},{"issue":"4","key":"1_CR5","first-page":"299","volume":"41","author":"M.K. Chakraborty","year":"1993","unstructured":"Chakraborty, M.K., Banerjee, M.: Rough consequence. Bull. Polish Acad. Sc(Math.)\u00a041(4), 299\u2013304 (1993)","journal-title":"Bull. Polish Acad. Sc.(Math.)"},{"key":"1_CR6","doi-asserted-by":"crossref","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. Intelligent Automation and Soft Computing\u00a02, 103\u2013120 (1996)","journal-title":"Intelligent Automation and Soft Computing"},{"issue":"3,4","key":"1_CR7","doi-asserted-by":"crossref","first-page":"211","DOI":"10.3233\/FI-1996-283401","volume":"28","author":"M. Banerjee","year":"1996","unstructured":"Banerjee, M., Chakraborty, M.K.: Rough sets through algebraic logic. Fundamenta Informaticae\u00a028(3,4), 211\u2013221 (1996)","journal-title":"Fundamenta Informaticae"},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1016\/S0304-3975(96)00334-9","volume":"179","author":"I. D\u00fcntsch","year":"1997","unstructured":"D\u00fcntsch, I.: A logic for rough sets. Theoretical Computer Science\u00a0179, 427\u2013436 (1997)","journal-title":"Theoretical Computer Science"},{"key":"1_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/11548669_15","volume-title":"Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing","author":"J.H. Dai","year":"2005","unstructured":"Dai, J.H.: Logic for rough sets with rough double Stone algebraic semantics. In: \u015al\u0119zak, D., et al. (eds.) RSFDGrC 2005. LNCS (LNAI), vol.\u00a03641, Springer, Heidelberg (2005)"},{"issue":"2-3","key":"1_CR10","doi-asserted-by":"crossref","first-page":"139","DOI":"10.3233\/FUN-2006-712-301","volume":"71","author":"M. Banerjee","year":"2006","unstructured":"Banerjee, M.: Logic for rough truth. Fundamenta Informaticae\u00a071(2-3), 139\u2013151 (2006)","journal-title":"Fundamenta Informaticae"},{"key":"1_CR11","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1016\/0304-3975(85)90046-5","volume":"36","author":"L. Farinas Del Cerro","year":"1997","unstructured":"Farinas Del Cerro, L., Or\u0142owska, E.: DAL \u2013 a logic for data analysis. Theoretical Computer Science\u00a036, 251\u2013264 (1997)","journal-title":"Theoretical Computer Science"},{"key":"1_CR12","first-page":"255","volume-title":"Artificial Intelligence II","author":"D. Vakarelov","year":"1987","unstructured":"Vakarelov, D.: Abstract characterization of some knowledge representation systems and the logic NIL of nondeterministic information. In Jorrand, P., Sgurev, V., eds.: Artificial Intelligence II. North-Holland (1987) 255\u2013260"},{"key":"1_CR13","doi-asserted-by":"crossref","first-page":"61","DOI":"10.3233\/FI-1991-15105","volume":"15","author":"D. Vakarelov","year":"1991","unstructured":"Vakarelov, D.: A modal logic for similarity relations in Pawlak knowledge representation systems. Fundamenta Informaticae\u00a015, 61\u201379 (1991)","journal-title":"Fundamenta Informaticae"},{"key":"1_CR14","first-page":"433","volume":"90","author":"D. Vakarelov","year":"1991","unstructured":"Vakarelov, D.: Modal logics for knowledge representation systems. Theoretical Computer Science\u00a090, 433\u2013456 (1991)","journal-title":"Theoretical Computer Science"},{"key":"1_CR15","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 application. Int. J. Approximate Reasoning\u00a015, 367\u2013378 (1996)","journal-title":"Int. J. Approximate Reasoning"},{"key":"1_CR16","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0304-3975(84)90010-0","volume":"29","author":"E. Or\u0142owska","year":"1984","unstructured":"Or\u0142owska, E., Pawlak, Z.: Representation of nondeterministic information. Theoretical Computer Science\u00a029, 27\u201339 (1984)","journal-title":"Theoretical Computer Science"},{"key":"1_CR17","doi-asserted-by":"crossref","first-page":"243","DOI":"10.3233\/FUN-2002-503-401","volume":"50","author":"D. Vakarelov","year":"2002","unstructured":"Vakarelov, D., Balbiani, P.: A modal logic for indiscernibilty and complementarity in information systems. Fundamenta Informaticae\u00a050, 243\u2013263 (2002)","journal-title":"Fundamenta Informaticae"},{"key":"1_CR18","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/BF00370813","volume":"1","author":"E. Or\u0142owska","year":"1985","unstructured":"Or\u0142owska, E.: Logic of nondeterministic information. Studia Logica\u00a01, 91\u2013100 (1985)","journal-title":"Studia Logica"},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/3-540-16066-3_17","volume-title":"Computation Theory","author":"E. Or\u0142owska","year":"1985","unstructured":"Or\u0142owska, E.: Logic of indiscernibility relations. In: Skowron, A. (ed.) Computation Theory. LNCS, vol.\u00a0208, pp. 177\u2013186. Springer, Heidelberg (1985)"},{"key":"1_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/3-540-58095-6_12","volume-title":"Knowledge Representation and Reasoning Under Uncertainty","author":"C.M. Rauszer","year":"1994","unstructured":"Rauszer, C.M.: Rough logic for multiagent systems. In: Masuch, M., Polos, L. (eds.) Knowledge Representation and Reasoning Under Uncertainty. LNCS, vol.\u00a0808, pp. 161\u2013181. Springer, Heidelberg (1994)"},{"key":"1_CR21","first-page":"248","volume-title":"Rough Sets in Knowledge Discovery 1: Methodology and Applications","author":"J. Stepaniuk","year":"1998","unstructured":"Stepaniuk, J.: Rough relations and logics. In: Polkowski, L., Skowron, A. (eds.) Rough Sets in Knowledge Discovery 1: Methodology and Applications, pp. 248\u2013260. Physica-Verlag, Heidelberg (1998)"},{"key":"1_CR22","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/978-3-642-18859-6_12","volume-title":"Rough-neuro Computing: Techniques for Computing with Words","author":"J. Ma\u0142uszy\u0144ski","year":"2004","unstructured":"Ma\u0142uszy\u0144ski, J., Vit\u00f3ria, A.: Toward rough datalog: embedding rough sets in prolog. In: Pal, S.K., Polkowski, L., Skowron, A. (eds.) Rough-neuro Computing: Techniques for Computing with Words, pp. 297\u2013332. Springer, Berlin (2004)"},{"issue":"4","key":"1_CR23","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/S0888-613X(96)00072-2","volume":"15","author":"L. Polkowski","year":"1997","unstructured":"Polkowski, L., Skowron, A.: Rough mereology: a new paradigm for approximate reasoning. Int. J. Approximate Reasoning\u00a015(4), 333\u2013365 (1997)","journal-title":"Int. J. Approximate Reasoning"},{"key":"1_CR24","series-title":"Studies in Fuzziness and Soft Computing","first-page":"276","volume-title":"Incomplete Information: Rough Set Analysis","author":"S.K.M. Wong","year":"1998","unstructured":"Wong, S.K.M.: A rough set model for reasoning about knowledge. In: Or\u0142owska, E. (ed.) Incomplete Information: Rough Set Analysis. Studies in Fuzziness and Soft Computing, vol.\u00a013, pp. 276\u2013285. Physica-Verlag, Heidelberg (1998)"},{"key":"1_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/11847465_2","volume-title":"Transactions on Rough Sets V","author":"M. Banerjee","year":"2006","unstructured":"Banerjee, M.: Rough belief change. In: Peters, J.F., Skowron, A. (eds.) Transactions on Rough Sets V. LNCS, vol.\u00a04100, pp. 25\u201338. Springer, Heidelberg (2006)"},{"key":"1_CR26","volume-title":"Rough Sets, Fuzzy Sets and Knowledge Discovery, Proc. Int. Workshop on Rough Sets and Knowledge Discovery (RSKD\u201993). Workshops in Computing","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, Proc. Int. Workshop on Rough Sets and Knowledge Discovery (RSKD\u201993). Workshops in Computing, Springer, London (1994)"},{"key":"1_CR27","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/S0020-0255(98)00012-7","volume":"109","author":"Y. Yao","year":"1998","unstructured":"Yao, Y.: Constructive and algebraic methods of the theory of rough sets. Information Sciences\u00a0109, 21\u201347 (1998)","journal-title":"Information Sciences"},{"key":"1_CR28","unstructured":"Pomyka\u0142a, J.: Approximation, similarity and rough construction. Preprint CT\u201393\u201307, ILLC Prepublication Series, University of Amsterdam (1993)"},{"key":"1_CR29","first-page":"3","volume-title":"Rough Fuzzy Hybridization: A New Trend in Decision-Making","author":"J. Komorowski","year":"1999","unstructured":"Komorowski, J., et al.: Rough sets: a tutorial. In: Pal, S.K., Skowron, A. (eds.) Rough Fuzzy Hybridization: A New Trend in Decision-Making, pp. 3\u201398. Springer, Singapore (1999)"},{"key":"1_CR30","volume-title":"An Algebraic Approach to Non-classical Logics","author":"H. Rasiowa","year":"1974","unstructured":"Rasiowa, H.: An Algebraic Approach to Non-classical Logics. North Holland, Amsterdam (1974)"},{"key":"1_CR31","doi-asserted-by":"crossref","first-page":"213","DOI":"10.3233\/FI-1997-313401","volume":"32","author":"M. Banerjee","year":"1997","unstructured":"Banerjee, M.: Rough sets and 3-valued \u0141ukasiewicz logic. Fundamenta Informaticae\u00a032, 213\u2013220 (1997)","journal-title":"Fundamenta Informaticae"},{"key":"1_CR32","series-title":"Studies in Fuzziness and Soft Computing","doi-asserted-by":"crossref","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: Or\u0142owska, E. (ed.) Incomplete Information: Rough Set Analysis. Studies in Fuzziness and Soft Computing, vol.\u00a013, pp. 109\u2013190. Physica-Verlag, Heidelberg (1998)"},{"key":"1_CR33","series-title":"Studies in Fuzziness and Soft Computing","first-page":"596","volume-title":"Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa","author":"L. Iturrioz","year":"1999","unstructured":"Iturrioz, L.: Rough sets and three-valued structures. In: Or\u0142owska, E. (ed.) Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa. Studies in Fuzziness and Soft Computing, vol.\u00a024, pp. 596\u2013603. Physica-Verlag, Heidelberg (1999)"},{"key":"1_CR34","volume-title":"\u0141ukasiewicz-Moisil Algebras","author":"V. Boicescu","year":"1991","unstructured":"Boicescu, V., et al.: \u0141ukasiewicz-Moisil Algebras. North Holland, Amsterdam (1991)"},{"key":"1_CR35","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/BF01200492","volume":"34","author":"S. Comer","year":"1995","unstructured":"Comer, S.: Perfect extensions of regular double Stone algebras. Algebra Universalis\u00a034, 96\u2013109 (1995)","journal-title":"Algebra Universalis"},{"key":"1_CR36","unstructured":"Andr\u00e9ka, H., N\u00e9meti, I., Sain, I.: Abstract model theoretic approach to algebraic logic. CCSOM working paper, Department of Statistics and Methodology, University of Amsterdam (1992)"},{"issue":"5","key":"1_CR37","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. Comp. Inf. Sci.\u00a011(5), 341\u2013356 (1982)","journal-title":"Int. J. Comp. Inf. Sci."},{"key":"1_CR38","doi-asserted-by":"publisher","first-page":"605","DOI":"10.1109\/GRC.2005.1547363","volume-title":"Proc. 2005 IEEE Conf. on Granular Computing","author":"P. Pagliani","year":"2005","unstructured":"Pagliani, P., Chakraborty, M.K.: Information quanta and approximation spaces I: non-classical approximation operators. In: Proc. 2005 IEEE Conf. on Granular Computing, pp. 605\u2013610. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"1_CR39","unstructured":"Pawlak, Z.: Rough relations. ICS PAS Reports 435 (1981)"},{"key":"1_CR40","doi-asserted-by":"crossref","first-page":"245","DOI":"10.3233\/FI-1996-272311","volume":"27","author":"A. Skowron","year":"1996","unstructured":"Skowron, A., Stepaniuk, J.: Tolerance approximation spaces. Fundamenta Informaticae\u00a027, 245\u2013253 (1996)","journal-title":"Fundamenta Informaticae"},{"key":"1_CR41","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/11795131_13","volume-title":"Rough Sets and Knowledge Technology","author":"L. Polkowski","year":"2006","unstructured":"Polkowski, L.: Rough mereological reasoning in rough set theory: recent results and problems. In: Wang, G.-Y., et al. (eds.) RSKT 2006. LNCS (LNAI), vol.\u00a04062, Springer, Heidelberg (2006)"},{"key":"1_CR42","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF01058531","volume":"54","author":"N.C.A. Costa da","year":"1995","unstructured":"da Costa, N.C.A., Doria, F.A.: On Ja\u015bkowski\u2019s discussive logics. Studia Logica\u00a054, 33\u201360 (1995)","journal-title":"Studia Logica"}],"container-title":["Lecture Notes in Computer Science","Transactions on Rough Sets VI"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71200-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T14:35:37Z","timestamp":1737038137000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71200-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540711988","9783540712008"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71200-8_1","relation":{},"ISSN":["1861-2059","1861-2067"],"issn-type":[{"value":"1861-2059","type":"print"},{"value":"1861-2067","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007]]}}}