{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,23]],"date-time":"2025-05-23T04:58:33Z","timestamp":1747976313341,"version":"3.41.0"},"reference-count":18,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2015,1,1]]},"DOI":"10.1215\/00294527-2864307","type":"journal-article","created":{"date-parts":[[2015,4,17]],"date-time":"2015-04-17T13:29:23Z","timestamp":1429277363000},"source":"Crossref","is-referenced-by-count":0,"title":["On the Decidability of Axiomatized Mereotopological Theories"],"prefix":"10.1215","volume":"56","author":[{"given":"Hsing-chien","family":"Tsai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] 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":"2","doi-asserted-by":"publisher","unstructured":"[2] Ciraulo, F., M. E. Maietti, and P. Toto, \u201cConstructive version of Boolean algebra,\u201d <i>Logic Journal of the IGPL<\/i>, vol. 21 (2012), pp. 44\u201362.","DOI":"10.1093\/jigpal\/jzs021"},{"key":"3","doi-asserted-by":"publisher","unstructured":"[3] Clarke, B. L., \u201cA calculus of individuals based on \u2018connection,\u201d' <i>Notre Dame Journal of Formal Logic<\/i>, vol. 22 (1981), pp. 204\u201318.","DOI":"10.1305\/ndjfl\/1093883455"},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] D\u00fcntsch, I., and E. Or\u0142owska, \u201cA proof system for contact relation algebras,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 29 (2000), pp. 241\u201362.","DOI":"10.1023\/A:1004764610651"},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] Enderton, H. B., <i>A Mathematical Introduction to Logic<\/i>, 2nd ed., Academic Press, Burlington, Mass., 2001.","DOI":"10.1016\/B978-0-08-049646-7.50005-9"},{"key":"6","unstructured":"[6] Le\u015bniewski, S., \u201cFoundations of the general theory of sets, I,\u201d (in Polish) in <i>S. Le\u015bniewski, Collected Works, Vol. 1<\/i>, edited by S. J. Surma, J. T. Srzednicki, D. I. Barnett, and V. F. Rickey, Kluwer, Dordrecht, 1992."},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] Libkin, L., <i>Elements of Finite Model Theory<\/i>, Springer, Berlin, 2004.","DOI":"10.1007\/978-3-662-07003-1"},{"key":"8","unstructured":"[8] Monk, J. D., <i>Mathematical Logic<\/i>, vol. 37 of <i>Graduate Texts in Mathematics<\/i>, Springer, New York, 1976."},{"key":"9","unstructured":"[9] Munkres, J. R., <i>Topology<\/i>, 2nd ed., Prentice Hall, London, 2000."},{"key":"10","doi-asserted-by":"publisher","unstructured":"[10] Pratt-Hartmann, I., \u201cFirst-order mereotopology,\u201d pp. 13\u201397 in <i>Handbook of Spatial Logics<\/i>, edited by M. Aiello, I. Pratt-Hartmann, and J. van Benthem, Springer, Dordrecht, 2007.","DOI":"10.1007\/978-1-4020-5587-4_2"},{"key":"11","unstructured":"[11] Shoenfield, J. R., <i>Mathematical Logic<\/i>, Addison-Wesley, London, 1967."},{"key":"12","unstructured":"[12] Simons, P., <i>Parts: A Study in Ontology<\/i>, Clarendon Press, Oxford, 1987."},{"key":"13","unstructured":"[13] Tarski, A., A. Mostowski, and R. M. Robinson, <i>Undecidable Theories<\/i>, North-Holland, Amsterdam, 1953."},{"key":"14","doi-asserted-by":"publisher","unstructured":"[14] Tsai, H., \u201cDecidability of mereological theories,\u201d <i>Logic and Logical Philosophy<\/i>, vol. 18 (2009), pp. 45\u201363.","DOI":"10.12775\/LLP.2009.004"},{"key":"15","doi-asserted-by":"publisher","unstructured":"[15] Tsai, H., \u201cA comprehensive picture of the decidability of mereological theories,\u201d <i>Studia Logica<\/i>, vol. 101 (2012), pp. 987\u20131012.","DOI":"10.1007\/s11225-012-9405-z"},{"key":"16","doi-asserted-by":"publisher","unstructured":"[16] Tsai, H., \u201cDecidability of general extensional mereology,\u201d <i>Studia Logica<\/i>, vol. 101 (2013), pp. 619\u201336.","DOI":"10.1007\/s11225-012-9400-4"},{"key":"17","unstructured":"[17] Tsai, H., \u201cThe logic and metaphysics of part-whole relations,\u201d Ph.D. dissertation, Columbia University, New York, 2005."},{"key":"18","unstructured":"[18] Whitehead, A. N., <i>Process and Reality<\/i>, MacMillan, New York, 1929."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2864307","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T17:52:38Z","timestamp":1747936358000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-56\/issue-2\/On-the-Decidability-of-Axiomatized-Mereotopological-Theories\/10.1215\/00294527-2864307.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,1,1]]},"references-count":18,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2015,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2864307","relation":{},"ISSN":["0029-4527"],"issn-type":[{"type":"print","value":"0029-4527"}],"subject":[],"published":{"date-parts":[[2015,1,1]]}}}