{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,27]],"date-time":"2025-06-27T09:03:23Z","timestamp":1751015003297},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2012,6,28]],"date-time":"2012-06-28T00:00:00Z","timestamp":1340841600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2013,10]]},"DOI":"10.1007\/s11225-012-9405-z","type":"journal-article","created":{"date-parts":[[2012,6,27]],"date-time":"2012-06-27T19:09:00Z","timestamp":1340824140000},"page":"987-1012","source":"Crossref","is-referenced-by-count":6,"title":["A Comprehensive Picture of the Decidability of Mereological Theories"],"prefix":"10.1007","volume":"101","author":[{"given":"Hsing-chien","family":"Tsai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,6,28]]},"reference":[{"key":"9405_CR1","volume-title":"Parts and Places","author":"R. Casati","year":"1999","unstructured":"Casati R., Varzi A.C.: Parts and Places. The MIT Press, Cambridge (1999)"},{"key":"9405_CR2","doi-asserted-by":"crossref","first-page":"638","DOI":"10.2307\/2272847","volume":"39","author":"R.E. Clay","year":"1974","unstructured":"Clay R.E.: Relation of Le\u015bniewski\u2019s mereology to Boolean algebras. Journal of Symbolic Logic 39, 638\u2013648 (1974)","journal-title":"Journal of Symbolic Logic"},{"key":"9405_CR3","volume-title":"A Mathematical Introduction to Logic","author":"H.B. Enderton","year":"2001","unstructured":"Enderton H.B.: A Mathematical Introduction to Logic. Harcourt Press, San Diego (2001)"},{"key":"9405_CR4","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/BF02067248","volume":"3","author":"A. Grzegorcyk","year":"1955","unstructured":"Grzegorcyk A.: The systems of Le\u015bniewski in relation to contemporary logical research. Studia Logica 3, 77\u201397 (1955)","journal-title":"Studia Logica"},{"key":"9405_CR5","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511551574","volume-title":"Model Theory","author":"W. Hodges","year":"1993","unstructured":"Hodges W.: Model Theory. Cambridge University Press, Cambridge (1993)"},{"key":"9405_CR6","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/s10992-008-9092-4","volume":"38","author":"P. Hovda","year":"2009","unstructured":"Hovda P.: What is classical mereology?. Journal of Philosophical Logic 38, 55\u201382 (2009)","journal-title":"Journal of Philosophical Logic"},{"key":"9405_CR7","unstructured":"Le\u015bniewski, S., Foundations of the general theory of sets I\u2019, trans. by D. I. Barnett, in S. Le\u015bniewski (ed.), Collected Works, Volume 1, Kluwer, Dordrecht, 1916 in Polish, 1992 in English."},{"key":"9405_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-9452-5","volume-title":"Mathematical Logic","author":"J.D. Monk","year":"1976","unstructured":"Monk J.D.: Mathematical Logic. Springer, New York (1976)"},{"key":"9405_CR9","doi-asserted-by":"crossref","first-page":"211","DOI":"10.12775\/LLP.2005.014","volume":"14","author":"A. Pietruszczak","year":"2005","unstructured":"Pietruszczak A.: Pieces of Mereology. Logic and Logical Philosophy 14, 211\u2013234 (2005)","journal-title":"Logic and Logical Philosophy"},{"key":"9405_CR10","volume-title":"Mathematical Logic","author":"J.R. Shoenfield","year":"1967","unstructured":"Shoenfield J.R.: Mathematical Logic. Addison-Wesley, London (1967)"},{"key":"9405_CR11","volume-title":"Parts: A Study in Ontology","author":"P. Simons","year":"1987","unstructured":"Simons P.: Parts: A Study in Ontology. Clarendon Press, Oxford (1987)"},{"issue":"3","key":"9405_CR12","first-page":"24","volume":"1","author":"M.A. Taitslin","year":"1962","unstructured":"Taitslin M.A.: Effective inseparability of the set of identically true and the set of finitely refutable formulas of the elementary theory of the lattices. Algebra i logika 1(3), 24\u201338 (1962)","journal-title":"Algebra i logika"},{"key":"9405_CR13","first-page":"64","volume":"55","author":"A. Tarski","year":"1949","unstructured":"Tarski A.: Arithmetical classes and types of Boolean algebras. Bulletin of the American Mathematical Society 55, 64 (1949)","journal-title":"Bulletin of the American Mathematical Society"},{"key":"9405_CR14","volume-title":"On the foundations of Boolean algebra, in Logic, Semantics, Metamathematics","author":"A. Tarski","year":"1956","unstructured":"Tarski A.: On the foundations of Boolean algebra, in Logic, Semantics, Metamathematics. Oxford University Press, Oxford (1956)"},{"key":"9405_CR15","volume-title":"Undecidable Theories","author":"A. Tarski","year":"1953","unstructured":"Tarski A., Mostowski A, Robinson R.M.: Undecidable Theories. North-Holland, Amsterdam (1953)"},{"key":"9405_CR16","first-page":"953","volume":"88","author":"B.A. Trachtenbrot","year":"1953","unstructured":"Trachtenbrot B.A.: O recursivno otdelimosti (in Russian). Dokl. Akad. Nauk SSSR 88, 953\u2013955 (1953)","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"9405_CR17","doi-asserted-by":"crossref","first-page":"45","DOI":"10.12775\/LLP.2009.004","volume":"18","author":"H. Tsai","year":"2009","unstructured":"Tsai H.: Decidability of mereological theories. Logic and Logical Philosophy 18, 45\u201363 (2009)","journal-title":"Logic and Logical Philosophy"},{"key":"9405_CR18","first-page":"251","volume":"20","author":"H. Tsai","year":"2011","unstructured":"Tsai H.: More on the decidability of mereological theories. Logic and Logical Philosophy 20, 251\u2013265 (2011)","journal-title":"Logic and Logical Philosophy"},{"key":"9405_CR19","doi-asserted-by":"crossref","unstructured":"Tsai, H., Decidability of general extensional mereology, Studia Logica 2012. doi: 10.1007\/s11225-012-9400-4","DOI":"10.1007\/s11225-012-9400-4"},{"key":"9405_CR20","unstructured":"Varzi, A.C., Mereology, in Stanford Encyclopedia of Philosophy, 2009."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-012-9405-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-012-9405-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-012-9405-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:24:49Z","timestamp":1559384689000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-012-9405-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6,28]]},"references-count":20,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2013,10]]}},"alternative-id":["9405"],"URL":"https:\/\/doi.org\/10.1007\/s11225-012-9405-z","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,6,28]]}}}