{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T04:44:33Z","timestamp":1773377073712,"version":"3.50.1"},"reference-count":67,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2017,3,9]],"date-time":"2017-03-09T00:00:00Z","timestamp":1489017600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2018,4]]},"DOI":"10.1007\/s10992-017-9430-5","type":"journal-article","created":{"date-parts":[[2017,3,9]],"date-time":"2017-03-09T17:07:43Z","timestamp":1489079263000},"page":"325-363","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":52,"title":["Combinatorial Bitstring Semantics for Arbitrary Logical Fragments"],"prefix":"10.1007","volume":"47","author":[{"given":"Lorenz","family":"Demey","sequence":"first","affiliation":[]},{"given":"Hans","family":"Smessaert","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,3,9]]},"reference":[{"key":"9430_CR1","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1093\/jos\/13.3.181","volume":"13","author":"J van der Auwera","year":"1996","unstructured":"van der Auwera, J. (1996). Modality: The three-layered scalar square. Journal of Semantics, 13, 181\u2013195.","journal-title":"Journal of Semantics"},{"key":"9430_CR2","first-page":"218","volume":"10","author":"JY B\u00e9ziau","year":"2003","unstructured":"B\u00e9ziau, J. Y. (2003). New light on the square of oppositions and its nameless corner. Logical Investigations, 10, 218\u2013232.","journal-title":"Logical Investigations"},{"key":"9430_CR3","unstructured":"B\u00e9ziau, J. Y., & Payette, G. (2012). Preface. In B\u00e9ziau, J Y, & Payette, G. (Eds.), The square of opposition. A general framework for cognition (pp. 9\u201322). Bern: Peter Lang."},{"key":"9430_CR4","volume-title":"Structures Intellectuelles. Essai sur l\u2019organisation syst\u00e9matique des concepts","author":"R Blanch\u00e9","year":"1966","unstructured":"Blanch\u00e9, R. (1966). Structures Intellectuelles. Essai sur l\u2019organisation syst\u00e9matique des concepts. Paris: Librairie Philosophique J Vrin."},{"issue":"15","key":"9430_CR5","first-page":"1","volume":"8","author":"ER Canfield","year":"2001","unstructured":"Canfield, E.R. (2001). Meet and join in the lattice of set partitions. Electronic Journal of Combinatorics, 8(15), 1\u20138.","journal-title":"Electronic Journal of Combinatorics"},{"key":"9430_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-8590-1","volume-title":"Modalities and multimodalities","author":"W Carnielli","year":"2008","unstructured":"Carnielli, W., & Pizzi, C. (2008). Modalities and multimodalities. Berlin: Springer."},{"key":"9430_CR7","volume-title":"Symbolic Logic. Edited, with annotations and an introduction by William Warren Bartley III","author":"L Carroll","year":"1977","unstructured":"Carroll, L. (1977). Symbolic Logic. Edited, with annotations and an introduction by William Warren Bartley III. New York: Clarkson N Potter."},{"key":"9430_CR8","doi-asserted-by":"crossref","unstructured":"Chatti, S. (2012). Logical oppositions in Arabic logic: Avicenna and Averroes In B\u00e9ziau, J Y, & Jacquette, D (Eds.), Around and beyond the square of opposition, (pp. 21\u201340). Basel: Springer.","DOI":"10.1007\/978-3-0348-0379-3_2"},{"key":"9430_CR9","doi-asserted-by":"crossref","first-page":"332","DOI":"10.1080\/01445340.2014.916893","volume":"35","author":"S Chatti","year":"2014","unstructured":"Chatti, S. (2014). Avicenna on possibility and necessity. History and Philosophy of Logic, 35, 332\u2013353.","journal-title":"History and Philosophy of Logic"},{"key":"9430_CR10","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. (2013). The cube, the square and the problem of existential import. History and Philosophy of Logic, 32, 101\u2013132.","journal-title":"History and Philosophy of Logic"},{"key":"9430_CR11","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal logic. An introduction","author":"BF Chellas","year":"1980","unstructured":"Chellas, B.F. (1980). Modal logic. An introduction. Cambridge: Cambridge University Press."},{"key":"9430_CR12","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/s10472-015-9480-8","volume":"76","author":"D Ciucci","year":"2016","unstructured":"Ciucci, D., Dubois, D, & Prade H (2016). Structures of opposition induced by relations. Annals of Mathematics and Artificial Intelligence, 76, 351\u2013373.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"9430_CR13","doi-asserted-by":"crossref","unstructured":"Coecke, B., & Paquette, E.O. (2011). Categories for the practising physicist In Coecke, B. (Ed.), New structures for physics, (pp. 173\u2013286). Berlin: Springer.","DOI":"10.1007\/978-3-642-12821-9"},{"key":"9430_CR14","doi-asserted-by":"crossref","first-page":"392","DOI":"10.1093\/mind\/LXIV.255.392","volume":"64","author":"T Czezowski","year":"1955","unstructured":"Czezowski, T. (1955). On certain peculiarities of singular propositions. Mind, 64, 392\u2013395.","journal-title":"Mind"},{"key":"9430_CR15","doi-asserted-by":"crossref","unstructured":"Demey, L. (2012). 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). Basel: Springer.","DOI":"10.1007\/978-3-0348-0379-3_22"},{"key":"9430_CR16","volume-title":"Believing in logic and philosophy PhD thesis","author":"L Demey","year":"2014","unstructured":"Demey, L. (2014). Believing in logic and philosophy PhD thesis. Leuven: KU Leuven."},{"key":"9430_CR17","doi-asserted-by":"crossref","unstructured":"Demey, L. (2015). Interactively illustrating the context-sensitivity of Aristotelian diagrams In Christiansen, H., Stojanovic, I., & Papadopoulos, G. (Eds.), Modeling and using context, LNCS (Vol. 9405, pp. 331\u2013345). Berlin: Springer.","DOI":"10.1007\/978-3-319-25591-0_24"},{"key":"9430_CR18","unstructured":"Demey, L. (2016). The logical geometry of Russell\u2019s theory of definite descriptions. Submitted."},{"key":"9430_CR19","unstructured":"Demey, L. (2017). Partitioning logical space. Manuscript."},{"key":"9430_CR20","doi-asserted-by":"crossref","unstructured":"Demey, L., & Smessaert, H. (2014). The relationship between Aristotelian and Hasse diagrams In Dwyer, T., Purchase, H., & Delaney, A. (Eds.), Diagrammatic representation and inference, LNCS (Vol. 8578, pp. 213\u2013227). Berlin: Springer.","DOI":"10.1007\/978-3-662-44043-8_23"},{"key":"9430_CR21","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. (2016). Metalogical decorations of logical diagrams. Logica Universalis, 10, 233\u2013292.","journal-title":"Logica Universalis"},{"key":"9430_CR22","unstructured":"Dubois, D., Prade, H., & Rico, A. (2015). The cube of opposition - a structure underlying many knowledge representation formalisms. In Yang, Q., & Wooldridge, M. (Eds.) Proceedings of IJCAI 2015, AAAI press, (pp. 2933\u20132939)."},{"key":"9430_CR23","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1023\/A:1008222603071","volume":"6","author":"J Gerbrandy","year":"1997","unstructured":"Gerbrandy, J., & Groeneveld, W. (1997). Reasoning about information change. Journal of Logic. Language and Information, 6, 147\u2013169.","journal-title":"Language and Information"},{"key":"9430_CR24","volume-title":"Introduction to Boolean algebras","author":"S Givant","year":"2009","unstructured":"Givant, S., & Halmos, P. (2009). Introduction to Boolean algebras. New York: Springer."},{"key":"9430_CR25","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-0348-7633-9","volume-title":"General lattice theory","author":"G Gr\u00e4tzer","year":"1978","unstructured":"Gr\u00e4tzer, G. (1978). General lattice theory. New York: Academic Press."},{"key":"9430_CR26","unstructured":"Hartshorne, C., & Weiss, P (Eds.) (1932) Collected papers of Charles Sanders Peirce. Volume II: elements of logic. Cambridge: Harvard University Press."},{"key":"9430_CR27","volume-title":"A natural history of negation","author":"LR Horn","year":"1989","unstructured":"Horn, L.R. (1989). A natural history of negation. Chicago: University of Chicago Press."},{"key":"9430_CR28","unstructured":"Hughes, G.E. (1987). 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, CLUEB, pp 93\u2013111."},{"key":"9430_CR29","doi-asserted-by":"crossref","first-page":"32","DOI":"10.5840\/newscholas19502413","volume":"24","author":"P Jacoby","year":"1950","unstructured":"Jacoby, P. (1950). A triangle of opposites for types of propositions in Aristotelian logic. New Scholasticism, 24, 32\u201356.","journal-title":"New Scholasticism"},{"key":"9430_CR30","doi-asserted-by":"crossref","unstructured":"Jacquette, D. (2012). Thinking outside the square of opposition box In B\u00e9ziau, J Y, & Jacquette, D. (Eds.), Around and beyond the square of opposition, (pp. 73\u201392). Basel: Springer.","DOI":"10.1007\/978-3-0348-0379-3_5"},{"key":"9430_CR31","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/s11787-012-0044-y","volume":"6","author":"D Jaspers","year":"2012","unstructured":"Jaspers, D. (2012). Logic and colour. Logica Universalis, 6, 227\u2013248.","journal-title":"Logica Universalis"},{"key":"9430_CR32","volume-title":"Studies and exercises in formal logic","author":"JN Keynes","year":"1884","unstructured":"Keynes, J.N. (1884). Studies and exercises in formal logic. London: MacMillan."},{"key":"9430_CR33","unstructured":"Khomskii, Y. (2012). William of Sherwood, singular propositions and the hexagon of opposition In B\u00e9ziau, J Y, & Payette, G. (Eds.), The square of opposition. A general framework for cognition, (pp. 43\u201360). Bern: Peter Lang."},{"key":"9430_CR34","volume-title":"William of Sherwood\u2019s introduction to logic","author":"N Kretzmann","year":"1966","unstructured":"Kretzmann, N. (1966). William of Sherwood\u2019s introduction to logic. Minneapolis: Minnesota Archive Editions."},{"key":"9430_CR35","doi-asserted-by":"crossref","first-page":"S14","DOI":"10.1086\/392712","volume":"66","author":"E Landry","year":"1999","unstructured":"Landry, E. (1999). Category theory: The language of mathematics. Philosophy of Science, 66, S14\u2013S27.","journal-title":"Philosophy of Science"},{"key":"9430_CR36","doi-asserted-by":"crossref","unstructured":"Lenzen, W. (2012). How to square knowledge and belief In B\u00e9ziau, J Y, & Jacquette, D. (Eds.), Around and beyond the square of opposition, (pp. 305\u2013311). Basel: Springer.","DOI":"10.1007\/978-3-0348-0379-3_21"},{"key":"9430_CR37","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/s11787-007-0022-y","volume":"2","author":"D Luzeaux","year":"2008","unstructured":"Luzeaux, D., Sallantin, J., & Dartnell, C. (2008). Logical extensions of Aristotle\u2019s square. Logica Universalis, 2, 167\u2013187.","journal-title":"Logica Universalis"},{"key":"9430_CR38","unstructured":"McNamara, P. (2010). Deontic logic In Zalta, E N (Ed.), Stanford encyclopedia of philosophy. Stanford: CSLI."},{"key":"9430_CR39","doi-asserted-by":"crossref","unstructured":"M\u00e9l\u00e8s, B. (2012). No group of opposition for constructive logic: The intuitionistic and linear cases In B\u00e9ziau, J Y, & Jacquette, D. (Eds.), Around and beyond the square of opposition, (pp. 201\u2013217). Basel: Springer.","DOI":"10.1007\/978-3-0348-0379-3_14"},{"key":"9430_CR40","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/j.tics.2006.12.007","volume":"11","author":"J Mikhail","year":"2007","unstructured":"Mikhail, J. (2007). Universal moral grammar: theory, evidence and the future. Trends in Cognitive Sciences, 11, 143\u2013152.","journal-title":"Trends in Cognitive Sciences"},{"key":"9430_CR41","unstructured":"Moretti, A. (2012). From the \u201clogical square\u201d to the \u201clogical poly-simplexes\u201d. A quick survey of what happened in between In B\u00e9ziau, J Y, & Payette, G. (Eds.), The square of opposition. A general framework for cognition, (pp. 119\u2013156). Bern: Peter Lang."},{"key":"9430_CR42","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1080\/01445340.2014.981022","volume":"35","author":"A Moretti","year":"2014","unstructured":"Moretti, A. (2014). Was Lewis Carroll an amazing oppositional geometer? History and Philosophy of Logic, 35, 383\u2013409.","journal-title":"History and Philosophy of Logic"},{"key":"9430_CR43","unstructured":"Parsons, T. (2006). The traditional square of opposition. In Zalta, E. N. (Ed.) Stanford encyclopedia of philosophy. Stanford: CSLI."},{"key":"9430_CR44","unstructured":"Peckhaus, V. (2012). Algebra of logic, quantification theory, and the square of opposition. In B\u00e9ziau, J Y, & Payette, G. (Eds.), The square of opposition. A general framework for cognition, (pp. 25\u201341). Bern: Peter Lang."},{"issue":"2","key":"9430_CR45","doi-asserted-by":"crossref","first-page":"235\u2014263","DOI":"10.1007\/s11787-008-0038-y","volume":"2","author":"R Pellissier","year":"2008","unstructured":"Pellissier, R. (2008). Setting n-opposition. Logica Universalis, 2(2), 235\u2014263.","journal-title":"Logica Universalis"},{"key":"9430_CR46","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1524.001.0001","volume-title":"Basic category theory for computer scientists","author":"BC Pierce","year":"1991","unstructured":"Pierce, B.C. (1991). Basic category theory for computer scientists. Cambridge: MIT press."},{"key":"9430_CR47","unstructured":"Plaza, J., Emrich, M.L., Pfeifer, M.S., Hadzikadic, M., & Ras, Z.W. (1989). Logics of public communications, Proceedings of the 4th international symposium on methodologies for intelligent systems, oak ridge national laboratory, oak ridge, TN, pp 201\u2013216 (reprinted in: Synthese 158, 165\u2013179 (p. 2007)."},{"key":"9430_CR48","doi-asserted-by":"crossref","unstructured":"Read, S. (2012). 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). Basel : Springer.","DOI":"10.1007\/978-3-0348-0379-3_6"},{"key":"9430_CR49","unstructured":"Roelandt, K. (2016). Most or the Art of Compositionality. Dutch de\/het meeste at the Syntax-Semantics Interface. Utrecht: LOT Publications."},{"key":"9430_CR50","doi-asserted-by":"crossref","unstructured":"Schang, F. (2012a). Abstract logic of opposition. Logic and Logical Philosophy, 21, 415\u2013438.","DOI":"10.12775\/LLP.2012.019"},{"key":"9430_CR51","unstructured":"Schang, F., B\u00e9ziau, J Y, & Payette, G. (2012b). Questions and answers about oppositions. Peter Lang: Bern."},{"key":"9430_CR52","volume-title":"Logique II. les raisonnements la syllogistique","author":"A Sesmat","year":"1951","unstructured":"Sesmat, A. (1951). Logique II. les raisonnements la syllogistique. Paris: Hermann."},{"key":"9430_CR53","volume-title":"The Logic of Language. Language from Within volume II","author":"P Seuren","year":"2010","unstructured":"Seuren, P. (2010). The Logic of Language. Language from Within volume II. Oxford: Oxford University Press."},{"key":"9430_CR54","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199682195.001.0001","volume-title":"From Whorf to Montague. Explorations in the theory of language","author":"P Seuren","year":"2013","unstructured":"Seuren, P. (2013). From Whorf to Montague. Explorations in the theory of language. Oxford: Oxford University Press."},{"key":"9430_CR55","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1215\/00294527-2798718","volume":"55","author":"P Seuren","year":"2014","unstructured":"Seuren, P. (2014). The cognitive ontogenesis of predicate logic. Notre Dame of Journal of Formal Logic, 55, 499\u2013532.","journal-title":"Notre Dame of Journal of Formal Logic"},{"key":"9430_CR56","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. (2014). Logico-cognitive structure in the lexicon. Language, 90, 607\u2013643.","journal-title":"Language"},{"key":"9430_CR57","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/s11787-009-0010-5","volume":"3","author":"H Smessaert","year":"2009","unstructured":"Smessaert, H. (2009). On the 3D visualisation of logical relations. Logica Universalis, 3, 303\u2013 332.","journal-title":"Logica Universalis"},{"key":"9430_CR58","doi-asserted-by":"crossref","unstructured":"Smessaert, H. (2012). 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 (Vol. 7352, pp. 193\u2013199). Berlin: Springer.","DOI":"10.1007\/978-3-642-31223-6_21"},{"key":"9430_CR59","doi-asserted-by":"crossref","unstructured":"Smessaert, H., & Demey, L. (2014a). Logical and geometrical complementarities between Aristotelian diagrams In Dwyer, T., Purchase, H., & Delaney, A. (Eds.), Diagrammatic representation and inference, LNCS (Vol. 8578, pp. 246\u2013260). Berlin: Springer.","DOI":"10.1007\/978-3-662-44043-8_26"},{"key":"9430_CR60","doi-asserted-by":"crossref","unstructured":"Smessaert, H., & Demey, L. (2014b). Logical geometries and information in the square of opposition. Journal of Logic Language and Information, 23, 527\u2013565.","DOI":"10.1007\/s10849-014-9207-y"},{"key":"9430_CR61","unstructured":"Smessaert, H., & Demey, L (2015a). Aristotelian diagrams for multi-operator formulas in Avicenna and Buridan. In: CLMPS 2015, Helsinki, talk."},{"key":"9430_CR62","doi-asserted-by":"crossref","unstructured":"Smessaert, H., & Demey, L. (2015b). 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\u2013494). Basel: Springer.","DOI":"10.1007\/978-3-319-10193-4_23"},{"key":"9430_CR63","unstructured":"Smessaert, H., & Demey, L. (2015c). La g\u00e9om\u00e9trie logique du dod\u00e9ca\u00e8dre rhombique des oppositions In Chatti, S. (Ed.), Le carr\u00e9 et ses extensions: Approches th\u00e9oriques, pratiques et historiques, (pp. 127\u2013157). Tunis: Universit\u00e9 de Tunis."},{"key":"9430_CR64","doi-asserted-by":"crossref","unstructured":"Smessaert, H., & Demey, L. (2017). The unreasonable effectiveness of bitstrings in logical geometry In B\u00e9ziau, J Y, & Basti, G. (Eds.), The square of opposition: a cornerstone of thought. Basel: Springer.","DOI":"10.1007\/978-3-319-45062-9_12"},{"key":"9430_CR65","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-85108-0","volume-title":"Logic and structure, Fourth Edition","author":"D van Dalen","year":"2004","unstructured":"van Dalen, D. (2004). Logic and structure, Fourth Edition. Berlin: Springer."},{"key":"9430_CR66","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic epistemic logic","author":"HP van Ditmarsch","year":"2007","unstructured":"van Ditmarsch, H.P., van der Hoek, W., & Kooi, B.P. (2007). Dynamic epistemic logic. Dordrecht: Springer."},{"key":"9430_CR67","doi-asserted-by":"crossref","first-page":"49","DOI":"10.3233\/FI-2013-895","volume":"127","author":"Y Yao","year":"2013","unstructured":"Yao, Y. (2013). Duality in rough set theory based on the square of opposition. Fundamenta Informaticae, 127, 49\u201364.","journal-title":"Fundamenta Informaticae"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-017-9430-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-017-9430-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-017-9430-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,3]],"date-time":"2020-10-03T17:07:56Z","timestamp":1601744876000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-017-9430-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3,9]]},"references-count":67,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2018,4]]}},"alternative-id":["9430"],"URL":"https:\/\/doi.org\/10.1007\/s10992-017-9430-5","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,3,9]]}}}