{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:21:46Z","timestamp":1755220906749,"version":"3.43.0"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[1997,1]]},"DOI":"10.1023\/a:1004900200790","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T15:24:14Z","timestamp":1040484254000},"page":"143-184","source":"Crossref","is-referenced-by-count":8,"title":["Towards a Rough Mereology-Based Logic for Approximate Solution Synthesis. Part 1"],"prefix":"10.1007","volume":"58","author":[{"given":"Jan","family":"Komorowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lech T.","family":"Polkowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrzej","family":"Skowron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"126261_CR1","first-page":"563","volume-title":"PANEL on AI and Design","author":"S. Amarel","year":"1991","unstructured":"Amarel, S., 1991, PANEL on AI and Design, IJCAI-91, San Mateo, Morgan Kaufmann, 563-565."},{"key":"126261_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2078-5","volume-title":"Boolean reasoning","author":"E. M. Brown","year":"1990","unstructured":"Brown, E. M., 1990, Boolean reasoning, Kluwer, Dordrecht."},{"key":"126261_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"B. Chellas","year":"1980","unstructured":"Chellas, B., 1980, Modal Logic: An Introduction, Cambridge, University Press."},{"key":"126261_CR4","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1305\/ndjfl\/1093883455","volume":"22","author":"B. L. Clarke","year":"1981","unstructured":"Clarke, B. L., 1981, 'A calculus of individuals based on \u201cConnection\u201d', Notre Dame Journal of Formal Logic\n22, 204-218.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"126261_CR5","first-page":"61","volume":"26","author":"B. L. Clarke","year":"1985","unstructured":"Clarke, B. L., 1985, 'Individuals and points', Notre Dame Journal of Formal Logic\n26, 61-75.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"126261_CR6","volume-title":"Readings in Fuzzy Sets for Intelligent Systems","author":"D. Dubois","year":"1993","unstructured":"Dubois, D., Prade H., Yager R. R., 1993, Readings in Fuzzy Sets for Intelligent Systems, Morgan Kaufmann, San Mateo."},{"key":"126261_CR7","unstructured":"Hugies, G. E., Cresswell H. J., 1968, An Introduction to Modal Logic, Methuen."},{"key":"126261_CR8","unstructured":"Le\u015aniewski, S., 1916, Foundations of the general theory of sets (in Polish), Moscow; eng. transl. in: Surma, Srzednicki, Barnett, Rickey (eds.), Stanislaw Le\u015bniewski, Collected Works, Kluwer, Dordrecht 1992, 128\u2013173."},{"key":"126261_CR9","first-page":"164","volume":"30","author":"S. Le\u015aniewski","year":"1927","unstructured":"Le\u015aniewski, S., 1927, 'On the foundations of Mathematics', Ch.I\u2013III, (in Polish), Przegl\u0105d Filozoficzny\n30, 164-206, eng. transl. in [SSBR; 175\u2013226].","journal-title":"Przegl\u0105d Filozoficzny"},{"key":"126261_CR10","first-page":"261","volume":"31","author":"S. Le\u015aniewski","year":"1928","unstructured":"Le\u015aniewski, S., 1928, 'On the foundations of Mathematics', Ch.IV, (in Polish), Przegl\u0105d Filozoficzny\n31, 261-291, eng. transl. in [SSBR; 227\u2013263].","journal-title":"Przegl\u0105d Filozoficzny"},{"key":"126261_CR11","first-page":"60","volume":"32","author":"S. Le\u015aniewski","year":"1929","unstructured":"Le\u015aniewski, S., 1929, 'On the foundations of Mathematics', Ch.V, (in Polish), Przegl\u0105d Filozoficzny\n32, 60-101, eng. transl. in [SSBR; 264\u2013314].","journal-title":"Przegl\u0105d Filozoficzny"},{"key":"126261_CR12","first-page":"77","volume":"33","author":"S. Le\u015aniewski","year":"1930","unstructured":"Le\u015aniewski, S., 1930, 'On the foundations of Mathematics', Ch.VI\u2013IX, (in Polish), Przegl\u0105d Filozoficzny\n33, 77-105; eng. transl. in [SSBR; 315\u2013349].","journal-title":"Przegl\u0105d Filozoficzny"},{"key":"126261_CR13","first-page":"142","volume":"34","author":"S. Le\u015aniewski","year":"1931","unstructured":"Le\u015aniewski, S., 1931, 'On the foundations of Mathematics', Ch.X\u2013XI, (in Polish), Przegl\u0105d Filozoficzny\n34, 142-170, eng. transl. in [SSBR; 350\u2013382].","journal-title":"Przegl\u0105d Filozoficzny"},{"key":"126261_CR14","doi-asserted-by":"crossref","unstructured":"Low, B. T., 1993, 'Neural-logic belief networks \u2014 a tool for knowledge representation and reasoning', Proc. of the 5-th IEEE International Conference on Tools with Artificial Intelligence, Boston, 34-37.","DOI":"10.1109\/TAI.1993.633933"},{"key":"126261_CR15","first-page":"731","volume":"6","author":"E. Marczewski","year":"1958","unstructured":"Marczewski, E., 1958, 'A general scheme of independence in mathematics', Bull. Acad. Polon. Sci., Ser. Sci. Math. Astronom. Phys.\n6, 731-736.","journal-title":"Bull. Acad. Polon. Sci., Ser. Sci. Math. Astronom. Phys."},{"key":"126261_CR16","unstructured":"Matheron, G., 1975, Random sets and integral geometry, Wiley."},{"key":"126261_CR17","volume-title":"Introduction to mathematical logic","author":"E. Mendelson","year":"1964","unstructured":"Mendelson, E., 1964, Introduction to mathematical logic, Van Nostrand-Reinhold, New York."},{"key":"126261_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-3534-4","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, Dordrecht, Kluwer."},{"key":"126261_CR19","unstructured":"Pawlak, Z., Skowron A., 1993, 'A rough set approach for decision rules generation', ICS Research Report 23\/93, Warsaw University of Technology, Proc. of the IJCAI'93 Workshop: The Management of Uncertainty in AI, France, 1993."},{"key":"126261_CR20","first-page":"251","volume-title":"Advances in the Dempster-Shafer Theory of Evidence","author":"Z. Pawlak","year":"1994","unstructured":"Pawlak, Z., Skowron A., 1994, 'Rough membership functions', In: M. Fedrizzi, J. Kacprzyk and R. R. Yager (eds.): Advances in the Dempster-Shafer Theory of Evidence, New York, John Wiley and Sons, 251-271."},{"key":"126261_CR21","unstructured":"Pearl, J., 1988, 'Probabilistic reasoning in intelligent systems', Networks of Plausible Beliefs, Morgan Kaufmann."},{"key":"126261_CR22","series-title":"Lecture Notes in Artificial Intelligence","first-page":"85","volume-title":"Proc. of the International Symp. on Methodologies for Intelligent Systems, Charlotte, NC, October 16\u201319, 1994","author":"L. Polkowski","year":"1994","unstructured":"Polkowski, L., Skowron A., 1994, 'Rough mereology', Proc. of the International Symp. on Methodologies for Intelligent Systems, Charlotte, NC, October 16\u201319, 1994, Lecture Notes in Artificial Intelligence\n869, Springer-Verlag, Berlin, 85-94."},{"key":"126261_CR23","unstructured":"Polkowski, L., Skowron A., 1994, 'Logic of rough inclusion. Rough mereological functions. Rough functions', ICS Research Report 12\/94, Institute of Computer Sci., Warsaw University of Technology."},{"key":"126261_CR24","unstructured":"Polkowski, L., Skowron A., 1994, 'Introducing rough mereological controllers. Rough quality control', Conference Proceedings RSSC'94: The Third International Workshop on Rough Sets and Soft Computing, San Jose State University, CA, November 10\u201312, 78-85."},{"key":"126261_CR25","unstructured":"Polkowski, L., Skowron A., 1994, 'Adaptive decision-making by systems of cooperating intelligent agents organized on rough mereological principles', ICS Research Report 71\/94, Warsaw University of Technology."},{"key":"126261_CR26","volume-title":"Image Analysis and Mathematical Morphology","author":"J. Serra","year":"1992","unstructured":"Serra, J., 1992, Image Analysis and Mathematical Morphology, Academic Press, New York."},{"key":"126261_CR27","doi-asserted-by":"crossref","unstructured":"Shafer, G., 1976, Mathematical Theory of Evidence, Princeton University Press.","DOI":"10.1515\/9780691214696"},{"key":"126261_CR28","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01064627","volume":"48","author":"G. Shafer","year":"1981","unstructured":"Shafer, G., 1981, 'Constructive probability', Synthese\n48, 1-60.","journal-title":"Synthese"},{"key":"126261_CR29","volume-title":"Readings in Uncertainty Reasoning","author":"G. Shafer","year":"1990","unstructured":"Shafer, G., Pearl J., 1990, Readings in Uncertainty Reasoning, Morgan Kaufmann, San Mateo."},{"key":"126261_CR30","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/978-94-015-7975-9_21","volume-title":"Intelligent Decision Support. Handbook of Applications and Advances of the Rough Sets Theory","author":"A. Skowron","year":"1992","unstructured":"Skowron, A., and Rauszer C., 1992, 'The Discernibility Matrices and Functions in Information Systems', In: R. Slowi\u0144ski (ed.): Intelligent Decision Support. Handbook of Applications and Advances of the Rough Sets Theory, Kluwer, Dordrecht, 331-362."},{"key":"126261_CR31","unstructured":"Skowron, A., 1993, 'Boolean reasoning for decision rules generation', Proceedings of the 7-th International Symposium ISMIS'93, Trondheim, Norway 1993, In: J. Komorowski and Z. Ras (eds.): Lecture Notes in Artificial Intelligence\n689, Springer-Verlag, 295-305."},{"key":"126261_CR32","unstructured":"Skowron, A., 1993, 'A synthesis of decision rules: Applications of discernibility matrices', Proc. of the Conf. Intelligent Information Systems, August\u00f3w, June 7\u201311, 30-46."},{"key":"126261_CR33","first-page":"193","volume-title":"Advances in the Dempster-Shafer Theory of Evidence","author":"A. Skowron","year":"1994","unstructured":"Skowron, A., Grzymal\u0141a-Busse J., 1994, 'From rough set theory to evidence theory', In: Advances in the Dempster-Shafer Theory of Evidence, R. R. Yager, M. Fedrizzi, J. Kacprzyk (eds.), John Wiley & Sons, New York, 193-236."},{"key":"126261_CR34","unstructured":"Skowron, A., Polkowski L., 'Adaptive decision algorithms', Proc. of the Int. Conf. on Intelligent Systems, August\u00f3w 1994 (in print.)"},{"key":"126261_CR35","unstructured":"Skowron, A., Polkowski L., 1994, 'Analytical Morphology: Mathematical Morphology of Decision Tables', ICS Research Report 22\/94, Warsaw University of Technology."},{"key":"126261_CR36","series-title":"LNCS","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0014269","volume-title":"Computer \u2014 Aided Cooperative Product Development","author":"D. Sriram","year":"1991","unstructured":"Sriram, D., Logcher R., Fukuda S., 1991, Computer \u2014 Aided Cooperative Product Development, LNCS 492, Springer-Verlag, Berlin Heidelberg."},{"volume-title":"Intelligent Decision Support. Handbook of Applications and Advances of the Rough Sets Theory","year":"1992","key":"126261_CR37","unstructured":"S\u0141owi\u0143ski, R., 1992, (ed.), Intelligent Decision Support. Handbook of Applications and Advances of the Rough Sets Theory, Dordrecht: Kluwer."},{"key":"126261_CR38","unstructured":"Surma, S. J., Srzednicki J. T., Barnett D. I., Rickey V. F., 1992, (eds.): Stanislaw Le\u015bniewski, Collected Works, Kluwer-Polisch Scientific Publishers, Dordrecht-Warsaw."},{"key":"126261_CR39","doi-asserted-by":"crossref","first-page":"177","DOI":"10.4064\/fm-24-1-177-198","volume":"24","author":"A. Tarski","year":"1935","unstructured":"Tarski, A., 1935, 'Zur Grundlegung der Booleschen Algebra. I', Fundamenta Mathematicae, 24, 177-198, eng. transl. in [Wo; 320\u2013341].","journal-title":"Fundamenta Mathematicae"},{"key":"126261_CR40","volume-title":"The Axiomatic Methodin Biology","author":"A. Tarski","year":"1937","unstructured":"Tarski, A., 1937, 'Appendix E', in: Woodger, J. H., The Axiomatic Methodin Biology, Cambridge U. Press, Cambridge."},{"key":"126261_CR41","volume-title":"An Enquiry Concerning the Principles of Natural Knowledge","author":"A. N. Whitehead","year":"1919","unstructured":"Whitehead, A. N., 1919, An Enquiry Concerning the Principles of Natural Knowledge, Cambridge U. Press, Cambridge."},{"key":"126261_CR42","unstructured":"Yager, R. R., Fedrizzi, M., Kacprzyk, J., 1994, Advances in the Dempster-Shafer Theory of Evidence, Wiley."},{"key":"126261_CR43","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"L. A. Zadeh","year":"1965","unstructured":"Zadeh, L. A., 1965, Fuzzy sets, Information and Control\n8, 338-353.","journal-title":"Fuzzy sets, Information and Control"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004900200790.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1004900200790\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004900200790.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:23:33Z","timestamp":1754630613000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1004900200790"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":43,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,1]]}},"alternative-id":["126261"],"URL":"https:\/\/doi.org\/10.1023\/a:1004900200790","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1997,1]]}}}