{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T05:59:40Z","timestamp":1725861580278},"publisher-location":"Cham","reference-count":37,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319423326"},{"type":"electronic","value":"9783319423333"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-42333-3_6","type":"book-chapter","created":{"date-parts":[[2016,7,25]],"date-time":"2016-07-25T03:56:24Z","timestamp":1469418984000},"page":"67-82","source":"Crossref","is-referenced-by-count":12,"title":["The Interaction Between Logic and Geometry in Aristotelian Diagrams"],"prefix":"10.1007","author":[{"given":"Lorenz","family":"Demey","sequence":"first","affiliation":[]},{"given":"Hans","family":"Smessaert","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,7,26]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Benoy, F., Rodgers, P.: Evaluating the comprehension of Euler diagrams. In: 11th International Conference on Information Visualization, pp. 771\u2013778. IEEE Computer Society (2007)","key":"6_CR1","DOI":"10.1109\/IV.2007.45"},{"unstructured":"Blake, A., Stapleton, G., Rodgers, P., Cheek, L., Howse, J.: Does the orientation of an Euler diagram affect user comprehension? In: 18th International Conference on Distributed Multimedia Systems, pp. 185\u2013190. Knowledge Systems Institute (2012)","key":"6_CR2"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/978-3-662-44043-8_16","volume-title":"Diagrammatic Representation and Inference","author":"A Blake","year":"2014","unstructured":"Blake, A., Stapleton, G., Rodgers, P., Cheek, L., Howse, J.: The impact of shape on the perception of Euler diagrams. In: Dwyer, T., Purchase, H., Delaney, A. (eds.) Diagrams 2014. LNCS, vol. 8578, pp. 123\u2013137. Springer, Heidelberg (2014)"},{"key":"6_CR4","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1305\/ndjfl\/1093870683","volume":"25","author":"M Brown","year":"1984","unstructured":"Brown, M.: Generalized quantifiers and the square of opposition. Notre Dame J. Formal Logic 25, 303\u2013322 (1984)","journal-title":"Notre Dame J. Formal Logic"},{"key":"6_CR5","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1007\/978-3-0348-0379-3_17","volume-title":"Around and Beyond the Square of Opposition","author":"F Cavaliere","year":"2012","unstructured":"Cavaliere, F.: Fuzzy syllogisms, numerical square, triangles of contraries, inter-bivalence. In: B\u00e9ziau, J.Y., Jacquette, D. (eds.) Around and Beyond the Square of Opposition, pp. 241\u2013260. Springer, Heidelberg (2012)"},{"key":"6_CR6","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1080\/01445340.2013.764962","volume":"32","author":"S Chatti","year":"2013","unstructured":"Chatti, S., Schang, F.: The cube, the square and the problem of existential import. Hist. Philos. Logic 32, 101\u2013132 (2013)","journal-title":"Hist. Philos. Logic"},{"key":"6_CR7","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/978-3-0348-0379-3_18","volume-title":"Around and Beyond the Square","author":"KF Chow","year":"2012","unstructured":"Chow, K.F.: General patterns of opposition squares and 2n-gons. In: B\u00e9ziau, J.Y., Jacquette, D. (eds.) Around and Beyond the Square, pp. 263\u2013275. Springer, Heidelberg (2012)"},{"key":"6_CR8","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/978-3-0348-0379-3_3","volume-title":"Around and Beyond the Square of Opposition","author":"M Correia","year":"2012","unstructured":"Correia, M.: Boethius on the square of opposition. In: B\u00e9ziau, J.Y., Jacquette, D. (eds.) Around and Beyond the Square of Opposition, pp. 41\u201352. Springer, Heidelberg (2012)"},{"key":"6_CR9","volume-title":"Regular Polytopes","author":"HSM Coxeter","year":"1973","unstructured":"Coxeter, H.S.M.: Regular Polytopes. Dover Publications, Mineola (1973)"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"300","DOI":"10.1007\/978-3-642-31223-6_32","volume-title":"Diagrammatic Representation and Inference","author":"L Demey","year":"2012","unstructured":"Demey, L.: Algebraic aspects of duality diagrams. In: Cox, P., Plimmer, B., Rodgers, P. (eds.) Diagrams 2012. LNCS, vol. 7352, pp. 300\u2013302. Springer, Heidelberg (2012)"},{"key":"6_CR11","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1007\/978-3-0348-0379-3_22","volume-title":"Around and Beyond the Square of Opposition","author":"L Demey","year":"2012","unstructured":"Demey, L.: Structures of oppositions for public announcement logic. In: B\u00e9ziau, J.Y., Jacquette, D. (eds.) Around and Beyond the Square of Opposition, pp. 313\u2013339. Springer, Heidelberg (2012)"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/978-3-319-25591-0_24","volume-title":"Modeling and Using Context","author":"L Demey","year":"2015","unstructured":"Demey, L.: Interactively illustrating the context-sensitivity of Aristotelian diagrams. In: Christiansen, H., Stojanovic, I., Papadopoulos, G. (eds.) CONTEXT 2015. LNCS, vol. 9405, pp. 331\u2013345. Springer, Heidelberg (2015)"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/978-3-662-44043-8_23","volume-title":"Diagrammatic Representation and Inference","author":"L Demey","year":"2014","unstructured":"Demey, L., Smessaert, H.: The relationship between Aristotelian and Hasse diagrams. In: Dwyer, T., Purchase, H., Delaney, A. (eds.) Diagrams 2014. LNCS, vol. 8578, pp. 213\u2013227. Springer, Heidelberg (2014)"},{"unstructured":"Demey, L., Smessaert, H.: Combinatorial bitstring semantics for arbitrary logical fragments (2015, submitted)","key":"6_CR14"},{"key":"6_CR15","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/s11787-015-0136-6","volume":"10","author":"L Demey","year":"2016","unstructured":"Demey, L., Smessaert, H.: Metalogical decorations of logical diagrams. Log. Univers. 10, 233\u2013292 (2016)","journal-title":"Log. Univers."},{"unstructured":"Demey, L., Smessaert, H.: Shape heuristics in Aristotelian diagrams. In: Kutz, O., Borgo, S., Bhatt, M. (eds.) Shapes 3.0 Proceedings. CEUR-WS (forthcoming)","key":"6_CR16"},{"key":"6_CR17","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/s11787-011-0039-0","volume":"6","author":"D Dubois","year":"2012","unstructured":"Dubois, D., Prade, H.: From Blanch\u00e9\u2019s hexagonal organization of concepts to formal concept analysis and possibility theory. Log. Univers. 6, 149\u2013169 (2012)","journal-title":"Log. Univers."},{"key":"6_CR18","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1006\/jvlc.1999.0130","volume":"10","author":"C Gurr","year":"1999","unstructured":"Gurr, C.: Effective diagrammatic communication: syntactic, semantic and pragmatic issues. J. Vis. Lang. Comput. 10, 317\u2013342 (1999)","journal-title":"J. Vis. Lang. Comput."},{"key":"6_CR19","volume-title":"A Natural History of Negation","author":"LR Horn","year":"1989","unstructured":"Horn, L.R.: A Natural History of Negation. University of Chicago Press, Chicago (1989)"},{"key":"6_CR20","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/978-3-0348-0379-3_5","volume-title":"Around and Beyond the Square","author":"D Jacquette","year":"2012","unstructured":"Jacquette, D.: Thinking outside the square of opposition box. In: B\u00e9ziau, J.Y., Jacquette, D. (eds.) Around and Beyond the Square, pp. 73\u201392. Springer, Heidelberg (2012)"},{"key":"6_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-01449-9","volume-title":"Logik im Recht","author":"J Joerden","year":"2010","unstructured":"Joerden, J.: Logik im Recht. Springer, Heidelberg (2010)"},{"key":"6_CR22","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/BF02548910","volume":"4","author":"Z Kraszewski","year":"1956","unstructured":"Kraszewski, Z.: Logika stosunk\u00f3w zakresowych [Logic of extensional relations]. Stud. Logica. 4, 63\u2013116 (1956)","journal-title":"Stud. Logica."},{"key":"6_CR23","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.: Why a diagram is (sometimes) worth ten thousand words. Cogn. Sci. 11, 65\u201399 (1987)","journal-title":"Cogn. Sci."},{"unstructured":"McNamara, P.: Deontic logic. In: Zalta, E.N. (ed.) Stanford Encyclopedia of Philosophy. CSLI (2010)","key":"6_CR24"},{"key":"6_CR25","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/s11787-009-0003-4","volume":"3","author":"A Moretti","year":"2009","unstructured":"Moretti, A.: The geometry of standard deontic logic. Log. Univers. 3, 19\u201357 (2009)","journal-title":"Log. Univers."},{"unstructured":"Parsons, T.: The traditional square of opposition. In: Zalta, E.N. (ed.) Stanford Encyclopedia of Philosophy. CSLI (2006)","key":"6_CR26"},{"key":"6_CR27","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.: A survey of Euler diagrams. J. Vis. Lang. Comput. 25, 134\u2013155 (2014)","journal-title":"J. Vis. Lang. Comput."},{"key":"6_CR28","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4176-8","volume-title":"An Introduction to the Theory of Groups","author":"JJ Rotman","year":"1995","unstructured":"Rotman, J.J.: An Introduction to the Theory of Groups, 4th edn. Springer, New York (1995)","edition":"4"},{"key":"6_CR29","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1353\/lan.2014.0058","volume":"90","author":"P Seuren","year":"2014","unstructured":"Seuren, P., Jaspers, D.: Logico-cognitive structure in the lexicon. Language 90, 607\u2013643 (2014)","journal-title":"Language"},{"key":"6_CR30","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/s11787-009-0010-5","volume":"3","author":"H Smessaert","year":"2009","unstructured":"Smessaert, H.: On the 3D visualisation of logical relations. Log. Univers. 3, 303\u2013332 (2009)","journal-title":"Log. Univers."},{"key":"6_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/978-3-642-31223-6_21","volume-title":"Diagrammatic Representation and Inference","author":"H Smessaert","year":"2012","unstructured":"Smessaert, H.: Boolean differences between two hexagonal extensions of the logical square of oppositions. In: Cox, P., Plimmer, B., Rodgers, P. (eds.) Diagrams 2012. LNCS, vol. 7352, pp. 193\u2013199. Springer, Heidelberg (2012)"},{"key":"6_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1007\/978-3-662-44043-8_26","volume-title":"Diagrammatic Representation and Inference","author":"H Smessaert","year":"2014","unstructured":"Smessaert, H., Demey, L.: Logical and geometrical complementarities between Aristotelian diagrams. In: Dwyer, T., Purchase, H., Delaney, A. (eds.) Diagrams 2014. LNCS, vol. 8578, pp. 246\u2013260. Springer, Heidelberg (2014)"},{"key":"6_CR33","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1007\/s10849-014-9207-y","volume":"23","author":"H Smessaert","year":"2014","unstructured":"Smessaert, H., Demey, L.: Logical geometries and information in the square of opposition. J. Logic Lang. Inform. 23, 527\u2013565 (2014)","journal-title":"J. Logic Lang. Inform."},{"unstructured":"Smessaert, H., Demey, L.: The unreasonable effectiveness of bitstrings in logical geometry. In: B\u00e9ziau, J.Y. (ed.) Proceedings of Square (2014, forthcoming)","key":"6_CR34"},{"doi-asserted-by":"crossref","unstructured":"Smessaert, H., Demey, L.: Visualising the Boolean algebra $$\\mathbb{B}_4$$ in 3D. In: Jamnik, M., Uesaka, Y., Elzer Schwartz, S. (eds.) Diagrams 2016. LNCS, vol. 9781, pp. 289\u2013292. Springer, Heidelberg (2016)","key":"6_CR35","DOI":"10.1007\/978-3-319-42333-3_26"},{"key":"6_CR36","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/1-4020-3613-2_3","volume-title":"Visualization in Science Education","author":"B Tversky","year":"2005","unstructured":"Tversky, B.: Prolegomenon to scientific visualizations. In: Gilbert, J.K. (ed.) Visualization in Science Education, pp. 29\u201342. Springer, Heidelberg (2005)"},{"key":"6_CR37","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1111\/j.1756-8765.2010.01113.x","volume":"3","author":"B Tversky","year":"2011","unstructured":"Tversky, B.: Visualizing thought. Top. Cogn. Sci. 3, 499\u2013535 (2011)","journal-title":"Top. Cogn. Sci."}],"container-title":["Lecture Notes in Computer Science","Diagrammatic Representation and Inference"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-42333-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,11]],"date-time":"2019-09-11T17:08:09Z","timestamp":1568221689000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-42333-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319423326","9783319423333"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-42333-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}