{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:07:23Z","timestamp":1761620843061,"version":"3.41.2"},"reference-count":68,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2003,8,1]],"date-time":"2003-08-01T00:00:00Z","timestamp":1059696000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,8,1]],"date-time":"2003-08-01T00:00:00Z","timestamp":1059696000000},"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":["Journal of Philosophical Logic"],"published-print":{"date-parts":[[2003,8]]},"DOI":"10.1023\/a:1024895012224","type":"journal-article","created":{"date-parts":[[2003,9,16]],"date-time":"2003-09-16T15:30:35Z","timestamp":1063726235000},"page":"357-390","source":"Crossref","is-referenced-by-count":32,"title":["Mereotopological Connection"],"prefix":"10.1007","volume":"32","author":[{"given":"Anthony G.","family":"Cohn","sequence":"first","affiliation":[]},{"given":"Achille C.","family":"Varzi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5113545_CR1","first-page":"846","volume-title":"Proceedings of the 14th International Joint Conference on Artificial Intelligence","author":"N. Asher","year":"1995","unstructured":"Asher, N. and Vieu, L.: Toward a geometry of common sense: A semantics and a complete axiomatization of mereotopology, in Proceedings of the 14th International Joint Conference on Artificial Intelligence, Morgan Kaufmann, San Mateo, CA, 1995, pp. 846\u2013852."},{"key":"5113545_CR2","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1515\/9783110872576.393","volume-title":"The Semantics of Prepositions: From Mental Processing to Natural Language Processing","author":"M. Aurnague","year":"1993","unstructured":"Aurnague, M. and Vieu, L.: A three-level approach to the semantics of space, in C. Z. Wibbelt (ed.), The Semantics of Prepositions: From Mental Processing to Natural Language Processing, Mouton de Gruyter, Berlin, 1993, pp. 393\u2013439."},{"key":"5113545_CR3","first-page":"337","volume-title":"Proceedings of the Fifth European Workshop on Logics in Artificial Intelligence (JELIA'96)","author":"B. Bennett","year":"1996","unstructured":"Bennett, B.: Carving up space: Steps towards the construction of an absolutely complete theory of spatial regions, in J. J. Alfres, L. M. Pereira and E. Orlowska (eds), Proceedings of the Fifth European Workshop on Logics in Artificial Intelligence (JELIA'96), Springer, Berlin, 1996, pp. 337\u2013353."},{"key":"5113545_CR4","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1305\/ndjfl\/1093635748","volume":"32","author":"L. Biacino","year":"1991","unstructured":"Biacino, L. and Gerla, G.: Connection structures, Notre Dame J. Formal Logic\n32 (1991), 242\u2013247.","journal-title":"Notre Dame J. Formal Logic"},{"key":"5113545_CR5","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1305\/ndjfl\/1039886519","volume":"37","author":"L. Biacino","year":"1996","unstructured":"Biacino, L. and Gerla, G.: Connection structures: Grzegorczyk's and Whitehead's definitions of point, Notre Dame J. Formal Logic\n37 (1996), 431\u2013439.","journal-title":"Notre Dame J. Formal Logic"},{"key":"5113545_CR6","volume-title":"Paradoxien des Unendlichen","author":"B. Bolzano","year":"1851","unstructured":"Bolzano, B.: Paradoxien des Unendlichen, Reclam, Leipzig, 1851 (Engl. transl. by D. A. Steele, Paradoxes of the Infinite, Routledge & Kegan Paul, London, (1950)."},{"key":"5113545_CR7","first-page":"220","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference","author":"S. Borgo","year":"1996","unstructured":"Borgo, S., Guarino, N. and Masolo, C.: A pointless theory of space based on strong connection and congruence, in L. Aiello, J. Doyle and S. Shapiro (eds), Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference, Morgan Kaufmann, San Francisco, CA, 1996, pp. 220\u2013229."},{"key":"5113545_CR8","volume-title":"Philosophische Untersuchungen zu Raum, Zeit und Kontinuum","author":"F. Brentano","year":"1976","unstructured":"Brentano, F.: Philosophische Untersuchungen zu Raum, Zeit und Kontinuum, eds. S. K\u00f6rner and R. M. Chisholm, Meiner, Hamburg, 1976 (Engl. transl. by B. Smith, Philosophical Investigations on Space, Time and the Continuum, Croom Helm, London, 1988)."},{"key":"5113545_CR9","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/978-94-010-9098-8_9","volume-title":"Analysis and Metaphysics","author":"R. Cartwright","year":"1975","unstructured":"Cartwright, R.: Scattered objects, in K. Lehrer (ed.), Analysis and Metaphysics, Reidel, Dordrecht, 1975, pp. 153\u2013171."},{"key":"5113545_CR10","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3555.001.0001","volume-title":"Holes and Other Superficialities","author":"R. Casati","year":"1994","unstructured":"Casati, R. and Varzi, A. C.: Holes and Other Superficialities, MIT Press\/Bradford Books, Cambridge, MA, and London, 1994."},{"key":"5113545_CR11","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/BF00364776","volume":"82","author":"R. Casati","year":"1996","unstructured":"Casati, R. and Varzi, A. C.: The structure of spatial localization, Philos. Stud.\n82 (1996), 205\u2013239.","journal-title":"Philos. Stud."},{"key":"5113545_CR12","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5253.001.0001","volume-title":"Parts and Places. The Structures of Spatial Representation","author":"R. Casati","year":"1999","unstructured":"Casati, R. and Varzi, A. C.: Parts and Places. The Structures of Spatial Representation, MIT Press\/Bradford Books, Cambridge, MA, and London, 1999."},{"key":"5113545_CR13","first-page":"87","volume":"10","author":"R. M. Chisholm","year":"1984","unstructured":"Chisholm, R. M.: Boundaries as dependent particulars, Grazer philosophische Studien\n10 (1984), 87\u201395.","journal-title":"Grazer philosophische Studien"},{"key":"5113545_CR14","first-page":"167","volume-title":"On Being and Saying: Essays for Richard Cartwright","author":"R. M. Chisholm","year":"1987","unstructured":"Chisholm, R. M.: Scattered objects, in J. J. Thomson (ed.), On Being and Saying: Essays for Richard Cartwright, MIT Press, Cambridge, MA, 1987, pp. 167\u2013173."},{"key":"5113545_CR15","first-page":"11","volume":"4","author":"R. M. Chisholm","year":"1992","unstructured":"Chisholm, R. M.: Spatial continuity and the theory of part and whole. A Brentano study, Brentano Studien\n4 (1992\/3), 11\u201323.","journal-title":"Brentano Studien"},{"key":"5113545_CR16","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1305\/ndjfl\/1093883455","volume":"22","author":"B. L. Clarke","year":"1981","unstructured":"Clarke, B. L.: A calculus of individuals based on \u201cConnection\u201d, Notre Dame J. Formal Logic\n22 (1981), 204\u2013218.","journal-title":"Notre Dame J. Formal Logic"},{"key":"5113545_CR17","first-page":"61","volume":"26","author":"B. L. Clarke","year":"1985","unstructured":"Clarke, B. L.: Individuals and points, Notre Dame J. Formal Logic\n26 (1985), 61\u201375.","journal-title":"Notre Dame J. Formal Logic"},{"key":"5113545_CR18","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/69.667085","volume":"10","author":"E. Clementini","year":"1998","unstructured":"Clementini, E. and Di Felice, P.: Topological invariants for lines, IEEE Trans. on Knowledge and Data Engineering\n10 (1998), 38\u201354.","journal-title":"IEEE Trans. on Knowledge and Data Engineering"},{"key":"5113545_CR19","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/3-540-56869-7_16","volume-title":"Advances in Spatial Databases, Proceedings of the Third International Symposium (SSD'93)","author":"E. Clementini","year":"1993","unstructured":"Clementini, E., Di Felice, P. and Oosterom, P.: A small set of formal topological relationships suitable for end user interaction, in D. Abel and B. C. Ooi (eds), Advances in Spatial Databases, Proceedings of the Third International Symposium (SSD'93), Springer, Berlin, 1993, pp. 277\u2013295."},{"key":"5113545_CR20","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1023\/A:1009712514511","volume":"1","author":"A. G. Cohn","year":"1997","unstructured":"Cohn, A. G., Bennett, B., Gooday, J. and Gotts, N.: RCC: A calculus for region based qualitative spatial reasoning, GeoInformatica\n1 (1997), 275\u2013316.","journal-title":"GeoInformatica"},{"key":"5113545_CR21","first-page":"1","volume":"45","author":"A. G. Cohn","year":"2001","unstructured":"Cohn A. G. and Hazarika, S.M.: Qualitative spatial representation and reasoning: An overview, Fund. Inform. 45 (2001), 1\u201329.","journal-title":"Fund. Inform"},{"key":"5113545_CR22","doi-asserted-by":"crossref","first-page":"831","DOI":"10.1006\/ijhc.1995.1077","volume":"43","author":"A. G. Cohn","year":"1995","unstructured":"Cohn, A. G., Randell, D. A. and Cui, Z.: A taxonomy of logically defined qualitative spatial regions, Internat. J. Human-Computer Studies\n43 (1995), 831\u2013846.","journal-title":"Internat. J. Human-Computer Studies"},{"key":"5113545_CR23","first-page":"150","volume-title":"Proceedings of the 13th European Conference on Artificial Intelligence (ECAI 98)","author":"A. G. Cohn","year":"1998","unstructured":"Cohn, A. G. and Varzi, A. C.: Connection relations in mereotopology, in H. Prade (ed.), Proceedings of the 13th European Conference on Artificial Intelligence (ECAI 98), Wiley, Chichester, 1998, pp. 150\u2013154."},{"key":"5113545_CR24","first-page":"299","volume-title":"Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science (Proceedings of COSIT'99)","author":"A. G. Cohn","year":"1999","unstructured":"Cohn, A. G. and Varzi, A. C.: Modes of connection, in C. Freksa and D. M. Mark (eds), Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science (Proceedings of COSIT'99), Springer, Berlin, 1999, pp. 299\u2013314."},{"key":"5113545_CR25","doi-asserted-by":"crossref","first-page":"449","DOI":"10.2307\/2939504","volume":"19","author":"T. De Laguna","year":"1922","unstructured":"De Laguna, T.: Point, line, and surface, as sets of solids, J. Philos.\n19 (1922), 449\u2013461.","journal-title":"J. Philos."},{"key":"5113545_CR26","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1023\/A:1004764610651","volume":"29","author":"I. D\u00fcntsch","year":"2000","unstructured":"D\u00fcntsch, I. and Orlowska, E.: A proof system for contact relation algebras, J. Philos. Logic\n29 (2000), 241\u2013262.","journal-title":"J. Philos. Logic"},{"key":"5113545_CR27","first-page":"129","volume":"8","author":"M. J. Egenhofer","year":"1994","unstructured":"Egenhofer, M. J., Clementini, E. and Di Felice, P.: Toplogical relations between regions with holes, Internat. J. Geogr. Inform. Systems\n8 (1994), 129\u2013144.","journal-title":"Internat. J. Geogr. Inform. Systems"},{"key":"5113545_CR28","first-page":"161","volume":"5","author":"M. J. Egenhofer","year":"1991","unstructured":"Egenhofer, M. J. and Franzosa, R. D.: Point-set topological spatial relations, Internat. J. Geogr. Inform. Systems\n5 (1991), 161\u2013174.","journal-title":"Internat. J. Geogr. Inform. Systems"},{"key":"5113545_CR29","first-page":"133","volume":"bd9","author":"M. J. Egenhofer","year":"1995","unstructured":"Egenhofer, M. J. and Franzosa, R. D.: On the equivalence of topological relations, Internat. J. Geogr. Inform. Systems bd9 (1995), 133\u2013152.","journal-title":"Internat. J. Geogr. Inform. Systems"},{"key":"5113545_CR30","series-title":"Technical Report","volume-title":"The 9-Intersection: Formalism and Its Use for Natural Language Spatial Predicates","author":"M. Egenhofer","year":"1994","unstructured":"Egenhofer, M. and Herring, J.: Categorizing topological spatial relationships between point, line and area objects, in The 9-Intersection: Formalism and Its Use for Natural Language Spatial Predicates, Technical Report 94-1, National Center for Geographic Information and Analysis, Santa Barbara, CA, 1994."},{"key":"5113545_CR31","unstructured":"Eschenbach, C.: A mereotopological definition of \u201cPoint\u201d, in C. Eschenbach, C. Habel and B. Smith (eds), Topological Foundations of Cognitive Science. Papers from the Workshop at the First International Summer Institute in Cognitive Science (Buffalo 1994), University of Hamburg, Reports of the Doctoral Program in Cognitive Science, No. 37, 1994, pp. 63\u201380."},{"key":"5113545_CR32","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1017\/CCOL0521430232.011","volume-title":"The Cambridge Companion to Husserl","author":"K. Fine","year":"1995","unstructured":"Fine, K.: Part-whole, in B. Smith and D. W. Smith (eds), The Cambridge Companion to Husserl, Cambridge University Press, New York, 1995, pp. 463\u2013485."},{"key":"5113545_CR33","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(94)00051-4","volume":"80","author":"M. M. Fleck","year":"1996","unstructured":"Fleck, M. M.: The topology of boundaries, Artificial Intelligence\n80 (1996), 1\u201327.","journal-title":"Artificial Intelligence"},{"key":"5113545_CR34","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0004-3702(92)90090-K","volume":"54","author":"C. Freksa","year":"1992","unstructured":"Freksa, C.: Temporal reasoning based on semi-intervals, Artificial Intelligence\n54 (1992), 199\u2013227.","journal-title":"Artificial Intelligence"},{"key":"5113545_CR35","first-page":"501","volume-title":"Proceedings of the 12th European Conference on Artificial Intelligence (ECAI 96)","author":"A. P. Galton","year":"1996","unstructured":"Galton, A. P.: Taking dimension seriously in qualitative spatial reasoning, in W. Wahlster (ed.), Proceedings of the 12th European Conference on Artificial Intelligence (ECAI 96), Wiley, Chichester, 1996, pp. 501\u2013505."},{"key":"5113545_CR36","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1006\/jvlc.1997.0071","volume":"9","author":"A. Galton","year":"1998","unstructured":"Galton, A.: Modes of overlap, J. Visual Languages and Computing\n9 (1998), 61\u201379.","journal-title":"J. Visual Languages and Computing"},{"key":"5113545_CR37","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198233978.001.0001","volume-title":"Qualitative Spatial Change","author":"A. P. Galton","year":"2000","unstructured":"Galton, A. P.: Qualitative Spatial Change, Oxford University Press, Oxford, 2000."},{"key":"5113545_CR38","doi-asserted-by":"crossref","first-page":"1015","DOI":"10.1016\/B978-044488355-1\/50020-7","volume-title":"Handbook of Incidence Geometry","author":"G. Gerla","year":"1995","unstructured":"Gerla, G.: Pointless geometries, in F. Buekenhout (ed.), Handbook of Incidence Geometry, Elsevier, Amsterdam, 1995, Chapter 18, pp. 1015\u20131031."},{"key":"5113545_CR39","unstructured":"Gotts, N. M.: Defining a \u2018Doughnut\u2019 made difficult, in C. Eschenbach, C. Habel and B. Smith (eds), Topological Foundations of Cognitive Science. Papers from the Workshop at the First International Summer Institute in Cognitive Science (Buffalo 1994), University of Hamburg, Reports of the Doctoral Program in Cognitive Science, No. 37, 1994, 105\u2013129."},{"key":"5113545_CR40","unstructured":"Gotts, N. M.: Formalising commonsense topology: The INCH calculus, in H. Kautz and B. Selman (eds), Proceedings of the Fourth International Symposium on Artificial Intelligence and Mathematics (AI\/Math-96), Fort Lauderdale, FL, 1996, pp. 72\u201375."},{"key":"5113545_CR41","doi-asserted-by":"crossref","first-page":"51","DOI":"10.5840\/monist19967913","volume":"79","author":"N. M. Gotts","year":"1996","unstructured":"Gotts, N. M., Gooday, J. M. and Cohn, A. G.: A connection based approach to common-sense topological description and reasoning, The Monist\n79 (1996), 51\u201375.","journal-title":"The Monist"},{"key":"5113545_CR42","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BF00485101","volume":"12","author":"A. Grzegorczyk","year":"1960","unstructured":"Grzegorczyk, A.: Axiomatizability of geometry without points, Synthese\n12 (1960), 109\u2013127.","journal-title":"Synthese"},{"volume-title":"Formal Ontology in Information Systems. Proceedings of FOIS-98","year":"1998","key":"5113545_CR43","unstructured":"Guarino, N. (ed.): Formal Ontology in Information Systems. Proceedings of FOIS-98, IOS Press, Amsterdam, 1998."},{"key":"5113545_CR44","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1007\/3-540-45424-1_7","volume-title":"Spatial Information Theory: Foundations of Geographic Information Science (Proceedings of COSIT'01)","author":"S. M. Hazarika","year":"2001","unstructured":"Hazarika, S. M. and Cohn, A. G.: Qualitative spatio-temporal continuity, in D. R. Montello (ed.), Spatial Information Theory: Foundations of Geographic Information Science (Proceedings of COSIT'01), Springer, Berlin, 2001, pp. 92\u2013107."},{"key":"5113545_CR45","volume-title":"Logische Untersuchungen. Zweiter Band. Untersuchungen zur Ph\u00e4nomenologie und Theorie der Erkenntnis","author":"E. Husserl","year":"1901","unstructured":"Husserl, E.: Logische Untersuchungen. Zweiter Band. Untersuchungen zur Ph\u00e4nomenologie und Theorie der Erkenntnis, Niemeyer, Halle, 1901 (2nd edn 1913; Engl. transl. by J. N. Findlay, Logical Investigations, Routledge & Kegan Paul, London, 1970).","edition":"2nd edn"},{"key":"5113545_CR46","doi-asserted-by":"crossref","first-page":"182","DOI":"10.4064\/fm-3-1-182-199","volume":"3","author":"C. Kuratowski","year":"1922","unstructured":"Kuratowski, C.: Sur l'op\u00e9ration A? de l'analysis situs, Fund. Math.\n3 (1922), 182\u2013199.","journal-title":"Fund. Math."},{"key":"5113545_CR47","volume-title":"Podstawy og\u00f3lnej teoryi mnogo\u015bci. I","author":"S. Le\u015bniewski","year":"1916","unstructured":"Le\u015bniewski, S.: Podstawy og\u00f3lnej teoryi mnogo\u015bci. I, Prace Polskiego Kola Naukowego w Moskwie, Moskow, 1916 (Engl. transl. by D. I. Barnett, Foundations of the general theory of sets. I, in S. Le\u015bniewski, Collected Works, eds S. J. Surma, J. Srzednicki, D. I. Barnett and F. V. Rickey, Nijhoff, Dordrecht, 1992, Vol. 1, pp. 129-173)."},{"key":"5113545_CR48","doi-asserted-by":"crossref","first-page":"45","DOI":"10.2307\/2266169","volume":"5","author":"H. S. Leonard","year":"1940","unstructured":"Leonard, H. S. and Goodman, N.: The calculus of individuals and its uses, J. Symbolic Logic\n5 (1940), 45\u201355.","journal-title":"J. Symbolic Logic"},{"key":"5113545_CR49","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1305\/ndjfl\/1040067317","volume":"37","author":"F. Pianesi","year":"1996","unstructured":"Pianesi, F. and Varzi, A. C.: Refining temporal reference in event structures, Notre Dame J. Formal Logic\n37 (1996), 71\u201383.","journal-title":"Notre Dame J. Formal Logic"},{"key":"5113545_CR50","doi-asserted-by":"crossref","first-page":"89","DOI":"10.5840\/monist19967919","volume":"78","author":"F. Pianesi","year":"1996","unstructured":"Pianesi, F. and Varzi, A. C.: Events, topology, and temporal relations, The Monist\n78 (1996), 89\u2013116.","journal-title":"The Monist"},{"key":"5113545_CR51","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1023\/A:1004361501703","volume":"27","author":"I. Pratt","year":"1998","unstructured":"Pratt, I. and Schoop, D.: A complete axiom system for polygonal mereotopology of the real plane, J. Philos. Logic\n27 (1998), 621\u2013658.","journal-title":"J. Philos. Logic"},{"key":"5113545_CR52","first-page":"357","volume-title":"Principles of Knowledge Representation and Reasoning. Proceedings of the First International Conference","author":"D. A. Randell","year":"1989","unstructured":"Randell, D. A. and Cohn, A. G.: Modelling topological and metrical properties in physical processes, in R. J. Brachman, H. J. Levesque and R. Reiter (eds), Principles of Knowledge Representation and Reasoning. Proceedings of the First International Conference, Morgan Kaufmann, Los Altos, CA, 1989, pp. 357\u2013368."},{"key":"5113545_CR53","first-page":"165","volume-title":"Principles of Knowledge Representation and Reasoning. Proceedings of the Third International Conference","author":"D. A. Randell","year":"1992","unstructured":"Randell, D. A., Cui, Z. and Cohn, A. G.: A spatial logic based on regions and connection, in B. Nebel, C. Rich and W. Swartout (eds), Principles of Knowledge Representation and Reasoning. Proceedings of the Third International Conference, Morgan Kaufmann, Los Altos, CA, 1992, pp. 165\u2013176."},{"key":"5113545_CR54","volume-title":"Parts. A Study in Ontology","author":"P. M. Simons","year":"1987","unstructured":"Simons, P. M.: Parts. A Study in Ontology, Clarendon Press, Oxford, 1987."},{"key":"5113545_CR55","first-page":"285","volume-title":"Philosophical Applications of Free Logic","author":"P. M. Simons","year":"1991","unstructured":"Simons, P. M.: Free part-whole theory, in K. Lambert (ed.), Philosophical Applications of Free Logic, Oxford University Press, Oxford, 1991, pp. 285\u2013306."},{"key":"5113545_CR56","first-page":"534","volume-title":"The Philosophy of Roderick Chisholm","author":"B. Smith","year":"1997","unstructured":"Smith, B.: Boundaries, in L. Hahn (ed.), The Philosophy of Roderick Chisholm, Open Court, LaSalle, IL, 1997, pp. 534\u2013561."},{"key":"5113545_CR57","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1016\/S0169-023X(96)00015-8","volume":"20","author":"B. Smith","year":"1996","unstructured":"Smith, B.: Mereotopology: A theory of parts and boundaries, Data and Knowledge Engineering\n20 (1996), 287\u2013304.","journal-title":"Data and Knowledge Engineering"},{"key":"5113545_CR58","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1111\/0029-4624.00151","volume":"33","author":"B. Smith","year":"1999","unstructured":"Smith, B. and Varzi, A. C.: The niche, No\u00fbs\n33 (1999), 214\u2013238.","journal-title":"No\u00fbs"},{"key":"5113545_CR59","doi-asserted-by":"crossref","first-page":"401","DOI":"10.2307\/2653492","volume":"60","author":"B. Smith","year":"2000","unstructured":"Smith, B. and Varzi, A. C.: Fiat and bona fide boundaries, Philos. Phenomen. Res.\n60 (2000), 401\u2013420.","journal-title":"Philos. Phenomen. Res."},{"volume-title":"Spatial and Temporal Reasoning","year":"1997","key":"5113545_CR60","unstructured":"Stock, O. (ed.): Spatial and Temporal Reasoning, Kluwer, Dordrecht, 1997."},{"key":"5113545_CR61","first-page":"29","volume":"7","author":"A. Tarski","year":"1929","unstructured":"Tarski, A.: Les fondements de la g\u00e9om\u00e9trie des corps, Ksiie390-01ga Pami\u00e9tkowa Pierwszkego Polskiego Zjazdu Matematycznego, suppl. to Annales de la Soci\u00e9t\u00e9 Polonaise de Math\u00e9matique\n7 (1929), 29\u201333.","journal-title":"Ksi\u00e9ga Pami\u00e9tkowa Pierwszkego Polskiego Zjazdu Matematycznego, suppl. to Annales de la Soci\u00e9t\u00e9 Polonaise de Math\u00e9matique"},{"key":"5113545_CR62","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.: Zur Grundlegung der Booleschen Algebra. I, Fund. Math.\n24 (1935), 177\u2013198.","journal-title":"Fund. Math."},{"key":"5113545_CR63","volume-title":"Things That Happen","author":"J. E. Tiles","year":"1981","unstructured":"Tiles, J. E.: Things That Happen, Aberdeen University Press, Aberdeen, 1981."},{"key":"5113545_CR64","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/S0169-023X(96)00017-1","volume":"bd20","author":"A. C. Varzi","year":"1996","unstructured":"Varzi, A. C.: Parts, wholes, and part-whole relations: The prospects of mereotopology, Data and Knowledge Engineering bd20 (1996), 259\u2013286.","journal-title":"Data and Knowledge Engineering"},{"key":"5113545_CR65","doi-asserted-by":"crossref","first-page":"3","DOI":"10.12775\/LLP.1996.001","volume":"4","author":"A. C. Varzi","year":"1996","unstructured":"Varzi, A. C.: Reasoning about space: The hole story, Logic and Logical Philosophy\n4 (1996), 3\u201339.","journal-title":"Logic and Logical Philosophy"},{"key":"5113545_CR66","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1111\/0029-4624.00034","volume":"31","author":"A. C. Varzi","year":"1997","unstructured":"Varzi, A. C.: Boundaries, continuity, and contact, No\u00fbs\n31 (1997), 26\u201358.","journal-title":"No\u00fbs"},{"key":"5113545_CR67","volume-title":"Process and Reality. An Essay in Cosmology","author":"A. N. Whitehead","year":"1929","unstructured":"Whitehead, A. N.: Process and Reality. An Essay in Cosmology, Macmillan, New York, 1929."},{"key":"5113545_CR68","doi-asserted-by":"crossref","first-page":"148","DOI":"10.5840\/monist19967918","volume":"79","author":"D. W. Zimmerman","year":"1996","unstructured":"Zimmerman, D. W.: Indivisible parts and extended objects: Some philosophical episodes from topology's prehistory', The Monist\n79 (1996), 148\u2013180.","journal-title":"The Monist"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1024895012224.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1024895012224\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1023\/A:1024895012224","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1024895012224.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,10]],"date-time":"2025-07-10T11:37:06Z","timestamp":1752147426000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1024895012224"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,8]]},"references-count":68,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2003,8]]}},"alternative-id":["5113545"],"URL":"https:\/\/doi.org\/10.1023\/a:1024895012224","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"type":"print","value":"0022-3611"},{"type":"electronic","value":"1573-0433"}],"subject":[],"published":{"date-parts":[[2003,8]]}}}