{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T09:30:59Z","timestamp":1766136659249},"reference-count":105,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2015,10,8]],"date-time":"2015-10-08T00:00:00Z","timestamp":1444262400000},"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":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1007\/s10849-015-9225-4","type":"journal-article","created":{"date-parts":[[2015,10,8]],"date-time":"2015-10-08T14:24:53Z","timestamp":1444314293000},"page":"409-455","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["How Diagrams Can Support Syllogistic Reasoning: An Experimental Study"],"prefix":"10.1007","volume":"24","author":[{"given":"Yuri","family":"Sato","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Koji","family":"Mineshima","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,10,8]]},"reference":[{"key":"9225_CR1","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1037\/0096-3445.136.4.569","volume":"136","author":"AL Alter","year":"2007","unstructured":"Alter, A. L., Oppenheimer, D. M., Epley, N., & Eyre, R. N. (2007). Overcoming intuition: Metacognitive difficulty activates analytic reasoning. Journal of Experimental Psychology: General, 136, 569\u2013576.","journal-title":"Journal of Experimental Psychology: General"},{"key":"9225_CR2","doi-asserted-by":"crossref","first-page":"113","DOI":"10.2307\/3614533","volume":"53","author":"ME Baron","year":"1969","unstructured":"Baron, M. E. (1969). A note on the historical development of logic diagrams: Leibniz, Euler and Venn. The Mathematical Gazette, 53, 113\u2013125.","journal-title":"The Mathematical Gazette"},{"key":"9225_CR3","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF00350139","volume":"4","author":"J Barwise","year":"1981","unstructured":"Barwise, J., & Cooper, R. (1981). Generalized quantifiers and natural language. Linguistics and Philosophy, 4, 159\u2013219.","journal-title":"Linguistics and Philosophy"},{"key":"9225_CR4","unstructured":"Barwise, J., & Etchemendy, J. (1991\/1996). Visual information and valid reasoning. In W. Zimmerman & S. Cunningham (Eds.), Visualization in teaching and learning mathematics, MAA Notes, Number 19 (pp. 9\u201324). Reprinted in G. Allwein & J. Barwise (Eds). (1996). Logical reasoning with diagrams (pp. 3\u201326). New York: Oxford University Press."},{"key":"9225_CR5","volume-title":"Hyperproof, CSLI Lecture Notes, No. 42","author":"J Barwise","year":"1994","unstructured":"Barwise, J., & Etchemendy, J. (1994). Hyperproof, CSLI Lecture Notes, No. 42. Stanford, CA: CSLI Publications."},{"key":"9225_CR6","first-page":"49","volume-title":"Logical reasoning with diagrams","author":"J Barwise","year":"1996","unstructured":"Barwise, J., & Hammer, E. (1996). Diagrams and the concept of logical system. In G. Allwein & J. Barwise (Eds.), Logical reasoning with diagrams (pp. 49\u201378). New York: Oxford University Press."},{"key":"9225_CR7","doi-asserted-by":"crossref","first-page":"372","DOI":"10.1111\/j.1467-9280.1993.tb00584.x","volume":"4","author":"M Bauer","year":"1993","unstructured":"Bauer, M., & Johnson-Laird, P. N. (1993). How diagrams can improve reasoning. Psychological Science, 4, 372\u2013378.","journal-title":"Psychological Science"},{"key":"9225_CR8","first-page":"771","volume-title":"Proceedings of information visualization 2007","author":"F Benoy","year":"2007","unstructured":"Benoy, F., & Rodgers, P. (2007). Evaluating the comprehension of Euler diagrams. In E. Banissi, et al. (Eds.), Proceedings of information visualization 2007 (pp. 771\u2013778). Los Alamitos, CA: IEEE Computer Society."},{"key":"9225_CR9","volume-title":"Representation and inference for natural language: A first course in computational semantics","author":"P Blackburn","year":"2005","unstructured":"Blackburn, P., & Bos, J. (2005). Representation and inference for natural language: A first course in computational semantics. Stanford, CA: CSLI Publications."},{"key":"9225_CR10","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0010-0277(84)90018-0","volume":"17","author":"G Boolos","year":"1984","unstructured":"Boolos, G. (1984). On \u2018syllogistic inference\u2019. Cognition, 17, 181\u2013182.","journal-title":"Cognition"},{"key":"9225_CR11","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1207\/s15516709cog2303_1","volume":"23","author":"M Bucciarelli","year":"1999","unstructured":"Bucciarelli, M., & Johnson-Laird, P. N. (1999). Strategies in syllogistic reasoning. Cognitive Science, 23, 247\u2013303.","journal-title":"Cognitive Science"},{"key":"9225_CR12","first-page":"199","volume-title":"Proceedings of Diagrams 2006, LNAI 4045","author":"DP Calvillo","year":"2006","unstructured":"Calvillo, D. P., DeLeeuw, K., & Revlin, R. (2006). Deduction with Euler circles: Diagrams that hurt. In D. Baker-Plummer, R. Cox, & N. Swoboda (Eds.), Proceedings of Diagrams 2006, LNAI 4045 (pp. 199\u2013203). Berlin, Heidelberg: Springer."},{"key":"9225_CR13","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1111\/j.1520-8583.2007.00124.x","volume":"21","author":"E Camp","year":"2007","unstructured":"Camp, E. (2007). Thinking with maps. Philosophical Perspectives, 21, 145\u2013182.","journal-title":"Philosophical Perspectives"},{"key":"9225_CR14","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1037\/h0041961","volume":"58","author":"L Chapman","year":"1959","unstructured":"Chapman, L., & Chapman, J. (1959). Atmosphere effect re-examined. Journal of Experimental Psychology, 58, 220\u2013226.","journal-title":"Journal of Experimental Psychology"},{"key":"9225_CR15","first-page":"146","volume-title":"Proceedings of Diagrams 2014, LNAI 8578","author":"P Chapman","year":"2014","unstructured":"Chapman, P., Stapleton, G., Rodgers, P., Micallef, L., & Blake, A. (2014). Visualizing sets: An empirical comparison of diagram types. In T. Dwyer, H. Purchase, & A. Delaney (Eds.), Proceedings of Diagrams 2014, LNAI 8578 (pp. 146\u2013160). Berlin, Heidelberg: Springer."},{"key":"9225_CR16","first-page":"242","volume-title":"Proceedings of Diagrams 2004, LNAI 2980","author":"PC-H Cheng","year":"2004","unstructured":"Cheng, P. C.-H. (2004). Why diagrams are (sometimes) six times easier than words: Benefits beyond locational indexing. In A. F. Blackwell, K. Marriott, & A. Shimojima (Eds.), Proceedings of Diagrams 2004, LNAI 2980 (pp. 242\u2013260). Berlin, Heidelberg: Springer."},{"key":"9225_CR17","doi-asserted-by":"crossref","first-page":"928","DOI":"10.2307\/1130105","volume":"56","author":"JS Deloache","year":"1985","unstructured":"Deloache, J. S., Sugarman, S., & Brown, A. L. (1985). The development of error correction strategies in young children\u2019s manipulative play. Child Development, 56, 928\u2013939.","journal-title":"Child Development"},{"key":"9225_CR18","doi-asserted-by":"crossref","first-page":"76","DOI":"10.3758\/BF03197431","volume":"6","author":"LS Dickstein","year":"1978","unstructured":"Dickstein, L. S. (1978). The effect of figure on syllogistic reasoning. Memory and Cognition, 6, 76\u201383.","journal-title":"Memory and Cognition"},{"key":"9225_CR19","doi-asserted-by":"crossref","first-page":"135","DOI":"10.3758\/BF03333584","volume":"18","author":"LS Dickstein","year":"1981","unstructured":"Dickstein, L. S. (1981). The meaning of conversion in syllogistic reasoning. Bulletin of the Psychonomic Society, 18, 135\u2013138.","journal-title":"Bulletin of the Psychonomic Society"},{"key":"9225_CR20","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1016\/S0959-4752(98)00052-8","volume":"9","author":"M Dobson","year":"1999","unstructured":"Dobson, M. (1999). Information enforcement and learning with interactive graphical systems. Learning and Instruction, 9, 365\u2013390.","journal-title":"Learning and Instruction"},{"key":"9225_CR21","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1037\/0033-295X.115.1.1","volume":"115","author":"LA Doumas","year":"2008","unstructured":"Doumas, L. A., Hummel, J. E., & Sandhofer, C. M. (2008). A theory of the discovery and predication of relational concepts. Psychological Review, 115, 1\u201343.","journal-title":"Psychological Review"},{"key":"9225_CR22","doi-asserted-by":"crossref","DOI":"10.56021\/9780801874345","volume-title":"Cogwheels of the mind: The story of venn diagrams","author":"AWF Edwards","year":"2004","unstructured":"Edwards, A. W. F. (2004). Cogwheels of the mind: The story of venn diagrams. Baltimore, MD: The Johns Hopkins University Press."},{"key":"9225_CR23","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1305\/ndjfl\/1093636009","volume":"33","author":"G Englebretsen","year":"1992","unstructured":"Englebretsen, G. (1992). Linear diagrams for syllogisms (with relationals). Notre Dame Journal of Formal Logic, 33, 37\u201369.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9225_CR24","unstructured":"Erickson, J. R. (1974). A set analysis theory of behavior in formal syllogistic reasoning tasks. In R. Solso (Ed.), Loyola symposium on cognition (Vol. 2, pp. 305\u2013329). Hillsdale, NJ: Erlbaum."},{"key":"9225_CR25","volume-title":"Lettres \u00e0 une Princesse d\u2019Allemagne sur Divers Sujets de Physique et de Philosophie","author":"L Euler","year":"1768","unstructured":"Euler, L. (1768). Lettres \u00e0 une Princesse d\u2019Allemagne sur Divers Sujets de Physique et de Philosophie. Saint-P\u00e9tersbourg: De l\u2019Acad\u00e9mie des Sciences."},{"key":"9225_CR26","doi-asserted-by":"crossref","first-page":"454","DOI":"10.1016\/j.tics.2003.08.012","volume":"7","author":"JStBT Evans","year":"2003","unstructured":"Evans, J St B T. (2003). In two minds: Dual-process accounts of reasoning. Trends in Cognitive Sciences, 7, 454\u2013459.","journal-title":"Trends in Cognitive Sciences"},{"key":"9225_CR27","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1146\/annurev.psych.59.103006.093629","volume":"59","author":"JSBT Evans","year":"2008","unstructured":"Evans, J. S. B. T. (2008). Dual processing accounts of reasoning, judgment, and social cognition. Annual Review of Psychology, 59, 255\u2013278.","journal-title":"Annual Review of Psychology"},{"key":"9225_CR28","volume-title":"Human reasoning: The psychology of deduction","author":"JSBT Evans","year":"1993","unstructured":"Evans, J. S. B. T., Newstead, S. E., & Byrne, R. J. (1993). Human reasoning: The psychology of deduction. Hove: Erlbaum."},{"key":"9225_CR29","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1016\/j.jvlc.2011.01.002","volume":"22","author":"A Fish","year":"2011","unstructured":"Fish, A., Khazaei, B., & Roast, C. (2011). User-comprehension of Euler diagrams. Journal of Visual Languages and Computing, 22, 340\u2013354.","journal-title":"Journal of Visual Languages and Computing"},{"key":"9225_CR30","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0010-0277(94)00625-U","volume":"54","author":"M Ford","year":"1994","unstructured":"Ford, M. (1994). Two modes of mental representation and problem solution in syllogistic reasoning. Cognition, 54, 1\u201371.","journal-title":"Cognition"},{"key":"9225_CR31","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1080\/13875868.2005.9683800","volume":"5","author":"M Gattis","year":"2005","unstructured":"Gattis, M. (2005). Inferencing from spatial information. Spatial Cognition and Computation, 5, 119\u2013137.","journal-title":"Spatial Cognition and Computation"},{"key":"9225_CR32","first-page":"189","volume":"7","author":"JD Gergonne","year":"1817","unstructured":"Gergonne, J. D. (1817). Essai de dialectique rationelle. Annuales de Mathematiques Pures et Appliqukes, 7, 189\u2013228.","journal-title":"Annuales de Mathematiques Pures et Appliqukes"},{"key":"9225_CR33","first-page":"561","volume":"2","author":"ML Geis","year":"1971","unstructured":"Geis, M. L., & Zwicky, A. M. (1971). On invited inferences. Linguistic Inquiry, 2, 561\u2013566.","journal-title":"Linguistic Inquiry"},{"key":"9225_CR34","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/S0010-0277(02)00180-4","volume":"86","author":"B Geurts","year":"2003","unstructured":"Geurts, B. (2003). Reasoning with quantifiers. Cognition, 86, 223\u2013251.","journal-title":"Cognition"},{"key":"9225_CR35","first-page":"253","volume-title":"Existence: Semantics and syntax","author":"B Geurts","year":"2007","unstructured":"Geurts, B. (2007). Existential import. In I. Comorovski & K. von Heusinger (Eds.), Existence: Semantics and syntax (pp. 253\u2013271). Netherlands: Springer."},{"key":"9225_CR36","volume-title":"Diagrammatic reasoning: Cognitive & computational perspectives","year":"1995","unstructured":"Glasgow, J., Narayanan, N. H., & Chandrasekaran, B. (Eds.). (1995). Diagrammatic reasoning: Cognitive & computational perspectives. Cambridge, MA: AAAI Press\/MIT Press."},{"key":"9225_CR37","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/0010-0285(72)90009-6","volume":"3","author":"PM Greenfield","year":"1972","unstructured":"Greenfield, P. M., Nelson, K., & Saltzman, E. (1972). The development of rulebound strategies for manipulating seriated cups: A parallel between action and grammar. Cognitive Psychology, 3, 291\u2013310.","journal-title":"Cognitive Psychology"},{"key":"9225_CR38","doi-asserted-by":"crossref","first-page":"533","DOI":"10.1023\/A:1008314528229","volume":"8","author":"CA Gurr","year":"1998","unstructured":"Gurr, C. A., Lee, J., & Stenning, K. (1998). Theories of diagrammatic reasoning: Distinguishing component problems. Minds and Machines, 8, 533\u2013557.","journal-title":"Minds and Machines"},{"key":"9225_CR39","doi-asserted-by":"crossref","first-page":"803","DOI":"10.1017\/S0140525X98001769","volume":"21","author":"GS Halford","year":"1998","unstructured":"Halford, G. S., Wilson, W. H., & Phillips, S. (1998). Processing capacity defined by relational complexity: Implications for comparative, developmental, and cognitive psychology. Behavioral and Brain Sciences, 21, 803\u2013831.","journal-title":"Behavioral and Brain Sciences"},{"key":"9225_CR40","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1016\/j.tics.2010.08.005","volume":"14","author":"GS Halford","year":"2010","unstructured":"Halford, G. S., Wilson, W. H., & Phillips, S. (2010). Relational knowledge: The foundation of higher cognition. Trends in Cognitive Sciences, 14, 497\u2013505.","journal-title":"Trends in Cognitive Sciences"},{"key":"9225_CR41","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1080\/01445349808837293","volume":"19","author":"E Hammer","year":"1998","unstructured":"Hammer, E., & Shin, S. (1998). Euler\u2019s visual logic. History and Philosophy of Logic, 19, 1\u201329.","journal-title":"History and Philosophy of Logic"},{"key":"9225_CR42","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1016\/j.tics.2004.04.001","volume":"8","author":"M Hegarty","year":"2004","unstructured":"Hegarty, M. (2004). Mechanical reasoning by mental simulation. Trends in Cognitive Sciences, 8, 280\u2013285.","journal-title":"Trends in Cognitive Sciences"},{"key":"9225_CR43","doi-asserted-by":"crossref","first-page":"581","DOI":"10.1207\/s15516709cog0000_70","volume":"30","author":"J Heiser","year":"2006","unstructured":"Heiser, J., & Tversky, B. (2006). Arrows in comprehending and producing mechanical diagrams. Cognitive Science, 30, 581\u2013592.","journal-title":"Cognitive Science"},{"key":"9225_CR44","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1145\/230562.230570","volume":"3","author":"M Hertzum","year":"1996","unstructured":"Hertzum, M., & Fr\u00f8kj\u00e6r, E. (1996). Browsing and querying in online documentation: A study of user interfaces and the interaction process. ACM Transactions on Computer\u2013Human Interaction, 3, 136\u2013161.","journal-title":"ACM Transactions on Computer\u2013Human Interaction"},{"key":"9225_CR45","doi-asserted-by":"crossref","first-page":"123","DOI":"10.2307\/2026440","volume":"81","author":"HT Hodes","year":"1984","unstructured":"Hodes, H. T. (1984). Logicism and the ontological commitments of arithmetic. Journal of Philosophy, 81, 123\u201349.","journal-title":"Journal of Philosophy"},{"key":"9225_CR46","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/S0378-2166(99)00053-3","volume":"32","author":"LR Horn","year":"2000","unstructured":"Horn, L. R. (2000). From if to iff: Conditional perfection as pragmatic strengthening. Journal of Pragmatics, 32, 289\u2013326.","journal-title":"Journal of Pragmatics"},{"key":"9225_CR47","first-page":"146","volume-title":"Proceedings of Diagrams 2002, LNAI 2317","author":"J Howse","year":"2002","unstructured":"Howse, J., Molina, F., Shin, S.-J., & Taylor, J. (2002). On diagram tokens and types. In M. Hegarty, B. Meyer, & N. H. Narayanan (Eds.), Proceedings of Diagrams 2002, LNAI 2317 (pp. 146\u2013160). Berlin, Heidelberg: Springer."},{"key":"9225_CR48","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1112\/S1461157000000942","volume":"8","author":"J Howse","year":"2005","unstructured":"Howse, J., Stapleton, G., & Taylor, J. (2005). Spider diagrams. LMS Journal of Computation and Mathematics, 8, 145\u2013194.","journal-title":"LMS Journal of Computation and Mathematics"},{"key":"9225_CR49","doi-asserted-by":"crossref","DOI":"10.7208\/chicago\/9780226177847.001.0001","volume-title":"The body in the mind: The bodily basis of meaning, imagination, and reason","author":"M Johnson","year":"1987","unstructured":"Johnson, M. (1987). The body in the mind: The bodily basis of meaning, imagination, and reason. Chicago, IL: The University of Chicago Press."},{"key":"9225_CR50","volume-title":"Mental models: Towards cognitive science of language, inference, and consciousness","author":"PN Johnson-Laird","year":"1983","unstructured":"Johnson-Laird, P. N. (1983). Mental models: Towards cognitive science of language, inference, and consciousness. Cambridge, MA: Harvard University Press."},{"key":"9225_CR51","volume-title":"Deduction","author":"PN Johnson-Laird","year":"1991","unstructured":"Johnson-Laird, P. N., & Byrne, R. (1991). Deduction. Hillsdale, NJ: Erlbaum."},{"key":"9225_CR52","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1037\/0735-7036.113.2.137","volume":"113","author":"J Johnson-Pynn","year":"1999","unstructured":"Johnson-Pynn, J., Fragaszy, D. M., Hirsh, E. M., Brakke, K. E., & Greenfield, P. M. (1999). Strategies used to combine seriated cups by chimpanzees (Pan troglodytes), bonobos (Pan paniscus), and capuchins (Cebus apella). Journal of Comparative Psychology, 113, 137\u2013148.","journal-title":"Journal of Comparative Psychology"},{"key":"9225_CR53","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/s007990050048","volume":"2","author":"S Jones","year":"1999","unstructured":"Jones, S., McInnes, S., & Staveley, M. S. (1999). A graphical user interface for Boolean query specification. International Journal of Digital Library, 2, 207\u2013223.","journal-title":"International Journal of Digital Library"},{"key":"9225_CR54","volume-title":"The development of logic","author":"W Kneale","year":"1962","unstructured":"Kneale, W., & Kneale, M. (1962). The development of logic. Oxford: Oxford University Press."},{"key":"9225_CR55","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1037\/a0026841","volume":"138","author":"S Khemlani","year":"2012","unstructured":"Khemlani, S., & Johnson-Laird, P. N. (2012). Theories of the syllogism: A meta-analysis. Psychological Bulletin, 138, 427\u2013457.","journal-title":"Psychological Bulletin"},{"key":"9225_CR56","volume-title":"Neues Organon oder Gedanken \u00fcber die Erforschung und Bezeichnung des Wahren und dessen Unterscheidung vom Irrtum und Schein","author":"JH Lambert","year":"1764","unstructured":"Lambert, J. H. (1764). Neues Organon oder Gedanken \u00fcber die Erforschung und Bezeichnung des Wahren und dessen Unterscheidung vom Irrtum und Schein. Leipzig: Johann Wendler."},{"key":"9225_CR57","volume-title":"Where mathematics comes from: How the embodied mind brings mathematics into being","author":"G Lakoff","year":"2000","unstructured":"Lakoff, G., & N\u00fan\u0308ez, R. E. (2000). Where mathematics comes from: How the embodied mind brings mathematics into being. New York, NY: Basic Books."},{"key":"9225_CR58","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1111\/j.1551-6708.1987.tb00863.x","volume":"11","author":"J Larkin","year":"1987","unstructured":"Larkin, J., & Simon, H. (1987). Why a diagram is (sometimes) worth 10,000 words. Cognitive Science, 11, 65\u201399.","journal-title":"Cognitive Science"},{"key":"9225_CR59","unstructured":"Leibniz, G.W. (1903\/1988). Opuscules et fragments in\u00e8dits: extraits des manuscrits de la biblioth\u00e8que royale de Hanovre. L. Couturat (ed). Hildesheim: Georg Olms Verlag."},{"key":"9225_CR60","doi-asserted-by":"crossref","first-page":"573","DOI":"10.1305\/ndjfl\/1039118871","volume":"39","author":"O Lemon","year":"1998","unstructured":"Lemon, O., & Pratt, I. (1998). On the insufficiency of linear diagrams for syllogisms. Notre Dame Journal of Formal Logic, 39, 573\u2013580.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9225_CR61","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1016\/j.cogpsych.2011.12.001","volume":"64","author":"SJ Leslie","year":"2012","unstructured":"Leslie, S. J., & Gelman, S. A. (2012). Quantified statements are recalled as generics: Evidence from preschool children and adults. Cognitive Psychology, 64, 186\u2013214.","journal-title":"Cognitive Psychology"},{"key":"9225_CR62","volume-title":"Opera Ea Quae Ad Adinventam Ab Ipso Artem Universalem, Scientiarum Artiumque Omnium Breui Compendio, Firmaq\u0301; Memoria Apprehendendarum, Locupletiffimaq\u0301; Vel Oratione Ex Tempore Pertractandarum, Pertinent","author":"R Lull","year":"1617","unstructured":"Lull, R. (1617). Opera Ea Quae Ad Adinventam Ab Ipso Artem Universalem, Scientiarum Artiumque Omnium Breui Compendio, Firmaq\u0301; Memoria Apprehendendarum, Locupletiffimaq\u0301; Vel Oratione Ex Tempore Pertractandarum, Pertinent. Strassburg: Lazari Zetzneri."},{"key":"9225_CR63","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1215\/00318108-111-1-25","volume":"111","author":"J MacFarlane","year":"2002","unstructured":"MacFarlane, J. (2002). Frege, Kant, and the logic in logicism. The Philosophical Review, 111, 25\u201365.","journal-title":"The Philosophical Review"},{"key":"9225_CR64","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1080\/14498596.2008.9635147","volume":"53","author":"T Meilinger","year":"2008","unstructured":"Meilinger, T., & Knauff, M. (2008). Ask for directions or use a map: A field experiment on spatial orientation and wayfinding in an urban environment. Journal of Spatial Science, 53, 13\u201323.","journal-title":"Journal of Spatial Science"},{"key":"9225_CR65","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1080\/01449298208914452","volume":"1","author":"A Michard","year":"1982","unstructured":"Michard, A. (1982). Graphical presentation of boolean expressions in a database query language: Design notes and an ergonomic evaluation. Behaviour and Information Technology, 1, 279\u2013288.","journal-title":"Behaviour and Information Technology"},{"key":"9225_CR66","first-page":"188","volume-title":"Proceedings of Diagrams 2008, LNAI 5223","author":"K Mineshima","year":"2008","unstructured":"Mineshima, K., Okada, M., Sato, Y., & Takemura, R. (2008). Diagrammatic reasoning system with Euler circles: Theory and experiment design. In G. Stapleton, J. Howse, & J. Lee (Eds.), Proceedings of Diagrams 2008, LNAI 5223 (pp. 188\u2013205). Berlin Heidelberg: Springer."},{"key":"9225_CR67","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/s10849-012-9160-6","volume":"21","author":"K Mineshima","year":"2012","unstructured":"Mineshima, K., Okada, M., & Takemura, R. (2012a). A diagrammatic reasoning system with Euler circles. Journal of Logic, Language and Information, 21, 365\u2013391.","journal-title":"Journal of Logic, Language and Information"},{"key":"9225_CR68","doi-asserted-by":"crossref","first-page":"753","DOI":"10.1007\/s11225-012-9428-5","volume":"100","author":"K Mineshima","year":"2012","unstructured":"Mineshima, K., Okada, M., & Takemura, R. (2012b). A generalized syllogistic inference system based on inclusion and exclusion relations. Studia Logica, 100, 753\u2013785.","journal-title":"Studia Logica"},{"key":"9225_CR69","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1016\/j.jvlc.2013.08.007","volume":"25","author":"K Mineshima","year":"2014","unstructured":"Mineshima, K., Sato, Y., Takemura, R., & Okada, M. (2014). Towards explaining the cognitive efficacy of Euler diagrams in syllogistic reasoning: A relational perspective. Journal of Visual Languages and Computing, 25, 156\u2013169.","journal-title":"Journal of Visual Languages and Computing"},{"key":"9225_CR70","unstructured":"Monaghan, P., & Stenning, K. (1998). Effects of representational modality and thinking style on learning to solve reasoning problems. In M. A. Gernsbacher & S. J. Derry (Eds.), Proceedings of the 20th annual conference of the cognitive science society (pp. 716\u2013721). Mahwah, NJ: Erlbaum."},{"key":"9225_CR71","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/3-540-58107-3_14","volume-title":"Foundations of knowledge representation and reasoning, LNAI 810","author":"KL Myers","year":"1994","unstructured":"Myers, K. L., & Konolige, K. (1994). Reasoning with analogical representations. In G. Lakemeyer & B. Nebel (Eds.), Foundations of knowledge representation and reasoning, LNAI 810 (pp. 229\u2013249). Berlin, Heidelberg: Springer."},{"key":"9225_CR72","doi-asserted-by":"crossref","first-page":"535","DOI":"10.1016\/S0022-5371(83)90328-6","volume":"22","author":"SE Newstead","year":"1983","unstructured":"Newstead, S. E., & Griggs, R. (1983). Drawing inferences from quantified statements: A study of the square of opposition. Journal of Verbal Learning and Verbal Behavior, 22, 535\u2013546.","journal-title":"Journal of Verbal Learning and Verbal Behavior"},{"key":"9225_CR73","first-page":"259","volume-title":"Cognition and categorization","author":"S Palmer","year":"1978","unstructured":"Palmer, S. (1978). Fundamental aspects of cognitive representation. In E. Rosch & B. Lloyd (Eds.), Cognition and categorization (pp. 259\u2013303). New Jersey: Lawrence Elbaum."},{"key":"9225_CR74","unstructured":"Peirce, C.S. (1897\/1933). Collected papers of Charles Sanders Peirce IV. In C. Hartshorne & P. Weiss (Eds.), Cambridge, MA: Belknap Press of Harvard University Press."},{"key":"9225_CR75","doi-asserted-by":"crossref","first-page":"71","DOI":"10.5334\/pb-45-1-71","volume":"45","author":"N Pfeifer","year":"2005","unstructured":"Pfeifer, N., & Kleiter, G. D. (2005). Towards a mental probability logic. Psychologica Belgica, 45, 71\u2013100.","journal-title":"Psychologica Belgica"},{"key":"9225_CR76","doi-asserted-by":"crossref","first-page":"691","DOI":"10.1207\/s15516709cog0000_75","volume":"30","author":"G Politzer","year":"2006","unstructured":"Politzer, G., van der Henst, J.-B., Luche, C. D., & Noveck, I. A. (2006). The interpretation of classically quantified sentences: A set-theoretic approach. Cognitive Science, 30, 691\u2013723.","journal-title":"Cognitive Science"},{"key":"9225_CR77","doi-asserted-by":"crossref","first-page":"414","DOI":"10.1080\/13546780802407271","volume":"14","author":"G Politzer","year":"2008","unstructured":"Politzer, G., & Mercier, H. (2008). Solving categorical syllogisms with singular premises. Thinking and Reasoning, 14, 414\u2013453.","journal-title":"Thinking and Reasoning"},{"key":"9225_CR78","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/3-540-57207-4_7","volume-title":"Spatial information theory: A theoretical basis for GIS, LNCS 716","author":"I Pratt","year":"1993","unstructured":"Pratt, I. (1993). Map semantics. In A. U. Frank & I. Campari (Eds.), Spatial information theory: A theoretical basis for GIS, LNCS 716 (pp. 77\u201391). Berlin, Heidelberg: Springer."},{"key":"9225_CR79","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/j.jvlc.2013.11.004","volume":"25","author":"HC Purchase","year":"2014","unstructured":"Purchase, H. C. (2014). Twelve years of diagrams research. Journal of Visual Languages and Computing, 25, 57\u201375.","journal-title":"Journal of Visual Languages and Computing"},{"key":"9225_CR80","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/s11229-008-9343-5","volume":"169","author":"M Rescorla","year":"2009","unstructured":"Rescorla, M. (2009). Predication and cartographic representation. Synthese, 169, 175\u2013200.","journal-title":"Synthese"},{"key":"9225_CR81","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1016\/S0022-5371(75)80064-8","volume":"14","author":"R Revlis","year":"1975","unstructured":"Revlis, R. (1975). Two models of syllogistic reasoning: Feature selection and conversion. Journal of Verbal Learning and Verbal Behavior, 14, 180\u2013195.","journal-title":"Journal of Verbal Learning and Verbal Behavior"},{"key":"9225_CR82","unstructured":"Rizzo, A., & Palmonari, M. (2005). The mediating role of artifacts in deductive reasoning. In B. G. Bara, L. Barsalou & M. Bucciarelli (Eds.), Proceedings of the 27th annual conference of the cognitive science society (pp. 1862\u20131867). Austin, TX: Cognitive Science Society."},{"key":"9225_CR83","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1080\/13546780143000008","volume":"7","author":"MJ Roberts","year":"2001","unstructured":"Roberts, M. J., Newstead, S. E., & Griggs, R. A. (2001). Quanntifier interpretation and syllogistic reasoning. Thinking and Reasoning, 7, 173\u2013204.","journal-title":"Thinking and Reasoning"},{"key":"9225_CR84","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1016\/j.jvlc.2013.08.006","volume":"25","author":"P Rodgers","year":"2014","unstructured":"Rodgers, P. (2014). A survey of Euler diagrams. Journal of Visual Languages and Computing, 25, 134\u2013155.","journal-title":"Journal of Visual Languages and Computing"},{"key":"9225_CR85","unstructured":"Sato, Y., Mineshima, K., & Takemura, R. (2010). Constructing internal diagrammatic proofs from external logic diagrams. In R. Catrambone & S. Ohlsson (Eds.), Proceedings of the 32nd annual conference of the cognitive science society (pp. 2668\u20132673). Austin, TX: Cognitive Science Society."},{"key":"9225_CR86","unstructured":"Sato, Y., Mineshima, K., & Takemura, R. (2011). Interpreting logic diagrams: A comparison of two formulations of diagrammatic representations. In C. Hoelscher, T. F. Shipley & L. Carlson (Eds.), Proceedings of the 33rd annual conference of the cognitive science society (pp. 2182\u20132187). Austin, TX: Cognitive Science Society."},{"key":"9225_CR87","doi-asserted-by":"crossref","unstructured":"Sato, Y., Masuda, S., Someya, Y., Tsujii, T., & Watanabe, S. (2015). An fMRI analysis of the efficacy of Euler diagrams in logical reasoning. In Proceedings of 2015 IEEE symposium on visual languages and human-centric computing (9 pp). Los Alamitos, CA: IEEE Computer Society Press.","DOI":"10.1109\/VLHCC.2015.7357209"},{"key":"9225_CR88","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1006\/ijhc.1996.0048","volume":"45","author":"M Scaife","year":"1996","unstructured":"Scaife, M., & Rogers, Y. (1996). External cognition: How do graphical representations work? International Journal of Human\u2013Computer Studies, 45, 185\u2013213.","journal-title":"International Journal of Human\u2013Computer Studies"},{"key":"9225_CR89","unstructured":"Shimojima, A. (1996). On the efficacy of representation. PhD thesis, Indiana University."},{"key":"9225_CR90","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1111\/cogs.12026","volume":"37","author":"A Shimojima","year":"2013","unstructured":"Shimojima, A., & Katagiri, Y. (2013). An eye-tracking study of exploitations of spatial constraints in diagrammatic reasoning. Cognitive Science, 37, 211\u2013254.","journal-title":"Cognitive Science"},{"key":"9225_CR91","volume-title":"The logical status of diagrams","author":"S-J Shin","year":"1994","unstructured":"Shin, S.-J. (1994). The logical status of diagrams. New York: Cambridge University Press."},{"key":"9225_CR92","first-page":"127","volume-title":"Proceedings of Euler diagrams 2004, ENTCS 134","author":"G Stapleton","year":"2005","unstructured":"Stapleton, G. (2005). A survey of reasoning systems based on Euler diagrams. Proceedings of Euler diagrams 2004, ENTCS 134 (pp. 127\u2013151). Amsterdam: Elsevier."},{"key":"9225_CR93","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198507741.001.0001","volume-title":"Seeing reason: Image and language in learning to think","author":"K Stenning","year":"2002","unstructured":"Stenning, K. (2002). Seeing reason: Image and language in learning to think. Oxford: Oxford University Press."},{"key":"9225_CR94","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1080\/01690969508407099","volume":"10","author":"K Stenning","year":"1995","unstructured":"Stenning, K., Cox, R., & Oberlander, J. (1995). Contrasting the cognitive effects of graphical and sentential logic teaching: Reasoning, representation and individual differences. Language and Cognitive Processes, 10, 333\u2013354.","journal-title":"Language and Cognitive Processes"},{"key":"9225_CR95","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1207\/s15516709cog1901_3","volume":"19","author":"K Stenning","year":"1995","unstructured":"Stenning, K., & Oberlander, J. (1995). A cognitive theory of graphical and linguistic reasoning. Cognitive Science, 19, 97\u2013140.","journal-title":"Cognitive Science"},{"key":"9225_CR96","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1023\/A:1006617525134","volume":"15","author":"K Stenning","year":"2001","unstructured":"Stenning, K., & Lemon, O. (2001). Aligning logical and psychological perspectives on diagrammatic reasoning. Artificial Intelligence Review, 15, 29\u201362.","journal-title":"Artificial Intelligence Review"},{"key":"9225_CR97","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1023\/A:1011211207884","volume":"10","author":"K Stenning","year":"2001","unstructured":"Stenning, K., & van Lambalgen, M. (2001). Semantics as a foundation for psychology: A case study of Wason\u2019s selection task. Journal of Logic, Language and Information, 10, 273\u2013317.","journal-title":"Journal of Logic, Language and Information"},{"key":"9225_CR98","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1207\/s15516709cog2804_1","volume":"28","author":"K Stenning","year":"2004","unstructured":"Stenning, K., & van Lambalgen, M. (2004). A little logic goes a long way: Basing experiment on semantic theory in the cognitive science of conditional reasoning. Cognitive Science, 28, 481\u2013529.","journal-title":"Cognitive Science"},{"key":"9225_CR99","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7964.001.0001","volume-title":"Human reasoning and cognitive science","author":"K Stenning","year":"2008","unstructured":"Stenning, K., & van Lambalgen, M. (2008). Human reasoning and cognitive science. Cambridge, MA: MIT Press."},{"key":"9225_CR100","unstructured":"Sugimoto, Y., & Sato, Y. (2015). A specification-aware modeling of syllogistic reasoning with mental models. In N. A. Taatgen, M. K. van Vugt, J. P. Borst & K. Mehlhorn (Eds.), Proceedings of the 13th international conference on cognitive modeling (pp. 31\u201336). Groningen, The Netherlands: University of Groningen."},{"key":"9225_CR101","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1111\/j.1551-6709.2009.01078.x","volume":"34","author":"J Szymanik","year":"2010","unstructured":"Szymanik, J., & Zajenkowski, M. (2010). Comprehension of simple quantifiers: Empirical evaluation of a computational model. Cognitive Science, 34, 521\u2013532.","journal-title":"Cognitive Science"},{"key":"9225_CR102","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/s11225-012-9370-6","volume":"101","author":"R Takemura","year":"2013","unstructured":"Takemura, R. (2013). Proof theory for reasoning with Euler diagrams: A logic translation and normalization. Studia Logica, 101, 157\u2013191.","journal-title":"Studia Logica"},{"key":"9225_CR103","doi-asserted-by":"crossref","DOI":"10.1037\/14127-000","volume-title":"Symbolic logic","author":"J Venn","year":"1881","unstructured":"Venn, J. (1881). Symbolic logic. London: Macmillan."},{"key":"9225_CR104","first-page":"2","volume-title":"Handbook of philosophical logic","author":"D Westerst\u00e5hl","year":"1989","unstructured":"Westerst\u00e5hl, D. (1989). Quantifiers in formal and natural languages. In D. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic (Vol. 4, pp. 2\u2013132). Dordrecht: Reidel."},{"key":"9225_CR105","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1207\/s15516709cog1801_3","volume":"18","author":"J Zhang","year":"1994","unstructured":"Zhang, J., & Norman, D. A. (1994). Representations in distributed cognitive tasks. Cognitive Science, 18, 87\u2013122.","journal-title":"Cognitive Science"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-015-9225-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-015-9225-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-015-9225-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,15]],"date-time":"2023-08-15T02:45:31Z","timestamp":1692067531000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-015-9225-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,8]]},"references-count":105,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2015,12]]}},"alternative-id":["9225"],"URL":"https:\/\/doi.org\/10.1007\/s10849-015-9225-4","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,10,8]]}}}