{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,8]],"date-time":"2026-06-08T23:52:13Z","timestamp":1780962733314,"version":"3.54.1"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2022,9,10]],"date-time":"2022-09-10T00:00:00Z","timestamp":1662768000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,9,10]],"date-time":"2022-09-10T00:00:00Z","timestamp":1662768000000},"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":["Log. Univers."],"published-print":{"date-parts":[[2022,12]]},"DOI":"10.1007\/s11787-022-00311-x","type":"journal-article","created":{"date-parts":[[2022,9,12]],"date-time":"2022-09-12T04:02:50Z","timestamp":1662955370000},"page":"535-543","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Logic, Spatial Algorithms and Visual Reasoning"],"prefix":"10.1007","volume":"16","author":[{"given":"Andrew","family":"Schumann","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jens","family":"Lemanski","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2022,9,10]]},"reference":[{"key":"311_CR1","unstructured":"Aczel, P.: Non-well-founded sets. Stanford (1988)"},{"key":"311_CR2","doi-asserted-by":"crossref","unstructured":"Bellucci, F., Pietarinen, A.-V.: An analysis of existential graphs\u2013part 2: beta. Synthese 199, 7705\u20137726 (2021)","DOI":"10.1007\/s11229-021-03134-3"},{"key":"311_CR3","doi-asserted-by":"crossref","unstructured":"Bernhard, P.: Euler-Diagramme. Zur Morphologie einer Repr\u00e4sentationsform in der Logik. Paderborn: mentis (2001)","DOI":"10.30965\/9783969752029"},{"key":"311_CR4","volume-title":"The Art and Logic of Ramon Llull: A User\u2019s Guide","author":"A Bonner","year":"2007","unstructured":"Bonner, A.: The Art and Logic of Ramon Llull: A User\u2019s Guide. Brill, Leiden (2007)"},{"key":"311_CR5","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1017\/CBO9780511819001.007","volume-title":"Philosophy of Animal Minds","author":"E Camp","year":"2009","unstructured":"Camp, E.: A language of baboon thought? In: Lurz, R. (ed.) Philosophy of Animal Minds, pp. 108\u2013127. Cambridge University Press, Cambridge (2009)"},{"key":"311_CR6","volume-title":"The Game of Logic","author":"L Carroll","year":"1886","unstructured":"Carroll, L.: The Game of Logic. Macmillan, London (1886)"},{"key":"311_CR7","first-page":"287","volume-title":"Language, Logic, and Mathematics in Schopenhauer. Studies in Universal Logic","author":"JM Costanzo","year":"2020","unstructured":"Costanzo, J.M.: Schopenhauer on intuition and proof in mathematics. In: Lemanski, J. (ed.) Language, Logic, and Mathematics in Schopenhauer. Studies in Universal Logic, pp. 287\u2013303. Birkh\u00e4user, Cham (2020)"},{"key":"311_CR8","volume-title":"Lettres \u00e0 une princesse d\u2019Allemagne sur divers sujets de physique et de philosophie","author":"L Euler","year":"1843","unstructured":"Euler, L.: Lettres \u00e0 une princesse d\u2019Allemagne sur divers sujets de physique et de philosophie. Charpentier, Paris (1843)"},{"key":"311_CR9","first-page":"160","volume-title":"A Bouquet for the Gardener","author":"AWF Edwards","year":"2011","unstructured":"Edwards, A.W.F., Moktefi, A.: One more class: Martin Gardner and logic diagrams. In: Burstein, M. (ed.) A Bouquet for the Gardener, pp. 160\u2013174. The Lewis Carroll Society of North America, New York (2011)"},{"key":"311_CR10","volume-title":"Begriffsschrift: eine der arithmetischen nachgebildete Formelsprache des reinen Denkens","author":"G Frege","year":"1879","unstructured":"Frege, G.: Begriffsschrift: eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Nebert, Halle am Sachsen (1879)"},{"issue":"2","key":"311_CR11","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1017\/S0269889715000046","volume":"28","author":"O Goldin","year":"2015","unstructured":"Goldin, O.: The pythagorean table of opposites, symbolic classification, and aristotle. Sci. Context 28(2), 171\u2013193 (2015)","journal-title":"Sci. Context"},{"key":"311_CR12","doi-asserted-by":"crossref","unstructured":"Hodges, W.: Medieval Arabic notions of algorithm. Some further raw evidence. In: Fields of logic and computation III. Hrsg. v. A. Blass, P. C\u00e9gielski, N. Dershowitz, M. Droste, B. Finkbeiner (Lecture Notes in Computer Science) vol. 12180, pp. 133\u2013146. Springer, Cham (2020)","DOI":"10.1007\/978-3-030-48006-6_10"},{"key":"311_CR13","unstructured":"Ibn Khald\u016bn: The Muqaddimah: An Introduction to History. Translated from the Arabic by Franz Rosenthal, vol. 3. Princeton, New York (1958)"},{"key":"311_CR14","doi-asserted-by":"crossref","unstructured":"Ierodiakonou, K.: Psellos\u2019 Paraphrasis on De interpretatione. In: Byzantine Philosophy and its Ancient Sources. Hrsg. v. Katerina Ierodiakonou, pp. 157\u2013183. Oxford University Press (2004)","DOI":"10.1093\/oso\/9780199246137.003.0008"},{"issue":"3","key":"311_CR15","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1023\/A:1008323427489","volume":"8","author":"M Jamnik","year":"1999","unstructured":"Jamnik, M., Bundy, A., Green, I.: On automating diagrammatic proofs of arithmetic arguments. J. Logic Lang. Inform. 8(3), 297\u2013321 (1999)","journal-title":"J. Logic Lang. Inform."},{"key":"311_CR16","doi-asserted-by":"crossref","unstructured":"Johansen, M.W., Pallavicini J.L.: The fall and rise of resemblance diagrams. In: A. Basu, G. Stapleton, S. Linker, C. Legg, E. Manalo, P. Viana (eds.) Diagrammatic Representation and Inference. Diagrams 2021. Lecture Notes in Computer Science, vol. 12909, pp. 331\u2013338. Springer, Cham (2021)","DOI":"10.1007\/978-3-030-86062-2_33"},{"issue":"2","key":"311_CR17","doi-asserted-by":"publisher","first-page":"211","DOI":"10.5840\/monist18933239","volume":"3","author":"C Ladd Franklin","year":"1893","unstructured":"Ladd Franklin, C.: Intuition and reason. Monist 3(2), 211\u2013219 (1893)","journal-title":"Monist"},{"key":"311_CR18","doi-asserted-by":"crossref","unstructured":"Lemanski, Jens: Periods in the use of Euler-type diagrams. Acta Baltica Historiae et Philosophiae Scientiarum 5(1), 50\u201369 (2017)","DOI":"10.11590\/abhps.2017.1.03"},{"key":"311_CR19","volume-title":"The logic of Apuleius","author":"D Londey","year":"2016","unstructured":"Londey, D., Johanson, C.: The logic of Apuleius. Brill, Leiden (2016)"},{"key":"311_CR20","first-page":"163","volume":"53","author":"M Malink","year":"2017","unstructured":"Malink, M.: Aristotle on principles as elements. Oxf. Stud. Anc. Philos. 53, 163\u2013213 (2017)","journal-title":"Oxf. Stud. Anc. Philos."},{"key":"311_CR21","first-page":"1","volume-title":"A Guided Tour of Artificial Intelligence Research","author":"P Marquis","year":"2020","unstructured":"Marquis, P., Papini, O., Prade, H.: Elements for a history of artificial intelligence. In: Marquis, P., Papini, O., Prade, H. (eds.) A Guided Tour of Artificial Intelligence Research, pp. 1\u201343. Springer, Cham (2020)"},{"key":"311_CR22","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-0348-0600-8_4","volume-title":"Visual Reasoning with Diagrams","author":"A Moktefi","year":"2013","unstructured":"Moktefi, A.: Beyond syllogisms: Carroll\u2019s (Marked) quadriliteral diagram. In: Moktefi, A., Shin, S.-J. (eds.) Visual Reasoning with Diagrams, pp. 55\u201371. Birkh\u00e4user, Basel (2013)"},{"issue":"3","key":"311_CR23","first-page":"33","volume":"18","author":"R Netz","year":"1998","unstructured":"Netz, R.: Greek mathematical diagrams: their use and their meaning. Learn. Math. 18(3), 33\u201339 (1998)","journal-title":"Learn. Math."},{"key":"311_CR24","doi-asserted-by":"crossref","unstructured":"Peckhaus, V.: Calculus ratiocinator vs. characteristica universalis? The two traditions in logic, revisted. In: Beaney, M., Reck, E.H. (eds.) Gottlob Frege. Critical Assessments of Leading Philosophers, Bd.\u00a01: Frege\u2019s Philosophy in Context, pp. 176\u2013190. Routledge, London (2005)","DOI":"10.1080\/01445340310001609315"},{"key":"311_CR25","volume-title":"On the Efficacy of Representation","author":"A Shimojima","year":"1996","unstructured":"Shimojima, A.: On the Efficacy of Representation. Indiana University Press, Indiana (1996)"},{"key":"311_CR26","doi-asserted-by":"crossref","unstructured":"Shin, S.-J.: The Logical Status of Diagrams. Cambridge University Press (1995)","DOI":"10.1017\/CBO9780511574696"},{"key":"311_CR27","volume-title":"Charting the Sea of Talmud: A Visual Method for Understanding the Talmud","author":"Y Ury","year":"2021","unstructured":"Ury, Y.: Charting the Sea of Talmud: A Visual Method for Understanding the Talmud. Mosaica Press, Los Angeles (2021)"},{"key":"311_CR28","unstructured":"Venn, J.: Symbolic logic. London (1894)"},{"key":"311_CR29","unstructured":"Verboon, A. R.: Lines of Thought. Diagrammatic Representation and the Scientific Texts of the Arts Faculty, 1200\u20131500. S.l. (2010)"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-022-00311-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11787-022-00311-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-022-00311-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,26]],"date-time":"2023-11-26T16:00:14Z","timestamp":1701014414000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11787-022-00311-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,10]]},"references-count":29,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2022,12]]}},"alternative-id":["311"],"URL":"https:\/\/doi.org\/10.1007\/s11787-022-00311-x","relation":{"is-basis-for":[{"id-type":"doi","id":"10.52843\/cassyni.9wdq84","asserted-by":"object"}]},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,9,10]]},"assertion":[{"value":"15 June 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 September 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 September 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}