{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T15:59:40Z","timestamp":1762444780865,"version":"3.37.3"},"reference-count":96,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2018,5,2]],"date-time":"2018-05-02T00:00:00Z","timestamp":1525219200000},"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":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.1007\/s10472-018-9585-y","type":"journal-article","created":{"date-parts":[[2018,5,2]],"date-time":"2018-05-02T03:03:37Z","timestamp":1525230217000},"page":"185-208","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Geometric and cognitive differences between logical diagrams for the Boolean algebra B 4 $\\mathbb {B}_{4}$"],"prefix":"10.1007","volume":"83","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0176-1958","authenticated-orcid":false,"given":"Lorenz","family":"Demey","sequence":"first","affiliation":[]},{"given":"Hans","family":"Smessaert","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,5,2]]},"reference":[{"key":"9585_CR1","unstructured":"Amgoud, L., Besnard, P., Hunter, A.: Foundations for a logic of arguments. In: Cabalar, P., Herzig, M.D.A., Pearce, D. (eds.) Logical Reasoning and Computation: Essays Dedicated to Luis Fari\u00f1as Del Cerro, pp. 95\u2013107. IRIT, Toulouse (2016)"},{"issue":"3","key":"9585_CR2","doi-asserted-by":"publisher","first-page":"19","DOI":"10.4018\/jcini.2012070102","volume":"6","author":"L Amgoud","year":"2012","unstructured":"Amgoud, L., Prade, H.: Can AI models capture natural language argumentation? International Journal of Cognitive Informatics and Natural Intelligence 6(3), 19\u201332 (2012)","journal-title":"International Journal of Cognitive Informatics and Natural Intelligence"},{"key":"9585_CR3","doi-asserted-by":"crossref","unstructured":"Amgoud, L., Prade, H.: Towards a logic of argumentation. In: H\u00fcllermeier, E., et al. (eds.) Scalable Uncertainty Management 2012, LNCS 7520, pp. 558\u2013565. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-33362-0_43"},{"key":"9585_CR4","doi-asserted-by":"crossref","unstructured":"Amgoud, L., Prade, H.: A formal concept view of formal argumentation. In: van der Gaag, L.C. (ed.) Symbolic and Quantiative Approaches to Reasoning with Uncertainty (ECSQARU 2013), LNCS 7958, pp. 1\u201312. Springer, Berlin (2013)","DOI":"10.1007\/978-3-642-39091-3_1"},{"key":"9585_CR5","volume-title":"Category Theory for Computing Science","author":"M Barr","year":"1990","unstructured":"Barr, M., Wells, C.: Category Theory for Computing Science. Prentice Hall, New York (1990)"},{"key":"9585_CR6","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/s11787-007-0023-x","volume":"2","author":"P Bernhard","year":"2008","unstructured":"Bernhard, P.: Visualizations of the square of opposition. Log. Univers. 2, 31\u201341 (2008)","journal-title":"Log. Univers."},{"key":"9585_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-8590-1","volume-title":"Modalities and Multimodalities","author":"W Carnielli","year":"2008","unstructured":"Carnielli, W., Pizzi, C.: Modalities and Multimodalities. Springer, Dordrecht (2008)"},{"key":"9585_CR8","volume-title":"Symbolic Logic. Edited, Annotations, with and an Introduction by William Warren Bartley III","author":"L Carroll","year":"1977","unstructured":"Carroll, L.: Symbolic Logic. Edited, Annotations, with and an Introduction by William Warren Bartley III. Clarkson N. Potter, New York (1977)"},{"key":"9585_CR9","doi-asserted-by":"crossref","unstructured":"Chapman, P., Stapleton, G., Rodgers, P., Micallef, L., Blake, A.: Visualizing sets: an empirical comparison of diagram types. In: Dwyer, T., Purchase, H., Delaney, A. (eds.) Diagrammatic Representation and Inference, LNCS 8578, pp.146\u2013160. Springer, Berlin (2014)","DOI":"10.1007\/978-3-662-44043-8_18"},{"key":"9585_CR10","doi-asserted-by":"crossref","unstructured":"Cheng, P.: Algebra diagrams: a HANDi introduction. In: Cox, P.T., Plimmer, B., Rodgers, P. (eds.) Diagrammatic Representation and Inference, LNCS 7352, pp. 178\u2013192. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-31223-6_20"},{"key":"9585_CR11","doi-asserted-by":"crossref","unstructured":"Ciucci, D.: Orthopairs in the 1960s: historical remarks and new ideas. In: Cornelis, C., et al. (eds.) Rough Sets and Current Trends in Computing (RSCTC 2014), LNCS 8536, pp. 1\u201312. Springer, Berlin (2014)","DOI":"10.1007\/978-3-319-08644-6_1"},{"key":"9585_CR12","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/s41066-015-0013-y","volume":"1","author":"D Ciucci","year":"2016","unstructured":"Ciucci, D.: Orthopairs and granular computing. Granular Computing 1, 159\u2013170 (2016)","journal-title":"Granular Computing"},{"key":"9585_CR13","doi-asserted-by":"crossref","unstructured":"Ciucci, D., Dubois, D., Prade, H.: Oppositions in rough set theory. In: Li, T., Nguyen, H.S., Wang, G., Grzymala-Busse, J., Janicki, R., Hassanien, A.E., Yu, H. (eds.) Rough Sets and Knowledge Technology, LNCS 7414, pp. 504\u2013513. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-31900-6_62"},{"key":"9585_CR14","doi-asserted-by":"crossref","unstructured":"Ciucci, D., Dubois, D., Prade, H.: The structure of oppositions in rough set theory and formal concept analysis \u2013 toward a new bridge between the two settings. In: Beierle, C., Meghini, C. (eds.) Foundations of Information and Knowledge Systems (foIKS 2014), LNCS 8367, pp. 154\u2013173. Springer, Berlin (2014)","DOI":"10.1007\/978-3-319-04939-7_7"},{"key":"9585_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.3233\/FI-2015-1282","volume":"142","author":"D Ciucci","year":"2015","unstructured":"Ciucci, D., Dubois, D., Prade, H.: Structures of opposition in fuzzy rough sets. Fundamenta Informaticae 142, 1\u201319 (2015)","journal-title":"Fundamenta Informaticae"},{"key":"9585_CR16","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/s10472-015-9480-8","volume":"76","author":"D Ciucci","year":"2016","unstructured":"Ciucci, D., Dubois, D., Prade, H.: Structures of opposition induced by relations. The Boolean and the gradual cases. Ann. Math. Artif. Intell. 76, 351\u2013373 (2016)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9585_CR17","doi-asserted-by":"crossref","unstructured":"Demey, L.: Algebraic aspects of duality diagrams. In: Cox, P.T., Plimmer, B., Rodgers, P. (eds.) Diagrammatic Representation and Inference, LNCS 7352, pp. 300\u2013302. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-31223-6_32"},{"key":"9585_CR18","doi-asserted-by":"crossref","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, Basel (2012)","DOI":"10.1007\/978-3-0348-0379-3_22"},{"key":"9585_CR19","doi-asserted-by":"crossref","unstructured":"Demey, L.: Interactively illustrating the context-sensitivity of Aristotelian diagrams. In: Christiansen, H., Stojanovic, I., Papadopoulos, G. (eds.) Modeling and using context, LNCS 9405, pp. 331\u2013345. Springer, Berlin (2015)","DOI":"10.1007\/978-3-319-25591-0_24"},{"key":"9585_CR20","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1111\/meta.12247","volume":"48","author":"L Demey","year":"2017","unstructured":"Demey, L.: Using syllogistics to teach metalogic. Metaphilosophy 48, 575\u2013590 (2017)","journal-title":"Metaphilosophy"},{"key":"9585_CR21","doi-asserted-by":"publisher","unstructured":"Demey, L.: Aristotelian diagrams in the debate on future contingents. Sophia. https:\/\/doi.org\/10.1007\/s11841-017-0632-7 (2018)","DOI":"10.1007\/s11841-017-0632-7"},{"key":"9585_CR22","unstructured":"Demey, L.: The logical geometry of the cube of opposition in knowledge representation. Manuscript"},{"key":"9585_CR23","doi-asserted-by":"crossref","unstructured":"Demey, L., Smessaert, H.: Logische geometrie en pragmatiek. In: Van De Velde, F., Smessaert, H., Van Eynde, F., Verbrugge, S. (eds.) Patroon en Argument, pp. 553\u2013564. Leuven University Press, Leuven (2014)","DOI":"10.2307\/j.ctt14jxsr0.40"},{"key":"9585_CR24","doi-asserted-by":"crossref","unstructured":"Demey, L., Smessaert, H.: The relationship between Aristotelian and Hasse diagrams. In: Dwyer, T., Purchase, H., Delaney, A. (eds.) Diagrammatic Representation and Inference, LNCS 8578, pp. 213\u2013227. Springer, Berlin (2014)","DOI":"10.1007\/978-3-662-44043-8_23"},{"key":"9585_CR25","doi-asserted-by":"crossref","unstructured":"Demey, L., Smessaert, H.: The interaction between logic and geometry in Aristotelian diagrams. In: Jamnik, M., Uesaka, Y., Elzer Schwartz, S. (eds.) Diagrammatic Representation and Inference, LNCS 9781, pp. 67\u201382. Springer, Berlin (2016)","DOI":"10.1007\/978-3-319-42333-3_6"},{"key":"9585_CR26","doi-asserted-by":"publisher","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."},{"key":"9585_CR27","unstructured":"Demey, L., Smessaert, H.: Shape heuristics in Aristotelian diagrams. In: Kutz, O., Borgo, S., Bhatt, M. (eds.) Shapes 3.0 Proceedings, Workshop Proceedings 1616, pp. 35\u201345. CEUR, Aachen (2016)"},{"key":"9585_CR28","doi-asserted-by":"publisher","unstructured":"Demey, L., Smessaert, H.: Combinatorial bitstring semantics for arbitrary logical fragments. J. Philos. Log. https:\/\/doi.org\/10.1007\/s10992-017-9430-5 (2017)","DOI":"10.1007\/s10992-017-9430-5"},{"issue":"10","key":"9585_CR29","doi-asserted-by":"publisher","first-page":"204","DOI":"10.3390\/sym9100204","volume":"9","author":"L Demey","year":"2017","unstructured":"Demey, L., Smessaert, H.: Logical and geometrical distance in polyhedral Aristotelian diagrams in knowledge representation. Symmetry 9(10), 204 (2017)","journal-title":"Symmetry"},{"key":"9585_CR30","unstructured":"Demey, L., Smessaert, H.: Aristotelian and duality relations beyond the square of opposition. In: Chapman, P., Stapleton, G., Moktefi, A., Perez-Kriz, S. Bellucci, F. (eds.) Diagrammatic Representation and Inference, LNCS. Springer, Berlin. Forthcoming"},{"key":"9585_CR31","first-page":"217","volume":"79","author":"L Demey","year":"2017","unstructured":"Demey, L., Steinkr\u00fcger, P.: De logische geometrie van Johannes Buridanus\u2019 modale achthoek. Tijdschrift voor Filosofie 79, 217\u2013238 (2017)","journal-title":"Tijdschrift voor Filosofie"},{"key":"9585_CR32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00234-2","volume-title":"Encyclopedia of Distances","author":"MM Deza","year":"2009","unstructured":"Deza, M.M., Deza, E.: Encyclopedia of Distances. Springer, Dordrecht (2009)"},{"key":"9585_CR33","doi-asserted-by":"publisher","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":"9585_CR34","doi-asserted-by":"crossref","unstructured":"Dubois, D., Prade, H.: Formal concept analysis from the standpoint of possibility theory. In: Baixeries, J., Sacarea, C., Ojeda-Aciego, M. (eds.) Formal Concept Analysis (ICFCA 2015), LNCS 9113, pp. 21\u201338. Springer, Berlin (2015)","DOI":"10.1007\/978-3-319-19545-2_2"},{"key":"9585_CR35","doi-asserted-by":"crossref","unstructured":"Dubois, D., Prade, H.: Enric Trillas: a Passion for Fuzzy Sets, SFSC 322, pp. 79\u201391. Springer, Berlin. In: Magdalena, L., Verdegay, J.L., Esteva, F. (eds.) (2015)","DOI":"10.1007\/978-3-319-16235-5_7"},{"key":"9585_CR36","unstructured":"Dubois, D., Prade, H., Rico, A.: The cube of opposition \u2013 a structure underlying many knowledge representation formalisms. In: Yang, Q., Wooldridge, M. (eds.) Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015), pp. 2933\u20132939. AAAI Press, Palo Alto (2015)"},{"key":"9585_CR37","doi-asserted-by":"crossref","unstructured":"Dubois, D., Prade, H., Rico, A.: The cube of opposition and the complete appraisal of situations by means of Sugeno integrals. In: Esposito, F., et al. (eds.) Foundations of Intelligent Systems (ISMIS 2015), LNCS 9384, pp. 197\u2013207. Springer, Berlin (2015)","DOI":"10.1007\/978-3-319-25252-0_21"},{"key":"9585_CR38","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1016\/j.ijar.2017.02.006","volume":"84","author":"D Dubois","year":"2017","unstructured":"Dubois, D., Prade, H., Rico, A.: Graded cubes of opposition and possibility theory with fuzzy events. Int. J. Approx. Reason. 84, 168\u2013185 (2017)","journal-title":"Int. J. Approx. Reason."},{"key":"9585_CR39","doi-asserted-by":"crossref","unstructured":"Dubois, D., Prade, H., Rico, A.: Organizing families of aggregation operators into a cube of opposition. In: Kacprzyk, J., Filev, D., Beliakov, G. (eds.) Granular, Soft and Fuzzy Approaches for Intelligent Systems, pp. 27\u201345. Springer, Berlin (2017)","DOI":"10.1007\/978-3-319-40314-4_2"},{"key":"9585_CR40","doi-asserted-by":"crossref","unstructured":"Fish, A., Flower, J.: Euler diagram decomposition. In: Stapleton, G., Howse, J., Lee, J. (eds.) Diagrammatic Representation and Inference, LNCS 5223, pp. 28\u201344. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-87730-1_7"},{"key":"9585_CR41","doi-asserted-by":"publisher","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.: User-comprehension of Euler diagrams. J. Vis. Lang. Comput. 22, 340\u2013354 (2011)","journal-title":"J. Vis. Lang. Comput."},{"key":"9585_CR42","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5292-1","volume-title":"First-Order Modal Logic","author":"M Fitting","year":"1998","unstructured":"Fitting, M., Mendelsohn, R.L.: First-Order Modal Logic. Kluwer, Dordrecht (1998)"},{"key":"9585_CR43","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1016\/j.jvlc.2013.08.009","volume":"25","author":"J Flower","year":"2014","unstructured":"Flower, J., Stapleton, G., Rodgers, P.: On the drawability of 3D Venn and Euler diagrams. J. Vis. Lang. Comput. 25, 186\u2013209 (2014)","journal-title":"J. Vis. Lang. Comput."},{"key":"9585_CR44","unstructured":"Garc\u00eda-Cruz, J.D.: The hypercube of dynamic opposition. In: B\u00e9ziau, J.-Y., Buchsbaum, A., Correia, M. (eds.) 5th World Congress on the Square of Opposition, pp. 25\u201327, Santiago, Pontificia Universidad Cat\u00f3lica de Chile (2016)"},{"key":"9585_CR45","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1016\/j.jal.2015.09.012","volume":"14","author":"A Gilio","year":"2016","unstructured":"Gilio, A., Pfeifer, N., Sanfilippo, G.: Transitivity in coherence-based probability logic. J. Appl. Log. 14, 46\u201364 (2016)","journal-title":"J. Appl. Log."},{"key":"9585_CR46","volume-title":"Introduction to Boolean Algebras","author":"S Givant","year":"2009","unstructured":"Givant, S., Halmos, P.: Introduction to Boolean Algebras. Springer, New York (2009)"},{"key":"9585_CR47","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-32503-4","volume-title":"Fuzzy Quantifiers","author":"I Gl\u00f6ckner","year":"2006","unstructured":"Gl\u00f6ckner, I.: Fuzzy Quantifiers. Springer, Berlin (2006)"},{"key":"9585_CR48","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.jvlc.2014.11.003","volume":"26","author":"B Gottfried","year":"2015","unstructured":"Gottfried, B.: The diamond of contraries. J. Vis. Lang. Comput. 26, 29\u201341 (2015)","journal-title":"J. Vis. Lang. Comput."},{"key":"9585_CR49","doi-asserted-by":"publisher","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":"9585_CR50","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1107\/S0108767395001620","volume":"51","author":"I Her","year":"1995","unstructured":"Her, I.: Description of the f.c.c. lattice geometry through a four-dimensional hypercube. Acta Crystallogr. A 51, 659\u2013662 (1995)","journal-title":"Acta Crystallogr. A"},{"key":"9585_CR51","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":"9585_CR52","unstructured":"Hughes, G.E.: The modal logic of John Buridan. In: Corsi, G., Mangione, C., Mugnai, M. (eds.) Atti del Convegno Internazionale di Storia Della Logica, le Teorie Delle Modalit\u00e0, pp. 93\u2013111. CLUEB (1987)"},{"key":"9585_CR53","volume-title":"A Concise Introduction to Logic, 11th edn.","author":"PJ Hurley","year":"2012","unstructured":"Hurley, P.J.: A Concise Introduction to Logic, 11th edn. Wadsworth, Boston (2012)"},{"key":"9585_CR54","first-page":"79","volume":"8","author":"LH Kauffman","year":"2001","unstructured":"Kauffman, L.H.: The mathematics of Charles Sanders Peirce. Cybernetics & Human Knowing 8, 79\u2013110 (2001)","journal-title":"Cybernetics & Human Knowing"},{"volume-title":"John Buridan, Summulae de Dialectica","year":"2001","key":"9585_CR55","unstructured":"Klima, G. (ed.): John Buridan, Summulae de Dialectica. Yale University Press, New Haven (2001)"},{"key":"9585_CR56","doi-asserted-by":"publisher","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. Cognit. Sci. 11, 65\u201399 (1987)","journal-title":"Cognit. Sci."},{"key":"9585_CR57","doi-asserted-by":"crossref","unstructured":"Lenzen, W.: How to square knowledge and belief. In: B\u00e9ziau, J.-Y., Jacquette, D. (eds.) Around and Beyond the Square of Opposition, pp. 305\u2013311. Springer, Basel (2012)","DOI":"10.1007\/978-3-0348-0379-3_21"},{"key":"9585_CR58","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/s11787-007-0022-y","volume":"2","author":"D Luzeaux","year":"2008","unstructured":"Luzeaux, D., Sallantin, J., Dartnell, C.: Logical extensions of Aristotle\u2019s square. Log. Univers. 2, 167\u2013187 (2008)","journal-title":"Log. Univers."},{"key":"9585_CR59","doi-asserted-by":"crossref","unstructured":"Miclet, L., Prade, H.: Analogical proportions and square of oppositions. In: Laurent, A., et al. (eds.) Information Processing and Management of Uncertainty in Knowledge-Based Systems 2014, Part II, CCIS 442, pp. 324\u2013334. Springer, Berlin (2014)","DOI":"10.1007\/978-3-319-08855-6_33"},{"key":"9585_CR60","unstructured":"Moretti, A.: The Geometry of Logical Opposition. PhD thesis, University of Neuch\u00e2tel (2009)"},{"key":"9585_CR61","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1080\/01445340.2014.981022","volume":"35","author":"A Moretti","year":"2014","unstructured":"Moretti, A.: Was Lewis Carroll an amazing oppositional geometer? History and Philosophy of Logic 35, 383\u2013409 (2014)","journal-title":"History and Philosophy of Logic"},{"key":"9585_CR62","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.fss.2013.05.006","volume":"242","author":"P Murinov\u00e1","year":"2014","unstructured":"Murinov\u00e1, P., Nov\u00e1k, V.: Analysis of generalized square of opposition with intermediate quantifiers. Fuzzy Set. Syst. 242, 89\u2013113 (2014)","journal-title":"Fuzzy Set. Syst."},{"key":"9585_CR63","doi-asserted-by":"crossref","unstructured":"Murinov\u00e1, P., Nov\u00e1k, V.: Graded generalized hexagon in fuzzy natural logic. In: Carvalho, J.P., et al. (eds.) Information Processing and Management of Uncertainty in Knowledge-Based Systems 2016, Part II, CCIS 611, pp. 36\u201347. Springer, Berlin (2016)","DOI":"10.1007\/978-3-319-40581-0_4"},{"key":"9585_CR64","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/s11787-016-0146-z","volume":"10","author":"P Murinov\u00e1","year":"2016","unstructured":"Murinov\u00e1, P., Nov\u00e1k, V.: Syllogisms and 5-square of opposition with intermediate quantifiers in fuzzy natural logic. Log. Univers. 10, 339\u2013357 (2016)","journal-title":"Log. Univers."},{"key":"9585_CR65","doi-asserted-by":"crossref","unstructured":"Nagy, B.: Reasoning by intervals. In: Barker-Plummer, D., Cox, R., Swoboda, N. (eds.) Diagrammatic Representation and Inference, LNCS 4045, pp. 145\u2013147. Springer, Berlin (2006)","DOI":"10.1007\/11783183_18"},{"key":"9585_CR66","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1142\/S0218654308001154","volume":"14","author":"B Nagy","year":"2008","unstructured":"Nagy, B., Strand, R.: Non-traditional grids embedded in \u2124 n $\\mathbb {Z}^{n}$ . Int. J. Shape Model. 14, 209\u2013228 (2008)","journal-title":"Int. J. Shape Model."},{"key":"9585_CR67","unstructured":"Parsons, T.: The traditional square of opposition. In: Zalta, E.N. (ed.) Stanford Encyclopedia of Philosophy (Summer 2017 Edition). CSLI, Stanford, CA (2017)"},{"issue":"2","key":"9585_CR68","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/s11787-008-0038-y","volume":"2","author":"R Pellissier","year":"2008","unstructured":"Pellissier, R.: Setting n-opposition. Log. Univers. 2(2), 235\u2013263 (2008)","journal-title":"Log. Univers."},{"key":"9585_CR69","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1305\/ndjfl\/1093882414","volume":"20","author":"P Peterson","year":"1979","unstructured":"Peterson, P.: On the logic of \u201cfew\u201d, \u201cmany\u201d, and \u201cmost\u201d. Notre Dame Journal of Formal Logic 20, 155\u2013179 (1979)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9585_CR70","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1016\/j.ijar.2017.05.014","volume":"88","author":"N Pfeifer","year":"2017","unstructured":"Pfeifer, N., Sanfilippo, G.: Probabilistic squares and hexagons of opposition under coherence. Int. J. Approx. Reason. 88, 282\u2013294 (2017)","journal-title":"Int. J. Approx. Reason."},{"key":"9585_CR71","doi-asserted-by":"crossref","unstructured":"Pfeifer, N., Sanfilippo, G.: Square of opposition under coherence. In: Ferraro, M.B., et al. (eds.) Soft Methods for Data Science, AISC 456, pp. 407\u2013414. Springer, Berlin (2017)","DOI":"10.1007\/978-3-319-42972-4_50"},{"key":"9585_CR72","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/s11787-013-0089-6","volume":"7","author":"H Prade","year":"2013","unstructured":"Prade, H., Richard, G.: From analogical proportion to logical proportions. Log. Univers. 7, 441\u2013505 (2013)","journal-title":"Log. Univers."},{"key":"9585_CR73","doi-asserted-by":"crossref","unstructured":"Prade, H., Richard, G.: Picking the one that does not fit \u2013 a matter of logical proportions. In: Pasi, G., Montero, J., Ciucci, D. (eds.) Proceedings of the 8th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-13), pp. 392\u2013399. Atlantis Press, Amsterdam (2013)","DOI":"10.2991\/eusflat.2013.61"},{"key":"9585_CR74","doi-asserted-by":"crossref","unstructured":"Prade, H., Richard, G.: On different ways to be (dis)similar to elements in a set. Boolean analysis and graded extension. In: Carvalho, J.P., et al. (eds.) Information Processing and Management of Uncertainty in Knowledge-Based Systems 2016, Part II, CCIS 611, pp. 605\u2013618. Springer, Berlin (2016)","DOI":"10.1007\/978-3-319-40581-0_49"},{"key":"9585_CR75","doi-asserted-by":"crossref","unstructured":"Prade, H., Richard, G.: From the structures of opposition between similarity and dissimilarity indicators to logical proportions. In: Dodig-Crnkovic, G., Giovagnoli, R. (eds.) Representation and reality in humans, other living organisms and intelligent machines, pp. 279\u2013299. Springer, Berlin (2017)","DOI":"10.1007\/978-3-319-43784-2_14"},{"key":"9585_CR76","doi-asserted-by":"crossref","unstructured":"Read, S.: John Buridan\u2019s theory of consequence and his octagons of opposition. In: B\u00e9ziau, J.-Y., Jacquette, D. (eds.) Around and Beyond the Square of Opposition, pp. 93\u2013110. Springer (2012)","DOI":"10.1007\/978-3-0348-0379-3_6"},{"key":"9585_CR77","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511808968","volume-title":"Introduction to Coding Theory","author":"RM Roth","year":"2006","unstructured":"Roth, R.M.: Introduction to Coding Theory. Cambridge University Press, Cambridge (2006)"},{"key":"9585_CR78","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1017\/S0012217300031206","volume":"7","author":"P Sauriol","year":"1968","unstructured":"Sauriol, P.: Remarques sur la th\u00e9orie de l\u2019hexagone logique de blanch\u00e9. Dialogue 7, 374\u2013390 (1968)","journal-title":"Dialogue"},{"key":"9585_CR79","first-page":"275","volume":"21","author":"H Slater","year":"2011","unstructured":"Slater, H.: Back to aristotle! Logic and Logical Philosophy 21, 275\u2013283 (2011)","journal-title":"Logic and Logical Philosophy"},{"key":"9585_CR80","doi-asserted-by":"publisher","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":"9585_CR81","doi-asserted-by":"crossref","unstructured":"Smessaert, H.: Boolean differences between two hexagonal extensions of the logical square of oppositions. In: Cox, P.T., Plimmer, B., Rodgers, P. (eds.) Diagrammatic Representation and Inference, LNCS 7352, pp. 193\u2013199. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-31223-6_21"},{"key":"9585_CR82","doi-asserted-by":"crossref","unstructured":"Smessaert, H., Demey, L.: Logical and geometrical complementarities between Aristotelian diagrams. In: Dwyer, T., Purchase, H., Delaney, A. (eds.) Diagrammatic Representation and Inference, LNCS 8578, pp. 246\u2013260. Springer, Berlin (2014)","DOI":"10.1007\/978-3-662-44043-8_26"},{"key":"9585_CR83","doi-asserted-by":"publisher","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. Log. Lang. Inf. 23, 527\u2013565 (2014)","journal-title":"J. Log. Lang. Inf."},{"key":"9585_CR84","doi-asserted-by":"crossref","unstructured":"Smessaert, H., Demey, L.: B\u00e9ziau\u2019s contributions to the logical geometry of modalities and quantifiers. In: Koslow, A., Buchsbaum, A. (eds.) The Road to Universal Logic, pp. 475\u2013493. Springer, Basel (2015)","DOI":"10.1007\/978-3-319-10193-4_23"},{"key":"9585_CR85","doi-asserted-by":"crossref","unstructured":"Smessaert, H., Demey, L.: Visualising the Boolean algebra B 4 $\\mathbb {B}_{4}$ in 3D. In: Jamnik, M., Uesaka, Y., Elzer Schwartz, S. (eds.) Diagrammatic Representation and Inference, LNCS 9781, pp. 289\u2013292. Springer, Berlin (2016)","DOI":"10.1007\/978-3-319-42333-3_26"},{"key":"9585_CR86","doi-asserted-by":"crossref","unstructured":"Smessaert, H., Demey, L.: The unreasonable effectiveness of bitstrings in logical geometry. In: B\u00e9ziau, J.-Y., Basti, G. (eds.) The Square of Opposition: a Cornerstone of Thought, pp. 197\u2013214. Springer, Basel (2017)","DOI":"10.1007\/978-3-319-45062-9_12"},{"key":"9585_CR87","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1016\/j.dam.2008.08.019","volume":"157","author":"R Strand","year":"2009","unstructured":"Strand, R.: Weighted distances based on neighborhood sequences for point-lattices. Discret. Appl. Math. 157, 641\u2013652 (2009)","journal-title":"Discret. Appl. Math."},{"key":"9585_CR88","doi-asserted-by":"publisher","first-page":"1350","DOI":"10.1016\/j.tcs.2010.10.027","volume":"412","author":"R Strand","year":"2011","unstructured":"Strand, R., Nagy, B., Borgefors, G.: Digital distance functions on three-dimensional grids. Theor. Comput. Sci. 412, 1350\u20131363 (2011)","journal-title":"Theor. Comput. Sci."},{"key":"9585_CR89","doi-asserted-by":"crossref","unstructured":"Trillas, E., Seising, R.: Turning around the ideas of \u2018meaning\u2019 and \u2018complement\u2019. In: Collan, M., Fedrizzi, M., Kacprzyk, J. (eds.) Fuzzy Technology, SFSC 335, pp. 3\u201331. Springer, Berlin (2016)","DOI":"10.1007\/978-3-319-26986-3_1"},{"key":"9585_CR90","doi-asserted-by":"crossref","unstructured":"Tversky, B.: Prolegomenon to scientific visualizations. In: Gilbert, J.K. (ed.) Visualization in Science Education, pp. 29\u201342. Springer, Dordrecht (2005)","DOI":"10.1007\/1-4020-3613-2_3"},{"key":"9585_CR91","doi-asserted-by":"publisher","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."},{"key":"9585_CR92","doi-asserted-by":"crossref","unstructured":"Urbas, M., Jamnik, M., Stapleton, G., Flower, J.: Speedith: a diagrammatic reasoner for spider diagrams. In: Cox, P.T., Plimmer, B., Rodgers, P. (eds.) Diagrammatic Representation and Inference, LNCS 7352, pp. 163\u2013177. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-31223-6_19"},{"key":"9585_CR93","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/j.patrec.2016.03.012","volume":"83","author":"L \u010comi\u0107","year":"2016","unstructured":"\u010comi\u0107, L., Nagy, B.: A topological 4-coordinate sytem for the face centered cubic grid. Pattern Recogn. Lett. 83, 67\u201374 (2016)","journal-title":"Pattern Recogn. Lett."},{"key":"9585_CR94","doi-asserted-by":"crossref","first-page":"49","DOI":"10.3233\/FI-2013-895","volume":"127","author":"Y Yao","year":"2013","unstructured":"Yao, Y.: Duality in rough set theory based on the square of opposition. Fundamenta Informaticae 127, 49\u201364 (2013)","journal-title":"Fundamenta Informaticae"},{"key":"9585_CR95","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1016\/j.ijar.2016.11.010","volume":"83","author":"X Yue","year":"2017","unstructured":"Yue, X., Chen, Y., Miao, D., Qian, J.: Tri-partition neighborhood covering reduction for robust classification. Int. J. Approx. Reason. 83, 371\u2013384 (2017)","journal-title":"Int. J. Approx. Reason."},{"key":"9585_CR96","unstructured":"Zellweger, S.: Untapped potential in Peirce\u2019s iconic notation for the sixteen binary connectives. In: Houser, N., Roberts, D.D., Van Evra, J. (eds.) Studies in the Logic of Charles Peirce, pp. 334\u2013386. Indiana University Press, Bloomington (1997)"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-018-9585-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-018-9585-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-018-9585-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,2]],"date-time":"2023-09-02T10:47:35Z","timestamp":1693651655000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-018-9585-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,2]]},"references-count":96,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2018,6]]}},"alternative-id":["9585"],"URL":"https:\/\/doi.org\/10.1007\/s10472-018-9585-y","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[2018,5,2]]},"assertion":[{"value":"2 May 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}