{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T23:49:46Z","timestamp":1743032986829,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319214009"},{"type":"electronic","value":"9783319214016"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-21401-6_4","type":"book-chapter","created":{"date-parts":[[2015,7,24]],"date-time":"2015-07-24T10:13:46Z","timestamp":1437732826000},"page":"73-97","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Automating Leibniz\u2019s Theory of Concepts"],"prefix":"10.1007","author":[{"given":"Jesse","family":"Alama","sequence":"first","affiliation":[]},{"given":"Paul E.","family":"Oppenheimer","sequence":"additional","affiliation":[]},{"given":"Edward N.","family":"Zalta","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,7,25]]},"reference":[{"key":"4_CR1","first-page":"133","volume":"33","author":"J Alama","year":"2013","unstructured":"Alama, J.: Complete independence of an axiom system for central translations. Note di Matematica 33, 133\u2013142 (2013)","journal-title":"Note di Matematica"},{"issue":"3","key":"4_CR2","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1007\/s11225-013-9509-0","volume":"102","author":"J Alama","year":"2014","unstructured":"Alama, J.: The simplest axiom system for hyperbolic geometry revisited, again. Stud. Logica 102(3), 609\u2013615 (2014)","journal-title":"Stud. Logica"},{"volume-title":"Opuscules et fragments in\u00e9dits de Leibniz","year":"1903","key":"4_CR3","unstructured":"Couturat, L. (ed.): Opuscules et fragments in\u00e9dits de Leibniz. F. Alcan, Paris (1903)"},{"issue":"2","key":"4_CR4","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/s10992-006-9038-7","volume":"36","author":"B Fitelson","year":"2007","unstructured":"Fitelson, B., Zalta, E.: Steps toward a computational metaphysics. J. Philos. Logic 36(2), 227\u2013247 (2007)","journal-title":"J. Philos. Logic"},{"key":"4_CR5","unstructured":"Gerhardt, C.I. (ed.): Die Philosophischen Schriften von Gottfried Wilhelm Leibniz, vol. i\u2013vii. Weidmann, Berlin (1875\u20131990)"},{"issue":"2","key":"4_CR6","doi-asserted-by":"publisher","first-page":"81","DOI":"10.2307\/2266967","volume":"15","author":"L Henkin","year":"1950","unstructured":"Henkin, L.: Completeness in the theory of types. J. Symb. 15(2), 81\u201391 (1950)","journal-title":"J. Symb."},{"issue":"1","key":"4_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2964568","volume":"24","author":"S Kripke","year":"1959","unstructured":"Kripke, S.: A completeness theorem in modal logic. J. Symb. Logic 24(1), 1\u201314 (1959)","journal-title":"J. Symb. Logic"},{"key":"4_CR8","first-page":"83","volume":"16","author":"S Kripke","year":"1963","unstructured":"Kripke, S.: Semantical considerations on modal logic. Acta Philos. Fennica 16, 83\u201394 (1963)","journal-title":"Acta Philos. Fennica"},{"key":"4_CR9","first-page":"131","volume-title":"Leibniz Logical Papers","author":"GW Leibniz","year":"1996","unstructured":"Leibniz, G.W.: A study in the calculus of real addition. In: Parkinson, G. (ed.) Leibniz Logical Papers, pp. 131\u2013144. Clarendon, Oxford (1996)"},{"key":"4_CR10","volume-title":"Theodicy","author":"GW Leibniz","year":"1952","unstructured":"Leibniz, G.W.: Theodicy. Yale University Press, New Haven (1952)"},{"issue":"5","key":"4_CR11","doi-asserted-by":"publisher","first-page":"113","DOI":"10.2307\/2024555","volume":"54","author":"D Lewis","year":"1968","unstructured":"Lewis, D.: Counterpart theory and quantified modal logic. J. Philos. 54(5), 113\u2013126 (1968)","journal-title":"J. Philos."},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/978-94-010-2506-5_10","volume-title":"Approaches to Natural Language","author":"R Montague","year":"1973","unstructured":"Montague, R.: The proper treatment of quantification in ordinary English. In: Hintikka, K.J.J., Moravcsik, J.M.E., Suppes, P. (eds.) Approaches to Natural Language, pp. 221\u2013242. D. Reidel, Dordrecht (1973)"},{"issue":"489","key":"4_CR13","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1093\/mind\/fzu003","volume":"123","author":"U Nodelman","year":"2014","unstructured":"Nodelman, U., Zalta, E.: Foundations for mathematical structuralism. Mind 123(489), 39\u201378 (2014)","journal-title":"Mind"},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1093\/logcom\/exq017","volume":"21","author":"P Oppenheimer","year":"2011","unstructured":"Oppenheimer, P., Zalta, E.: Relations versus functions at the foundations of logic: type-theoretic considerations. J. Logic Comput. 21, 351\u2013374 (2011)","journal-title":"J. Logic Comput."},{"volume-title":"Leibniz: Logical Papers","year":"1966","key":"4_CR15","unstructured":"Parkinson, G. (ed.): Leibniz: Logical Papers. Clarendon, Oxford (1966)"},{"volume-title":"Leibniz: Philosophical Writings","year":"1973","key":"4_CR16","unstructured":"Parkinson, G. (ed.): Leibniz: Philosophical Writings. Dent & Sons, London (1973)"},{"issue":"2","key":"4_CR17","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1111\/0029-4624.00207","volume":"34","author":"F Pelletier","year":"2000","unstructured":"Pelletier, F., Zalta, E.: How to say goodbye to the third man. No\u00fbs 34(2), 165\u2013202 (2000)","journal-title":"No\u00fbs"},{"key":"4_CR18","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1093\/mind\/XIV.4.479","volume":"14","author":"B Russell","year":"1905","unstructured":"Russell, B.: On denoting. Mind 14, 479\u2013493 (1905)","journal-title":"Mind"},{"key":"4_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-6980-3","volume-title":"Abstract Objects: An Introduction to Axiomatic Metaphysics","author":"E Zalta","year":"1983","unstructured":"Zalta, E.: Abstract Objects: An Introduction to Axiomatic Metaphysics. D. Reidel, Dordrecht (1983)"},{"key":"4_CR20","volume-title":"Intensional Logic and the Metaphysics of Intentionality","author":"E Zalta","year":"1988","unstructured":"Zalta, E.: Intensional Logic and the Metaphysics of Intentionality. MIT Press, Cambridge (1988)"},{"issue":"2","key":"4_CR21","doi-asserted-by":"publisher","first-page":"57","DOI":"10.2307\/2026992","volume":"85","author":"E Zalta","year":"1988","unstructured":"Zalta, E.: Logical and analytic truths that are not necessary. J. Philos. 85(2), 57\u201374 (1988)","journal-title":"J. Philos."},{"issue":"4","key":"4_CR22","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/BF01052533","volume":"22","author":"E Zalta","year":"1993","unstructured":"Zalta, E.: Twenty-five basic theorems in situation and world theory. J. Philos. Logic 22(4), 385\u2013428 (1993)","journal-title":"J. Philos. Logic"},{"issue":"6","key":"4_CR23","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1023\/A:1004330128910","volume":"28","author":"E Zalta","year":"1999","unstructured":"Zalta, E.: Natural numbers and natural cardinals as abstract objects: a partial reconstruction of Frege\u2019s Grundgesetze in object theory. J. Philos. Logic 28(6), 619\u2013660 (1999)","journal-title":"J. Philos. Logic"},{"key":"4_CR24","doi-asserted-by":"crossref","first-page":"137","DOI":"10.30965\/26664275-00301008","volume":"3","author":"E Zalta","year":"2000","unstructured":"Zalta, E.: A (Leibnizian) theory of concepts. Philosophiegeschichte logische Analyse\/Logical Anal. Hist. Philos. 3, 137\u2013183 (2000)","journal-title":"Philosophiegeschichte logische Analyse\/Logical Anal. Hist. Philos."}],"container-title":["Lecture Notes in Computer Science","Automated Deduction - CADE-25"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21401-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,31]],"date-time":"2023-01-31T04:18:17Z","timestamp":1675138697000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-21401-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319214009","9783319214016"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21401-6_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"25 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}