{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T04:15:04Z","timestamp":1760242504462,"version":"build-2065373602"},"reference-count":92,"publisher":"MDPI AG","issue":"10","license":[{"start":{"date-parts":[[2017,9,29]],"date-time":"2017-09-29T00:00:00Z","timestamp":1506643200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Symmetry"],"abstract":"<jats:p>Aristotelian diagrams visualize the logical relations among a finite set of objects. These diagrams originated in philosophy, but recently, they have also been used extensively in artificial intelligence, in order to study (connections between) various knowledge representation formalisms. In this paper, we develop the idea that Aristotelian diagrams can be fruitfully studied as geometrical entities. In particular, we focus on four polyhedral Aristotelian diagrams for the Boolean algebra     B 4    , viz. the rhombic dodecahedron, the tetrakis hexahedron, the tetraicosahedron and the nested tetrahedron. After an in-depth investigation of the geometrical properties and interrelationships of these polyhedral diagrams, we analyze the correlation (or lack thereof) between logical (Hamming) and geometrical (Euclidean) distance in each of these diagrams. The outcome of this analysis is that the Aristotelian rhombic dodecahedron and tetrakis hexahedron exhibit the strongest degree of correlation between logical and geometrical distance; the tetraicosahedron performs worse; and the nested tetrahedron has the lowest degree of correlation. Finally, these results are used to shed new light on the relative strengths and weaknesses of these polyhedral Aristotelian diagrams, by appealing to the congruence principle from cognitive research on diagram design.<\/jats:p>","DOI":"10.3390\/sym9100204","type":"journal-article","created":{"date-parts":[[2017,9,29]],"date-time":"2017-09-29T12:24:04Z","timestamp":1506687844000},"page":"204","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Logical and Geometrical Distance in Polyhedral Aristotelian Diagrams in Knowledge Representation"],"prefix":"10.3390","volume":"9","author":[{"given":"Lorenz","family":"Demey","sequence":"first","affiliation":[{"name":"Center for Logic and Analytic Philosophy, KU Leuven, 3000 Leuven, Belgium"}]},{"given":"Hans","family":"Smessaert","sequence":"additional","affiliation":[{"name":"Research Group on Formal and Computational Linguistics, KU Leuven, 3000 Leuven, Belgium"}]}],"member":"1968","published-online":{"date-parts":[[2017,9,29]]},"reference":[{"key":"ref_1","unstructured":"Zalta, E.N. (2012). The Traditional Square of Opposition. Stanford Encyclopedia of Philosophy, CSLI."},{"key":"ref_2","doi-asserted-by":"crossref","unstructured":"B\u00e9ziau, J.Y., and Jacquette, D. (2012). John Buridan\u2019s Theory of Consequence and His Octagons of Opposition. Around and Beyond the Square of Opposition, Springer.","DOI":"10.1007\/978-3-0348-0379-3"},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/s11787-016-0143-2","article-title":"Leibniz\u2019s Logic and the \u201cCube of Opposition\u201d","volume":"10","author":"Lenzen","year":"2016","journal-title":"Log. Univ."},{"key":"ref_4","first-page":"398","article-title":"The Logical Square and the Table of Oppositions. Five Puzzles about the Traditional Square of Opposition Solved by Taking up a Hint from Frege","volume":"15","author":"Kienzler","year":"2013","journal-title":"Log. Anal. Hist. Philos."},{"key":"ref_5","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/s10339-009-0265-z","article-title":"Deontic reasoning reviewed: Psychological questions, empirical findings, and current theories","volume":"11","author":"Beller","year":"2010","journal-title":"Cognit. Process."},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/j.tics.2006.12.007","article-title":"Universal moral grammar: Theory, evidence and the future","volume":"11","author":"Mikhail","year":"2007","journal-title":"Trends Cognit. Sci."},{"key":"ref_7","doi-asserted-by":"crossref","first-page":"1017","DOI":"10.1093\/jigpal\/jzt008","article-title":"Universal vs. Particular Reasoning: A Study with Neuroimaging Techniques","volume":"21","author":"Abrusci","year":"2013","journal-title":"Log. J. IGPL"},{"key":"ref_8","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/s10579-009-9089-9","article-title":"FactBank: A Corpus Annotated with Event Factuality","volume":"43","author":"Pustejovsky","year":"2009","journal-title":"Lang. Resour. Eval."},{"key":"ref_9","doi-asserted-by":"crossref","unstructured":"Joerden, J. (2010). Logik im Recht, Springer.","DOI":"10.1007\/978-3-642-01449-9"},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"279","DOI":"10.2307\/825871","article-title":"Using the Square of Opposition to Illustrate the Deontic and Alethic Relations Constituting Rights","volume":"45","year":"1995","journal-title":"Univ. Tor. Law J."},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1093\/ejil\/chl002","article-title":"The Definition of \u2018Norm Conflict\u2019 in International Law and Legal Theory","volume":"17","author":"Vranes","year":"2006","journal-title":"Eur. J. Int. Law"},{"key":"ref_12","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/s10849-015-9215-6","article-title":"Not Only Barbara","volume":"24","author":"Dekker","year":"2015","journal-title":"J. Log. Lang. Inf."},{"key":"ref_13","unstructured":"Horn, L.R. (1989). A Natural History of Negation, University of Chicago Press."},{"key":"ref_14","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1353\/lan.2014.0058","article-title":"Logico-Cognitive Structure in the Lexicon","volume":"90","author":"Seuren","year":"2014","journal-title":"Language"},{"key":"ref_15","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1093\/jos\/13.3.181","article-title":"Modality: The Three-layered Scalar Square","volume":"13","year":"1996","journal-title":"J. Semant."},{"key":"ref_16","doi-asserted-by":"crossref","unstructured":"Gl\u00f6ckner, I. (2006). Fuzzy Quantifiers, Springer.","DOI":"10.1007\/3-540-32503-4"},{"key":"ref_17","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/j.fss.2013.05.006","article-title":"Analysis of Generalized Square of Opposition with Intermediate Quantifiers","volume":"242","year":"2014","journal-title":"Fuzzy Sets Syst."},{"key":"ref_18","doi-asserted-by":"crossref","unstructured":"Carvalho, J.P., Lesot, M.J., Kaymak, U., Vieiram, S., Bouchon-Meunier, B., and Yager, R.R. (2016). Graded Generalized Hexagon in Fuzzy Natural Logic. Information Processing and Management of Uncertainty in Knowledge-Based Systems 2016, Part II, Springer. CCIS 611.","DOI":"10.1007\/978-3-319-40581-0"},{"key":"ref_19","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/s11787-016-0146-z","article-title":"Syllogisms and 5-Square of Opposition with Intermediate Quantifiers in Fuzzy Natural Logic","volume":"10","year":"2016","journal-title":"Log. Univ."},{"key":"ref_20","doi-asserted-by":"crossref","unstructured":"Collan, M., Fedrizzi, M., and Kacprzyk, J. (2016). Turning Around the Ideas of \u2018Meaning\u2019 and \u2018Complement\u2019. Fuzzy Technology, Springer. SFSC 335.","DOI":"10.1007\/978-3-319-26986-3"},{"key":"ref_21","doi-asserted-by":"crossref","unstructured":"Carnielli, W., and Pizzi, C. (2008). Modalities and Multimodalities, Springer.","DOI":"10.1007\/978-1-4020-8590-1"},{"key":"ref_22","doi-asserted-by":"crossref","unstructured":"B\u00e9ziau, J.Y., and Jacquette, D. (2012). Structures of Oppositions for Public Announcement Logic. Around and Beyond the Square of Opposition, Springer.","DOI":"10.1007\/978-3-0348-0379-3"},{"key":"ref_23","doi-asserted-by":"crossref","unstructured":"Fitting, M., and Mendelsohn, R.L. (1998). First-Order Modal Logic, Kluwer.","DOI":"10.1007\/978-94-011-5292-1"},{"key":"ref_24","doi-asserted-by":"crossref","unstructured":"B\u00e9ziau, J.Y., and Jacquette, D. (2012). How to Square Knowledge and Belief. Around and Beyond the Square of Opposition, Springer.","DOI":"10.1007\/978-3-0348-0379-3"},{"key":"ref_25","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/s11787-007-0022-y","article-title":"Logical Extensions of Aristotle\u2019s Square","volume":"2","author":"Luzeaux","year":"2008","journal-title":"Log. Univ."},{"key":"ref_26","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1016\/j.jal.2015.09.012","article-title":"Transitivity in Coherence-Based Probability Logic","volume":"14","author":"Gilio","year":"2016","journal-title":"J. Appl. Log."},{"key":"ref_27","doi-asserted-by":"crossref","unstructured":"Pfeifer, N., and Sanfilippo, G. (2017). Square of Opposition under Coherence. Soft Methods for Data Science, Springer. AISC 456.","DOI":"10.1007\/978-3-319-42972-4_50"},{"key":"ref_28","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1016\/j.ijar.2017.05.014","article-title":"Probabilistic Squares and Hexagons of Opposition under Coherence","volume":"88","author":"Pfeifer","year":"2017","journal-title":"Int. J. Approx. Reason."},{"key":"ref_29","unstructured":"Cabalar, P., Herzig, M.D.A., and Pearce, D. (2016). Foundations for a Logic of Arguments. Logical Reasoning and Computation: Essays Dedicated to Luis Fari\u00f1as del Cerro, IRIT."},{"key":"ref_30","doi-asserted-by":"crossref","first-page":"19","DOI":"10.4018\/jcini.2012070102","article-title":"Can AI Models Capture Natural Language Argumentation?","volume":"6","author":"Amgoud","year":"2012","journal-title":"Int. J. Cognit. Inf. Nat. Intell."},{"key":"ref_31","doi-asserted-by":"crossref","unstructured":"Amgoud, L., and Prade, H. (2012). Towards a Logic of Argumentation. Scalable Uncertainty Management 2012, Springer. LNCS 7520.","DOI":"10.1007\/978-3-642-33362-0_43"},{"key":"ref_32","doi-asserted-by":"crossref","unstructured":"van der Gaag, L.C. (2013). A Formal Concept View of Formal Argumentation. Symbolic and Quantiative Approaches to Resoning with Uncertainty (ECSQARU 2013), Springer. LNCS 7958.","DOI":"10.1007\/978-3-642-39091-3"},{"key":"ref_33","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-2015-1282","article-title":"Structures of Opposition in Fuzzy Rough Sets","volume":"142","author":"Ciucci","year":"2015","journal-title":"Fundam. Inform."},{"key":"ref_34","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/s10472-015-9480-8","article-title":"Structures of opposition induced by relations. The Boolean and the gradual cases","volume":"76","author":"Ciucci","year":"2016","journal-title":"Ann. Math. Artif. Intell."},{"key":"ref_35","doi-asserted-by":"crossref","unstructured":"Magdalena, L., Verdegay, J.L., and Esteva, F. (2015). Gradual Structures of Oppositions. Enric Trillas: A Passion for Fuzzy Sets, Springer. SFSC 322.","DOI":"10.1007\/978-3-319-16235-5"},{"key":"ref_36","doi-asserted-by":"crossref","unstructured":"Dubois, D., Prade, H., and Rico, A. (2017). Graded Cubes of Opposition and Possibility Theory with Fuzzy Events. Int. J. Approx. Reason., in press.","DOI":"10.1016\/j.ijar.2017.02.006"},{"key":"ref_37","doi-asserted-by":"crossref","unstructured":"Beierle, C., and Meghini, C. (2014). The Structure of Oppositions in Rough Set Theory and Formal Concept Analysis\u2014Toward a New Bridge between the Two Settings. Foundations of Information and Knowledge Systems (FoIKS 2014), Springer. LNCS 8367.","DOI":"10.1007\/978-3-319-04939-7"},{"key":"ref_38","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/s11787-011-0039-0","article-title":"From Blanch\u00e9\u2019s Hexagonal Organization of Concepts to Formal Concept Analysis and Possibility Theory","volume":"6","author":"Dubois","year":"2012","journal-title":"Log. Univ."},{"key":"ref_39","doi-asserted-by":"crossref","unstructured":"Baixeries, J., Sacarea, C., and Ojeda-Aciego, M. (2015). Formal Concept Analysis from the Standpoint of Possibility Theory. Formal Concept Analysis (ICFCA 2015), Springer. LNCS 9113.","DOI":"10.1007\/978-3-319-19545-2"},{"key":"ref_40","doi-asserted-by":"crossref","unstructured":"Li, T., Nguyen, H.S., Wang, G., Grzymala-Busse, J., Janicki, R., Hassanien, A.E., and Yu, H. (2012). Oppositions in Rough Set Theory. Rough Sets and Knowledge Technology, Springer. LNCS 7414.","DOI":"10.1007\/978-3-642-31900-6"},{"key":"ref_41","doi-asserted-by":"crossref","first-page":"49","DOI":"10.3233\/FI-2013-895","article-title":"Duality in Rough Set Theory Based on the Square of Opposition","volume":"127","author":"Yao","year":"2013","journal-title":"Fundam. Inform."},{"key":"ref_42","unstructured":"Yang, Q., and Wooldridge, M. The Cube of Opposition\u2014A Structure underlying many Knowledge Representation Formalisms. Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015)."},{"key":"ref_43","doi-asserted-by":"crossref","unstructured":"Dubois, D., Prade, H., and Rico, A. (2015). The Cube of Opposition and the Complete Appraisal of Situations by Means of Sugeno Integrals. Foundations of Intelligent Systems (ISMIS 2015), Springer. LNCS 9384.","DOI":"10.1007\/978-3-319-25252-0_21"},{"key":"ref_44","doi-asserted-by":"crossref","unstructured":"Kacprzyk, J., Filev, D., and Beliakov, G. (2017). Organizing Families of Aggregation Operators into a Cube of Opposition. Granular, Soft and Fuzzy Approaches for Intelligent Systems, Springer.","DOI":"10.1007\/978-3-319-40314-4"},{"key":"ref_45","doi-asserted-by":"crossref","unstructured":"Miclet, L., and Prade, H. (2014). Analogical Proportions and Square of Oppositions. Information Processing and Management of Uncertainty in Knowledge-Based Systems 2014, Part II, Springer. CCIS 442.","DOI":"10.1007\/978-3-319-08855-6_33"},{"key":"ref_46","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1007\/s11787-013-0089-6","article-title":"From Analogical Proportion to Logical Proportions","volume":"7","author":"Prade","year":"2013","journal-title":"Log. Univ."},{"key":"ref_47","unstructured":"Pasi, G., Montero, J., and Ciucci, D. Picking the one that does not fit\u2014A matter of logical proportions. Proceedings of the 8th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-13)."},{"key":"ref_48","doi-asserted-by":"crossref","unstructured":"Prade, H., and Richard, G. (2016). On Different Ways to be (dis)similar to Elements in a Set. Boolean Analysis and Graded Extension. Information Processing and Management of Uncertainty in Knowledge-Based Systems 2016, Part II, Springer. CCIS 611.","DOI":"10.1007\/978-3-319-40581-0_49"},{"key":"ref_49","unstructured":"Dodig-Crnkovic, G., and Giovagnoli, R. (2017). From the Structures of Opposition Between Similarity and Dissimilarity Indicators to Logical Proportions. Representation and Reality in Humans, Other Living Organisms and Intelligent Machines, Springer."},{"key":"ref_50","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1007\/s10849-014-9207-y","article-title":"Logical Geometries and Information in the Square of Opposition","volume":"23","author":"Smessaert","year":"2014","journal-title":"J. Log. Lang. Inf."},{"key":"ref_51","doi-asserted-by":"crossref","unstructured":"Demey, L., and Smessaert, H. (2017). Combinatorial Bitstring Semantics for Arbitrary Logical Fragments. J. Philos. Log.","DOI":"10.1007\/s10992-017-9430-5"},{"key":"ref_52","doi-asserted-by":"crossref","unstructured":"Christiansen, H., Stojanovic, I., and Papadopoulos, G. (2015). Interactively Illustrating the Context-Sensitivity of Aristotelian Diagrams. Modeling and Using Context, Springer. LNCS 9405.","DOI":"10.1007\/978-3-319-25591-0"},{"key":"ref_53","unstructured":"Kutz, O., Borgo, S., and Bhatt, M. (2016). Shape Heuristics in Aristotelian Diagrams. Shapes 3.0 Proceedings, CEUR. Workshop Proceedings 1616."},{"key":"ref_54","doi-asserted-by":"crossref","unstructured":"Jamnik, M., Uesaka, Y., and Elzer Schwartz, S. (2016). The Interaction between Logic and Geometry in Aristotelian Diagrams. Diagrammatic Representation and Inference, Springer. LNCS 9781.","DOI":"10.1007\/978-3-319-42333-3"},{"key":"ref_55","doi-asserted-by":"crossref","unstructured":"Jamnik, M., Uesaka, Y., and Elzer Schwartz, S. (2016). Visualising the Boolean Algebra \n          \n            \n              \n                B\n                4\n              \n            \n          \n         in 3D. Diagrammatic Representation and Inference, Springer. LNCS 9781.","DOI":"10.1007\/978-3-319-42333-3"},{"key":"ref_56","doi-asserted-by":"crossref","unstructured":"Dwyer, T., Purchase, H., and Delaney, A. (2014). The Relationship between Aristotelian and Hasse Diagrams. Diagrammatic Representation and Inference, Springer. LNCS 8578.","DOI":"10.1007\/978-3-662-44043-8"},{"key":"ref_57","doi-asserted-by":"crossref","unstructured":"Demey, L., and Smessaert, H. (2017). Geometric and Cognitive Differences between Aristotelian Diagrams for the Boolean Algebra \n          \n            \n              \n                B\n                4\n              \n            \n          \n        . submitted.","DOI":"10.1007\/s10472-018-9585-y"},{"key":"ref_58","doi-asserted-by":"crossref","unstructured":"Mutzel, P., J\u00fcnger, M., and Leipert, S. (2002). A Short Note on the History of Graph Drawing. Graph Drawing (GD 2001), Springer. LNCS 2265.","DOI":"10.1007\/3-540-45848-4"},{"key":"ref_59","unstructured":"Ford, B.J. (1993). Images of Science: A History of Scientific Illustration, Oxford University Press."},{"key":"ref_60","unstructured":"Moretti, A. (2009). The Geometry of Logical Opposition. [Ph.D. Thesis, University of Neuch\u00e2tel]."},{"key":"ref_61","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/s11787-009-0010-5","article-title":"On the 3D Visualisation of Logical Relations","volume":"3","author":"Smessaert","year":"2009","journal-title":"Log. Univ."},{"key":"ref_62","first-page":"218","article-title":"New light on the square of oppositions and its nameless corner","volume":"10","year":"2003","journal-title":"Log. Investig."},{"key":"ref_63","doi-asserted-by":"crossref","unstructured":"Koslow, A., and Buchsbaum, A. (2015). B\u00e9ziau\u2019s Contributions to the Logical Geometry of Modalities and Quantifiers. The Road to Universal Logic, Springer.","DOI":"10.1007\/978-3-319-10193-4"},{"key":"ref_64","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/s11787-008-0038-y","article-title":"Setting n-Opposition","volume":"2","author":"Pellissier","year":"2008","journal-title":"Log. Univ."},{"key":"ref_65","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/s11787-009-0003-4","article-title":"The Geometry of Standard Deontic Logic","volume":"3","author":"Moretti","year":"2009","journal-title":"Log. Univ."},{"key":"ref_66","doi-asserted-by":"crossref","unstructured":"Gilbert, J.K. (2005). Prolegomenon to Scientific Visualizations. Visualization in Science Education, Springer.","DOI":"10.1007\/1-4020-3613-2"},{"key":"ref_67","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1111\/j.1756-8765.2010.01113.x","article-title":"Visualizing Thought","volume":"3","author":"Tversky","year":"2011","journal-title":"Top. Cognit. Sci."},{"key":"ref_68","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1080\/01445340.2014.981022","article-title":"Was Lewis Carroll an Amazing Oppositional Geometer?","volume":"35","author":"Moretti","year":"2014","journal-title":"Hist. Philos. Log."},{"key":"ref_69","doi-asserted-by":"crossref","unstructured":"Dwyer, T., Purchase, H., and Delaney, A. (2014). Logical and Geometrical Complementarities between Aristotelian Diagrams. Diagrammatic Representation and Inference, Springer. LNCS 8578.","DOI":"10.1007\/978-3-662-44043-8"},{"key":"ref_70","doi-asserted-by":"crossref","unstructured":"Givant, S., and Halmos, P. (2009). Introduction to Boolean Algebras, Springer.","DOI":"10.1007\/978-0-387-68436-9_2"},{"key":"ref_71","doi-asserted-by":"crossref","unstructured":"B\u00e9ziau, J.Y., and Basti, G. (2017). The Unreasonable Effectiveness of Bitstrings in Logical Geometry. The Square of Opposition: A Cornerstone of Thought, Springer.","DOI":"10.1007\/978-3-319-45062-9"},{"key":"ref_72","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/s11787-015-0136-6","article-title":"Metalogical Decorations of Logical Diagrams","volume":"10","author":"Demey","year":"2016","journal-title":"Log. Univ."},{"key":"ref_73","unstructured":"Demey, L. (2017). Metalogic, Metalanguage and Logical Geometry. submitted."},{"key":"ref_74","doi-asserted-by":"crossref","unstructured":"Davey, B., and Priestley, H. (2002). Introduction to Lattices and Order, Cambridge University Press.","DOI":"10.1017\/CBO9780511809088"},{"key":"ref_75","first-page":"79","article-title":"The Mathematics of Charles Sanders Peirce","volume":"8","author":"Kauffman","year":"2001","journal-title":"Cybern. Hum. Knowing"},{"key":"ref_76","unstructured":"Houser, N., Roberts, D.D., and Van Evra, J. (1997). Untapped potential in Peirce\u2019s iconic notation for the sixteen binary connectives. Studies in the Logic of Charles Peirce, Indiana University Press."},{"key":"ref_77","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/0898-1221(88)90213-1","article-title":"A Survey of the Theory of Hypercube Graphs","volume":"15","author":"Harary","year":"1988","journal-title":"Comput. Math. Appl."},{"key":"ref_78","unstructured":"Coxeter, H.S.M. (1973). Regular Polytopes, Dover Publications."},{"key":"ref_79","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1111\/j.1551-6708.1987.tb00863.x","article-title":"Why a Diagram is (Sometimes) Worth Ten Thousand Words","volume":"11","author":"Larkin","year":"1987","journal-title":"Cognit. Sci."},{"key":"ref_80","unstructured":"Conway, J.H., Burgiel, H., and Goodman-Strauss, C. (2008). The Symmetries of Things, CRC Press."},{"key":"ref_81","doi-asserted-by":"crossref","unstructured":"Wenninger, M. (1974). Polyhedron Models, Cambridge University Press.","DOI":"10.2307\/1572836"},{"key":"ref_82","doi-asserted-by":"crossref","unstructured":"Wenninger, M. (1983). Dual Models, Cambridge University Press.","DOI":"10.1017\/CBO9780511569371"},{"key":"ref_83","doi-asserted-by":"crossref","unstructured":"Senechal, M. (2013). Regular and Semiregular Polyhedra. Shaping Space. Exploring Polyhedra in Nature, Art, and the Geometrical Imagination, Springer.","DOI":"10.1007\/978-0-387-92714-5"},{"key":"ref_84","doi-asserted-by":"crossref","unstructured":"Senechal, M. (2013). Six Recipes for Making Polyhedra. Shaping Space. Exploring Polyhedra in Nature, Art, and the Geometrical Imagination, Springer.","DOI":"10.1007\/978-0-387-92714-5"},{"key":"ref_85","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1017\/S0012217300031206","article-title":"Remarques sur la Th\u00e9orie de l\u2019hexagone logique de Blanch\u00e9","volume":"7","author":"Sauriol","year":"1968","journal-title":"Dialogue"},{"key":"ref_86","doi-asserted-by":"crossref","first-page":"169","DOI":"10.4153\/CJM-1966-021-8","article-title":"Convex Polyhedra with Regular Faces","volume":"18","author":"Johnson","year":"1966","journal-title":"Can. J. Math."},{"key":"ref_87","unstructured":"Carroll, L. (1977). Symbolic Logic. Edited, with Annotations and an Introduction by William Warren Bartley III, Clarkson N. Potter."},{"key":"ref_88","doi-asserted-by":"crossref","unstructured":"Roth, R.M. (2006). Introduction to Coding Theory, Cambridge University Press.","DOI":"10.1017\/CBO9780511808968"},{"key":"ref_89","doi-asserted-by":"crossref","unstructured":"Deza, M.M., and Deza, E. (2009). Encyclopedia of Distances, Springer.","DOI":"10.1007\/978-3-642-00234-2"},{"key":"ref_90","doi-asserted-by":"crossref","unstructured":"Van De Velde, F., Smessaert, H., Van Eynde, F., and Verbrugge, S. (2014). Logische geometrie en pragmatiek. Patroon en Argument, Leuven University Press.","DOI":"10.2307\/j.ctt14jxsr0"},{"key":"ref_91","first-page":"155","article-title":"On the Logic of \u201cFew\u201d, \u201cMany\u201d, and \u201cMost\u201d","volume":"20","author":"Peterson","year":"1979","journal-title":"Notre Dame J. Form. Log."},{"key":"ref_92","unstructured":"Demey, L., and Smessaert, H. (2017). The Logical Geometry of the Boolean Algebra \n          \n            \n              \n                B\n                4\n              \n            \n          \n        . Unpublished work."}],"container-title":["Symmetry"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2073-8994\/9\/10\/204\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T18:46:18Z","timestamp":1760208378000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2073-8994\/9\/10\/204"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,29]]},"references-count":92,"journal-issue":{"issue":"10","published-online":{"date-parts":[[2017,10]]}},"alternative-id":["sym9100204"],"URL":"https:\/\/doi.org\/10.3390\/sym9100204","relation":{},"ISSN":["2073-8994"],"issn-type":[{"type":"electronic","value":"2073-8994"}],"subject":[],"published":{"date-parts":[[2017,9,29]]}}}