{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,14]],"date-time":"2024-09-14T11:13:29Z","timestamp":1726312409013},"reference-count":11,"publisher":"Duke University Press","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2019,8,1]]},"DOI":"10.1215\/00294527-2019-0012","type":"journal-article","created":{"date-parts":[[2019,7,2]],"date-time":"2019-07-02T02:05:49Z","timestamp":1562033149000},"source":"Crossref","is-referenced-by-count":6,"title":["The Eu Approach to Formalizing Euclid: A Response to \u201cOn the Inconsistency of Mumma\u2019s Eu\u201d"],"prefix":"10.1215","volume":"60","author":[{"given":"John","family":"Mumma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] Kulvicki, J., \u201cKnowing with images: Medium and message,\u201d <i>Philosophy of Science<\/i>, vol. 77 (2010), pp. 295\u2013313.","DOI":"10.1086\/651321"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] Macbeth, D., <i>Realizing Reason: A Narrative of Truth and Knowing<\/i>, Oxford University Press, Oxford, 2014.","DOI":"10.1093\/acprof:oso\/9780198704751.001.0001"},{"key":"3","unstructured":"[3] Manders, K., \u201cThe Euclidean diagram,\u201d pp. 112\u201318 in <i>Philosophy of Mathematical Practice<\/i>, edited by P. Mancosu, Oxford University Press, Oxford, 2008."},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] Miller, N., <i>Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry<\/i>, CSLI Publications, Stanford, CA, 2007.","DOI":"10.1007\/11783183_16"},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] Miller, N., \u201cOn the Inconsistency of Mumma\u2019s Eu,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 53 (2012), pp. 27\u201352.","DOI":"10.1215\/00294527-1626509"},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] Mumma, J., \u201cEnsuring generality in Euclid\u2019s diagrammatic arguments,\u201d pp. 222\u201335 in <i>Diagrammatic Representation and Inference<\/i>, edited by G. Stapelton, J. Howse, and J. Lee, Springer, Berlin, 2008.","DOI":"10.1007\/978-3-540-87730-1_21"},{"key":"7","doi-asserted-by":"publisher","unstructured":"[7] Mumma, J., \u201cProofs, pictures, and Euclid,\u201d <i>Synthese<\/i>, vol. 175 (2010), pp. 255\u201387.","DOI":"10.1007\/s11229-009-9509-9"},{"key":"8","doi-asserted-by":"publisher","unstructured":"[8] Mumma, J., \u201cThe role of geometric content in elementary geometrical reasoning,\u201d <i>Les \u00c9tudes Philosophiques<\/i>, vol. 97 (2011\/2), pp. 243\u2013258.","DOI":"10.3917\/leph.112.0243"},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] Mumma, J., \u201cConstructive geometrical reasoning and diagrams,\u201d <i>Synthese<\/i>, vol. 186 (2012), pp. 103\u201319.","DOI":"10.1007\/s11229-011-9981-x"},{"key":"10","unstructured":"[10] Mumma, J., \u201cIntuition formalized: Ancient and modern methods of proof in elementary Euclidean geometry,\u201d Ph.D. dissertation, Carnegie Mellon University, Pittsburgh, 2006."},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] Shimojima, A., \u201cOperational constraints in diagrammatic reasoning,\u201d pp. 27\u201348 in <i>Logical Reasoning with Diagrams<\/i>, edited by G. Allewen and J. Barwise, vol. 6 in <i>Studies in Logic and Computation<\/i>, Oxford University Press, New York, 1996.","DOI":"10.1093\/oso\/9780195104271.003.0006"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2019-0012","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:59:49Z","timestamp":1706648389000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-60\/issue-3\/The-Eu-Approach-to-Formalizing-Euclid--A-Response-to\/10.1215\/00294527-2019-0012.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,1]]},"references-count":11,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2019,8,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2019-0012","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2019,8,1]]}}}