{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T15:32:13Z","timestamp":1772119933902,"version":"3.50.1"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2023,11,15]],"date-time":"2023-11-15T00:00:00Z","timestamp":1700006400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,11,15]],"date-time":"2023-11-15T00:00:00Z","timestamp":1700006400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2024,6]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>\n                    In logical geometry, Aristotelian diagrams are studied in a precise and systematic way. Although there has recently been a good amount of progress in logical geometry, it is still unknown which underlying mathematical framework is best suited for formalizing the study of these diagrams. Hence, in this paper, the main aim is to formulate such a framework, using the powerful language of\n                    <jats:italic>category theory<\/jats:italic>\n                    . We build multiple categories, which all have Aristotelian diagrams as their objects, while having different kinds of morphisms between these diagrams. The categories developed here are assessed according to their ability to generalize previous work from logical geometry as well as their interesting category-theoretical properties. According to these evaluations, the most promising category has as its morphisms those functions on fragments that increase in informativity on both the opposition and implication relations. Focusing on this category can significantly increase the effectiveness of further research in logical geometry.\n                  <\/jats:p>","DOI":"10.1007\/s11787-023-00340-0","type":"journal-article","created":{"date-parts":[[2023,11,15]],"date-time":"2023-11-15T11:02:57Z","timestamp":1700046177000},"page":"49-83","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Morphisms Between Aristotelian Diagrams"],"prefix":"10.1007","volume":"18","author":[{"given":"Alexander","family":"De Klerck","sequence":"first","affiliation":[]},{"given":"Leander","family":"Vignero","sequence":"additional","affiliation":[]},{"given":"Lorenz","family":"Demey","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,11,15]]},"reference":[{"key":"340_CR1","volume-title":"Category Theory","author":"S Awodey","year":"2010","unstructured":"Awodey, S.: Category Theory, 2nd edn. Oxford University Press, Oxford (2010)","edition":"2"},{"key":"340_CR2","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1017\/S1755020313000373","volume":"7","author":"H Ben-Yami","year":"2014","unstructured":"Ben-Yami, H.: The quantified argument calculus. Rev. Symb. Logic 7, 120\u2013146 (2014)","journal-title":"Rev. Symb. Logic"},{"key":"340_CR3","unstructured":"De Klerck, A., Demey, L., Vignero, L.: The category of Aristotelian diagrams with Boolean morphisms (2023, submitted)"},{"key":"340_CR4","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/978-3-0348-0379-3_22","volume-title":"Around Beyond Square Oppos.","author":"L Demey","year":"2012","unstructured":"Demey, L.: Structures of oppositions for public announcement logic. In: B\u00e9ziau, J.Y., Jacquette, D. (eds.) Around Beyond Square Oppos., pp. 313\u2013339. Springer, Basel (2012)"},{"key":"340_CR5","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/978-3-319-25591-0_24","volume-title":"Modeling and Using Context. LNCS 9405","author":"L Demey","year":"2015","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)"},{"key":"340_CR6","doi-asserted-by":"publisher","first-page":"1323","DOI":"10.1093\/logcom\/exy015","volume":"28","author":"L Demey","year":"2018","unstructured":"Demey, L.: Computing the maximal Boolean complexity of families of Aristotelian diagrams. J. Log. Comput. 28, 1323\u20131339 (2018)","journal-title":"J. Log. Comput."},{"key":"340_CR7","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1080\/01445340.2018.1531481","volume":"40","author":"L Demey","year":"2019","unstructured":"Demey, L.: Boolean considerations on John Buridan\u2019s octagons of opposition. Hist. Philos. Logic 40, 116\u2013134 (2019)","journal-title":"Hist. Philos. Logic"},{"key":"340_CR8","first-page":"453","volume":"248","author":"L Demey","year":"2019","unstructured":"Demey, L.: Metalogic, metalanguage and logical geometry. Logique et Anal. (N.S.) 248, 453\u2013478 (2019)","journal-title":"Logique et Anal. (N.S.)"},{"issue":"128","key":"340_CR9","first-page":"1","volume":"10","author":"L Demey","year":"2021","unstructured":"Demey, L.: Logic-sensitivity of Aristotelian diagrams in non-normal modal logics. Axioms 10(128), 1\u201325 (2021)","journal-title":"Axioms"},{"key":"340_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-023-09723-6","author":"L Demey","year":"2023","unstructured":"Demey, L., Frijters, S.: Logic-sensitivity and bitstring semantics in the square of opposition. J. Philos. Log. (2023). https:\/\/doi.org\/10.1007\/s10992-023-09723-6","journal-title":"J. Philos. Log."},{"key":"340_CR11","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-319-42333-3_6","volume-title":"Diagrammatic Representation and Inference. LNCS 9781","author":"L Demey","year":"2016","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)"},{"key":"340_CR12","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/s10992-017-9430-5","volume":"47","author":"L Demey","year":"2018","unstructured":"Demey, L., Smessaert, H.: Combinatorial bitstring semantics for arbitrary logical fragments. J. Philos. Log. 47, 325\u2013363 (2018)","journal-title":"J. Philos. Log."},{"key":"340_CR13","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/s10472-018-9585-y","volume":"83","author":"L Demey","year":"2018","unstructured":"Demey, L., Smessaert, H.: Geometric and cognitive differences between Aristotelian diagrams for the Boolean algebra $$\\mathbb{B} _4$$. Ann. Math. Artif. Intell. 83, 185\u2013208 (2018)","journal-title":"Ann. Math. Artif. Intell."},{"key":"340_CR14","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/978-3-030-54249-8_30","volume-title":"Diagrammatic Representation and Inference. LNCS 12169","author":"L Demey","year":"2020","unstructured":"Demey, L., Smessaert, H.: Using multigraphs to study the interaction between opposition, implication and duality relations in logical squares. In: Pietarinen, A.V., Chapman, P., Bosveld de Smet, L., Giardino, V., Corter, J., Linker, S. (eds.) Diagrammatic Representation and Inference. LNCS 12169, pp. 385\u2013393. Springer, Berlin (2020)"},{"key":"340_CR15","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":"340_CR16","unstructured":"Kiouvrekis, Y.: Topological Models, Computer Science Semantics and Applications of Logic in AI. Ph.D. thesis, National Technical University of Athens (2020)"},{"key":"340_CR17","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/978-3-030-90823-2_13","volume-title":"The Exoteric Square of Opposition","author":"Y Kiouvrekis","year":"2022","unstructured":"Kiouvrekis, Y., Stefaneas, P., Vandoulakis, I.: On the transformations of the square of opposition from the point of view of institution model theory. In: Beziau, J.Y., Vandoulakis, I. (eds.) The Exoteric Square of Opposition, pp. 277\u2013301. Springer, Basel (2022)"},{"key":"340_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-9839-7","volume-title":"Categories for the Working Mathematician","author":"S Mac Lane","year":"1971","unstructured":"Mac Lane, S.: Categories for the Working Mathematician. Springer, New York (1971)"},{"key":"340_CR19","volume-title":"Stanford Encyclopedia of Philosophy (Summer 2017 Edition)","author":"T Parsons","year":"2017","unstructured":"Parsons, T.: The traditional square of opposition. In: Zalta, E.N. (ed.) Stanford Encyclopedia of Philosophy (Summer 2017 Edition). CSLI, Stanford, CA (2017)"},{"key":"340_CR20","unstructured":"Raab, J.: The Relationship of QUARC and Classical Logic. Master\u2019s thesis, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen (2016)"},{"key":"340_CR21","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 oppositions. J. Logic Lang. Inform. 23, 527\u2013565 (2014)","journal-title":"J. Logic Lang. Inform."},{"key":"340_CR22","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/978-3-030-86062-2_20","volume-title":"Diagrammatic Representation and Inference. LNCS 12909","author":"L Vignero","year":"2021","unstructured":"Vignero, L.: Combining and relating Aristotelian diagrams. In: Basu, A., Stapleton, G., Linker, S., Legg, C., Manalo, E., Viana, P. (eds.) Diagrammatic Representation and Inference. LNCS 12909, pp. 221\u2013228. Springer, Berlin (2021)"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-023-00340-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11787-023-00340-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-023-00340-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,24]],"date-time":"2024-08-24T18:03:34Z","timestamp":1724522614000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11787-023-00340-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,15]]},"references-count":22,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2024,6]]}},"alternative-id":["340"],"URL":"https:\/\/doi.org\/10.1007\/s11787-023-00340-0","relation":{"is-basis-for":[{"id-type":"doi","id":"10.52843\/cassyni.211m74","asserted-by":"object"}]},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,11,15]]},"assertion":[{"value":"25 May 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 October 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 November 2023","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}