{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,24]],"date-time":"2025-04-24T04:33:54Z","timestamp":1745469234650,"version":"3.40.4"},"reference-count":15,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2013,1,1]]},"DOI":"10.1215\/00294527-1731362","type":"journal-article","created":{"date-parts":[[2012,12,14]],"date-time":"2012-12-14T14:15:27Z","timestamp":1355494527000},"source":"Crossref","is-referenced-by-count":0,"title":["Mereology on Topological and Convergence Spaces"],"prefix":"10.1215","volume":"54","author":[{"given":"Daniel R.","family":"Patten","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] Beattie, R., and H.-P. Butzmann, <i>Convergence Structures and Applications to Functional Analysis<\/i>, Kluwer, Dordrecht, 2002.","DOI":"10.1007\/978-94-015-9942-9"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] Binz, E., <i>Continuous Convergence on $C(X)$<\/i>, vol. 469 of <i>Lecture Notes in Mathematics<\/i>, Springer, Berlin, 1975.","DOI":"10.1007\/BFb0088826"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] Blair, H. A., D. W. Jakel, R. J. Irwin, and A. Rivera, \u201cElementary differential calculus on discrete and hybrid structures,\u201d pp. 41\u201353 in <i>Logical Foundations of Computer Science<\/i>, vol. 4514 of <i>Lecture Notes in Computer Science<\/i>, Springer, Berlin, 2007.","DOI":"10.1007\/978-3-540-72734-7_4"},{"key":"4","unstructured":"[4] Bourbaki, N., <i>Elements of Mathematics: General Topology, Part 1<\/i>, Hermann, Paris, 1966."},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] Casati, R., and A. C. Varzi, <i>Parts and Places: The Structures of Spatial Representation<\/i>, MIT Press, Cambridge, Mass., 1999.","DOI":"10.7551\/mitpress\/5253.001.0001"},{"key":"6","doi-asserted-by":"publisher","unstructured":"[6] Clarke, B. L., \u201cA calculus of individuals based on \u2018connection\u2019,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 22 (1981), pp. 204\u201318.","DOI":"10.1305\/ndjfl\/1093883455"},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] Dikranjan, D., and W. Tholen, <i>Categorical Structure of Closure Operators: With Applications to Topology, Algebra and Discrete Mathematics<\/i>, vol. 346 of <i>Mathematics and its Applications<\/i>, Kluwer, Dordrecht, 1995.","DOI":"10.1007\/978-94-015-8400-5"},{"key":"8","unstructured":"[8] Guarino, N., M. Carrara, and P. Giaretta, \u201cFormalizing ontological commitments,\u201d pp. 560\u201367 in <i>AAAI \u201994: Proceedings of the Twelfth National Conference on Artificial Intelligence, Vol. 1<\/i>, AAAI Press, Menlo Park, Calif., 1994."},{"key":"9","doi-asserted-by":"crossref","unstructured":"[9] Heckmann, R., \u201cA non-topological view of dcpos as convergence spaces,\u201d pp. 159\u201386 in <i>Topology in Computer Science (Schlo\u00df Dagstuhl, Germany, 2000)<\/i>, vol. 305 of <i>Theoretical Computer Science<\/i>, Elsevier, Amsterdam, 2003.","DOI":"10.1016\/S0304-3975(02)00706-5"},{"key":"10","unstructured":"[10] Kelley, J. L., <i>General Topology<\/i>, D. Van Nostrand, Toronto, 1955."},{"key":"11","unstructured":"[11] Mac Lane, S., <i>Categories for the Working Mathematician<\/i>, 2nd edition, vol. 5 of <i>Graduate Texts in Mathematics<\/i>, Springer, New York, 1998."},{"key":"12","unstructured":"[12] Mashaal, M., <i>Bourbaki: A Secret Society of Mathematicians<\/i>, translated from the French original by A. Pierrehumbert, American Mathematical Society, Providence, 2006."},{"key":"13","unstructured":"[13] Munkres, J. R., <i>Topology: A First Course<\/i>, Prentice-Hall, Englewood Cliffs, N.J., 1975."},{"key":"14","doi-asserted-by":"crossref","unstructured":"[14] Preu\u00df, G., \u201cSemiuniform convergence spaces and filter spaces,\u201d pp. 333\u201373 in <i>Beyond Topology<\/i>, vol. 486 of <i>Contemporary Mathematics<\/i>, American Mathematical Society, Providence, 2009.","DOI":"10.1090\/conm\/486\/09513"},{"key":"15","unstructured":"[15] Randell, D. A., Z. Cui, and A. G. Cohn, \u201cA spatial logic based on regions and connection,\u201d pp. 165\u201376 in <i>KR 92: Principles of Knowledge Representation and Reasoning (Cambridge, Mass., 1992)<\/i>, Morgan Kaufmann, San Francisco, 1992."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-1731362","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,23]],"date-time":"2025-04-23T18:20:05Z","timestamp":1745432405000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-54\/issue-1\/Mereology-on-Topological-and-Convergence-Spaces\/10.1215\/00294527-1731362.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,1]]},"references-count":15,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2013,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-1731362","relation":{},"ISSN":["0029-4527"],"issn-type":[{"type":"print","value":"0029-4527"}],"subject":[],"published":{"date-parts":[[2013,1,1]]}}}