{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T19:41:21Z","timestamp":1743104481335,"version":"3.40.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319913759"},{"type":"electronic","value":"9783319913766"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-91376-6_35","type":"book-chapter","created":{"date-parts":[[2018,5,16]],"date-time":"2018-05-16T15:19:05Z","timestamp":1526483945000},"page":"382-389","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Rigor and the Context-Dependence of\u00a0Diagrams: The Case of Euler Diagrams"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8377-8210","authenticated-orcid":false,"given":"David","family":"Waszek","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,5,17]]},"reference":[{"key":"35_CR1","unstructured":"Euler, L.: Lettres \u00e0 une princesse d\u2019Allemagne sur divers sujets de physique & de philosophie. Imprimerie de l\u2019Acad\u00e9mie Imp\u00e9riale des Sciences, Saint P\u00e9tersbourg (1768)"},{"key":"35_CR2","unstructured":"Sturm, J.C.: Universalia Euclidea. Adrian Vlacq, Hag\u00e6-Comitis [The Hague] (1661)"},{"key":"35_CR3","unstructured":"Lange, J.C.: Nucleus Logicae Weisianae. Henning M\u00fcller, Gissae-Hassorum [Giessen] (1712)"},{"key":"35_CR4","unstructured":"Leibniz, G.W.: Opuscules et fragments in\u00e9dits de Leibniz. Ed. by L. Couturat. F. Alcan, Paris (1903)"},{"key":"35_CR5","unstructured":"Speiser, A.: Einleitung zu den Lettres \u00e0 une princesse d\u2019Allemagne. In: Euler, L.: Opera Omnia, vol. III\/1, pp. VII\u2013XLIII. Orell F\u00fcssli, Turici [Z\u00fcrich] (1960)"},{"key":"35_CR6","volume-title":"The Logical Status of Diagrams","author":"SJ Shin","year":"1994","unstructured":"Shin, S.J.: The Logical Status of Diagrams. Cambridge University Press, Cambridge (1994)"},{"issue":"1","key":"35_CR7","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1305\/ndjfl\/1040609295","volume":"35","author":"EM Hammer","year":"1994","unstructured":"Hammer, E.M.: Reasoning with sentences and diagrams. Notre Dame J. Form. Log. 35(1), 73\u201387 (1994)","journal-title":"Notre Dame J. Form. Log."},{"key":"35_CR8","doi-asserted-by":"crossref","unstructured":"Barwise, J., Hammer, E.M.: Diagrams and the Concept of Logical System. In: [10], pp. 49\u201378. Orig. publ. in Gabbay, D.M. (ed.) What Is a Logical System?, pp. 73\u2013106. Clarendon Press, Oxford (1994)","DOI":"10.1093\/oso\/9780198538592.003.0003"},{"key":"35_CR9","unstructured":"Barwise, J., Etchemendy, J.: Heterogeneous Logic. In: [10], pp. 179\u2013200. Orig. publ. in Glasgow, T.I., Narayanan, N.H., Chandrasekaran, B. (eds.) Diagrammatic Reasoning: Cognitive and Computational Perspectives, pp. 209\u2013232. AAAI Press, Menlo Park and MIT Press, Cambridge (1995)"},{"volume-title":"Logical Reasoning with Diagrams","year":"1996","key":"35_CR10","unstructured":"Allwein, G., Barwise, J. (eds.): Logical Reasoning with Diagrams. Oxford University Press, Oxford (1996)"},{"issue":"1","key":"35_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1080\/01445349808837293","volume":"19","author":"EM Hammer","year":"1998","unstructured":"Hammer, E.M., Shin, S.J.: Euler\u2019s visual logic. Hist. Philos. Log. 19(1), 1\u201329 (1998)","journal-title":"Hist. Philos. Log."},{"issue":"2","key":"35_CR12","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/s11229-009-9509-9","volume":"175","author":"J Mumma","year":"2010","unstructured":"Mumma, J.: Proofs, pictures, and Euclid. Synthese 175(2), 255\u2013287 (2010)","journal-title":"Synthese"},{"key":"35_CR13","doi-asserted-by":"publisher","DOI":"10.2307\/j.ctv7h0smb","volume-title":"Leonhard Euler: Mathematical Genius in the Enlightenment","author":"RS Calinger","year":"2015","unstructured":"Calinger, R.S.: Leonhard Euler: Mathematical Genius in the Enlightenment. Princeton University Press, Princeton (2015)"},{"key":"35_CR14","series-title":"Proceedings of the Canadian Society for History and Philosophy of Mathematics\/La Soci\u00e9t\u00e9 Canadienne d\u2019Histoire et de Philosophie des Math\u00e9matiques","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-3-319-22258-5_8","volume-title":"Research in History and Philosophy of Mathematics","author":"D Bennett","year":"2015","unstructured":"Bennett, D.: Origins of the Venn diagram. In: Zack, M., Landry, E. (eds.) Research in History and Philosophy of Mathematics. PCSHPMSCPM, pp. 105\u2013119. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-22258-5_8"}],"container-title":["Lecture Notes in Computer Science","Diagrammatic Representation and Inference"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-91376-6_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,6]],"date-time":"2024-07-06T20:30:46Z","timestamp":1720297846000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-91376-6_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319913759","9783319913766"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-91376-6_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"17 May 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"Diagrams","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Theory and Application of Diagrams","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Edinburgh","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"diagrams2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.diagrams-conference.org\/2018\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}