{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,27]],"date-time":"2025-07-27T07:29:45Z","timestamp":1753601385171,"version":"3.37.3"},"reference-count":60,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2021,7,6]],"date-time":"2021-07-06T00:00:00Z","timestamp":1625529600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,7,6]],"date-time":"2021-07-06T00:00:00Z","timestamp":1625529600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2022,2]]},"DOI":"10.1007\/s11225-021-09954-1","type":"journal-article","created":{"date-parts":[[2021,7,6]],"date-time":"2021-07-06T14:04:42Z","timestamp":1625580282000},"page":"121-163","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Idempotent Variations on the Theme of Exclusive Disjunction"],"prefix":"10.1007","volume":"110","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4932-1027","authenticated-orcid":false,"given":"L.","family":"Humberstone","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,7,6]]},"reference":[{"key":"9954_CR1","unstructured":"Aloni, M., Disjunction, in E. N. Zalta (ed.), Stanford Encyclopedia of Philosophy (Winter 2016 Edition), https:\/\/plato.stanford.edu\/archives\/win2016\/entries\/disjunction\/."},{"key":"9954_CR2","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/s11050-008-9027-1","volume":"16","author":"L Alonso-Ovalle","year":"2008","unstructured":"Alonso-Ovalle, L., Innocent Exclusion in Alternative Semantics, Natural Language Semantics 16:115\u2013128, 2008.","journal-title":"Natural Language Semantics"},{"key":"9954_CR3","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1093\/analys\/36.2.96","volume":"36","author":"EJ Borowski","year":"1976","unstructured":"Borowski, E. J., English and Truth-Functions, Analysis 36:96\u2013100, 1976.","journal-title":"Analysis"},{"key":"9954_CR4","unstructured":"Bunder, M.W., A Foundation of Multiset Theory Based on BCK-Predicate Logic (Abstract), Journal of Symbolic Logic 53:1284, 1988."},{"key":"9954_CR5","unstructured":"Bunder M. W., and N. C. A. da Costa, On BCK Logic and Set Theory, Preprint No. 4\/86, Department of Mathematics, University of Wollongong, 1986."},{"key":"9954_CR6","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1017\/S0031819100041826","volume":"68","author":"TS Champlin","year":"1993","unstructured":"Champlin, T. S., A Curious Plural, Philosophy 68:435\u2013455, 1993.","journal-title":"Philosophy"},{"key":"9954_CR7","unstructured":"Ciardelli, I., Questions in Logic, Institute for Logic, Language and Computation (ILLC Dissertation Series), Amsterdam, 2016."},{"key":"9954_CR8","doi-asserted-by":"crossref","unstructured":"Ciardelli, I., J. Groenendijk, and F. Roelofsen, Inquisitive Semantics, Oxford University Press, Oxford 2019.","DOI":"10.1093\/oso\/9780198814788.001.0001"},{"key":"9954_CR9","doi-asserted-by":"crossref","unstructured":"Clark, D. M., Diassociative groupoids are not finitely based, Journal of the Australian Mathematical Society 11:113\u2013114, 1970.","DOI":"10.1017\/S1446788700006042"},{"key":"9954_CR10","unstructured":"Courant, R., and H. Robbins, What is Mathematics? An Elementary Approach to Ideas and Methods, 4th edn., Oxford University Press, New York, 1947."},{"volume-title":"Semantics of Natural Language","year":"1972","key":"9954_CR11","unstructured":"Davidson, D., and G. Harman, (eds.), Semantics of Natural Language, Reidel, Dordrecht, 1972."},{"key":"9954_CR12","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/s10992-015-9371-9","volume":"45","author":"K Fine","year":"2016","unstructured":"Fine, K., Angellic Content, Journal of Philosophical Logic 45:199\u2013226, 2016.","journal-title":"Journal of Philosophical Logic"},{"key":"9954_CR13","doi-asserted-by":"publisher","first-page":"971","DOI":"10.1007\/s11225-017-9719-y","volume":"105","author":"R French","year":"2017","unstructured":"French, R., A Simple Sequent Calculus for Angell\u2019s Logic of Analytic Containment, Studia Logica 105:971\u2013994, 2017.","journal-title":"Studia Logica"},{"key":"9954_CR14","first-page":"220","volume-title":"Papers from the 12th Regional Meeting","author":"G Gazdar","year":"1975","unstructured":"Gazdar, G., and G.K.Pullum, Truth-functional Connectives in Natural Language, in S. S. Mufwene, C. A. Walker and S. B. Steever, (eds.), Papers from the 12th Regional Meeting, CLS, Chicago Linguistics Society, Chicago, 1975, pp. 220\u2013234."},{"key":"9954_CR15","doi-asserted-by":"crossref","unstructured":"Girle, R., \u201cAnd\/or\u201d or \u201cOr but not both\u201d or both, History and Philosophy of Logic 10:39\u201345, 1989.","DOI":"10.22329\/il.v10i1.2638"},{"key":"9954_CR16","unstructured":"Goldblatt, R., Topoi: The Categorial Analysis of Logic, rev. edn., North-Holland, Amsterdam 1984."},{"key":"9954_CR17","unstructured":"Hendry, H. E., and G. J. Massey, On the Concepts of Sheffer Functions, in K. Lambert, (ed.), The Logical Way of Doing Things, Yale University Press, New Haven and London, 1969, pp. 279\u2013293."},{"key":"9954_CR18","first-page":"195","volume":"5","author":"L Humberstone","year":"1975","unstructured":"Humberstone, L., Review of Davidson and Harman [11], York Papers in Linguistics 5:195\u2013224, 1975.","journal-title":"York Papers in Linguistics"},{"key":"9954_CR19","doi-asserted-by":"publisher","first-page":"9","DOI":"10.2977\/prims\/1195163180","volume":"32","author":"L Humberstone","year":"1996","unstructured":"Humberstone, L., Classes of Valuations Closed Under Operations Galois-Dual to Boolean Sentence Connectives, Publications of the Research Institute for Mathematical Sciences, Kyoto University 32:9\u201384, 1996.","journal-title":"Publications of the Research Institute for Mathematical Sciences, Kyoto University"},{"key":"9954_CR20","doi-asserted-by":"crossref","unstructured":"Humberstone, L., False Though Partly True \u2013 An Experiment in Logic, Journal of Philosophical Logic 32:613\u2013665, 2003.","DOI":"10.1023\/B:LOGI.0000003922.76154.69"},{"key":"9954_CR21","doi-asserted-by":"crossref","unstructured":"Humberstone, L., Identical Twins, Deduction Theorems, and Pattern Functions: Exploring the Implicative BCSK Fragment of S5, Journal of Philosophical Logic 35:435\u2013487, 2006.","DOI":"10.1007\/s10992-005-9023-6"},{"key":"9954_CR22","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9055.001.0001","volume-title":"The Connectives","author":"L Humberstone","year":"2011","unstructured":"Humberstone, L., The Connectives, MIT Press, Cambridge MA, 2011."},{"key":"9954_CR23","doi-asserted-by":"publisher","first-page":"680","DOI":"10.1017\/S175502031300021X","volume":"6","author":"L Humberstone","year":"2013","unstructured":"Humberstone, L., Aggregation and Idempotence, Review of Symbolic Logic 6:680\u2013708, 2013.","journal-title":"Review of Symbolic Logic"},{"key":"9954_CR24","volume-title":"Philosophical Applications of Modal Logic","author":"L Humberstone","year":"2016","unstructured":"Humberstone, L., Philosophical Applications of Modal Logic, College Publications, London, 2016."},{"key":"9954_CR25","first-page":"3","volume":"28","author":"L Humberstone","year":"2019","unstructured":"Humberstone, L., Supervenience, Dependence, Disjunction, Logic and Logical Philosophy 28:3\u2013135, 2019.","journal-title":"Logic and Logical Philosophy"},{"key":"9954_CR26","unstructured":"Humberstone, L., Twins in Logic \u2013 Identical and Otherwise, Journal of Applied Logics (IfCoLog Journal of Logics and their Applications) 7:1071\u20131114, 2020."},{"key":"9954_CR27","unstructured":"Humberstone, L., Propositional Variables Occurring Exactly Once in Candidate Modal Axioms, Filosofiska Notiser 8: 27\u201373, 2021."},{"key":"9954_CR28","volume-title":"The Genealogy of Disjunction","author":"RE Jennings","year":"1994","unstructured":"Jennings, R. E., The Genealogy of Disjunction, Oxford University Press, New York, 1994."},{"key":"9954_CR29","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/3-540-45328-8_2","volume-title":"Dialgebras and Related Operads","author":"J-L Loday","year":"2001","unstructured":"Loday, J.-L., Dialgebras, in J.-L. Loday, F. Chapoton, A. Frabetti, and F. Goichot, Dialgebras and Related Operads, Springer, Berlin, 2001, pp. 7\u201366."},{"key":"9954_CR30","first-page":"43","volume":"34","author":"J Marcos","year":"2005","unstructured":"Marcos, J., Logics of Essence and Accident, Bulletin of the Section of Logic 34:43\u201356, 2005.","journal-title":"Bulletin of the Section of Logic"},{"key":"9954_CR31","doi-asserted-by":"crossref","unstructured":"McCarthy, J., Applications of Circumscription to Formalizing Common-Sense Knowledge, Artificial Intelligence 28:89\u2013116,1986.","DOI":"10.1016\/0004-3702(86)90032-9"},{"key":"9954_CR32","first-page":"498","volume-title":"Semantics of Natural Language","author":"JD McCarthy","year":"1972","unstructured":"McCarthy, J. D., A Program for Logic, in D. Davidson, and G. Harman, (eds.), Semantics of Natural Language, Reidel, Dordrecht 1972, pp. 498\u2013544."},{"key":"9954_CR33","unstructured":"McCarthy, J. D., Everything that Linguists have AlwaysWanted to Know about Logic\u2014But were ashamed to ask, 2nd edn., University of Chicago Press, Chicago 1993."},{"key":"9954_CR34","first-page":"135","volume":"21","author":"TA McKee","year":"1980","unstructured":"McKee, T. A., Generalized Equivalence and the Foundations of Quasigroups, Notre Dame Journal of Formal Logic 21: 135\u2013140, 1980.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9954_CR35","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/BF00394447","volume":"44","author":"TA McKee","year":"1985","unstructured":"McKee, T. A., Generalized Equivalence: A Pattern of Mathematical Expression, Studia Logica 44:285\u2013289, 1985.","journal-title":"Studia Logica"},{"key":"9954_CR36","doi-asserted-by":"publisher","first-page":"83","DOI":"10.2307\/2267027","volume":"10","author":"JCC McKinsey","year":"1945","unstructured":"McKinsey, J. C. C., On the Syntactical Construction of Systems of Modal Logic, Journal of Symbolic Logic 10: 83\u201394, 1945.","journal-title":"Journal of Symbolic Logic"},{"key":"9954_CR37","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1080\/00048408212340551","volume":"60","author":"RK Meyer","year":"1982","unstructured":"Meyer, R. K., and M. A. McRobbie, Multisets and relevant Implication: I, Australasian Journal of Philosophy 60:107\u2013139, 1982.","journal-title":"Australasian Journal of Philosophy"},{"key":"9954_CR38","doi-asserted-by":"crossref","unstructured":"Monro, G. P., The Concept of Multiset, Zeitschr. f\u00fcr math. Logik und Grundlagen der Math. 33:171\u2013178, 1987.","DOI":"10.1002\/malq.19870330212"},{"key":"9954_CR39","doi-asserted-by":"crossref","unstructured":"Nagayama, M., On a Property of BCK-Identities, Studia Logica 53: 227\u2013234, 1994.","DOI":"10.1007\/BF01054710"},{"key":"9954_CR40","doi-asserted-by":"crossref","unstructured":"Pelletier, F. J., and A. Hartline, Ternary Exclusive Or, Logic Journal of the IGPL 16:75\u201383, 2007.","DOI":"10.1093\/jigpal\/jzm027"},{"key":"9954_CR41","volume-title":"The Two-Valued Iterative Systems of Mathematical Logic","author":"EL Post","year":"1941","unstructured":"Post, E. L., The Two-Valued Iterative Systems of Mathematical Logic, Princeton University Press, Princeton, 1941."},{"key":"9954_CR42","volume-title":"Natural Deduction","author":"Dag Prawitz","year":"1965","unstructured":"Prawitz D., Natural Deduction, Almqvist and Wiksell, Stockholm, 1965."},{"key":"9954_CR43","doi-asserted-by":"crossref","unstructured":"Prawitz, D., and P.-E. Malmn\u00e4s, A Survey of Some Connections Between Classical, Intuitionistic, and Minimal Logic, in H. A. Schmidt, K. Sch\u00fctte, and H.-J. Thiele, (eds.), Contributions to Mathematical Logic, North-Holland, Amsterdam, 1968, pp. 215\u2013229.","DOI":"10.1016\/S0049-237X(08)70527-5"},{"key":"9954_CR44","volume-title":"From a Logical Point of View","author":"WV Quine","year":"1953","unstructured":"Quine, W. V., From a Logical Point of View, Harvard University Press, Cambridge, MA, 1953."},{"key":"9954_CR45","doi-asserted-by":"publisher","first-page":"177","DOI":"10.2307\/2022451","volume":"53","author":"WV Quine","year":"1956","unstructured":"Quine, W. V., Quantifiers and Propositional Attitudes, Journal of Philosophy 53:177\u2013187, 1956.","journal-title":"Journal of Philosophy"},{"key":"9954_CR46","volume-title":"Elements of Symbolic Logic","author":"H Reichenbach","year":"1947","unstructured":"Reichenbach, H., Elements of Symbolic Logic, Macmillan, London, 1947."},{"key":"9954_CR47","unstructured":"Restall, G., and S. Standefer, Collection Frames for Substructural Logics, awaiting publication; earlier version (same title) presented by Restall at the LanCog Workshop on Substructural Logics, Centro de Filosofia da Universidade de Lisboa, Libson, Portugal September 26\u201327, 2019."},{"key":"9954_CR48","doi-asserted-by":"crossref","unstructured":"Richards, T. J., \u201cOr\u201d and\/or \u201cAnd\/Or\u201d, History and Philosophy of Logic 10:29\u201338, 1989.","DOI":"10.1080\/01445348908837140"},{"key":"9954_CR49","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1002\/tht3.166","volume":"4","author":"D Ripley","year":"2015","unstructured":"Ripley, D., Contraction and Closure, Thought 4:131\u2013138, 2005.","journal-title":"Thought"},{"key":"9954_CR50","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/s10849-004-2118-6","volume":"13","author":"R van Rooij","year":"2004","unstructured":"van Rooij, R., and K. Schulz, Exhaustive Interpretation of Complex Sentences, Journal of Logic, Language and Information 13:491\u2013519, 2004.","journal-title":"Journal of Logic, Language and Information"},{"key":"9954_CR51","volume-title":"Issues in the Semantics and Pragmatics of Disjunction","author":"M Simons","year":"2000","unstructured":"Simons, M., Issues in the Semantics and Pragmatics of Disjunction, Garland Publishing, New York, 2000."},{"key":"9954_CR52","first-page":"33","volume":"29","author":"D Singh","year":"2008","unstructured":"Singh, D., A. M. Ibrahim, T. Yohanna, and J. N. Singh, A Systematization of [the] Fundamentals of Multisets, Lecturas Matem\u00e1ticas 29:33\u201348, 2008.","journal-title":"Lecturas Matem\u00e1ticas"},{"issue":"Supplement","key":"9954_CR53","first-page":"1","volume":"5","author":"W Taylor","year":"1979","unstructured":"Taylor, W., Equational Logic, Houston Journal of Mathematics 5(Suppl): 1\u201383, 1979.","journal-title":"Houston Journal of Mathematics"},{"key":"9954_CR54","unstructured":"Troelstra, A. S., and D.van Dalen, Constructivism in Mathematics: An Introduction, Vols. I and II, North-Holland, Amsterdam, 1988."},{"key":"9954_CR55","doi-asserted-by":"publisher","first-page":"159","DOI":"10.2307\/2272559","volume":"37","author":"A Urquhart","year":"1972","unstructured":"Urquhart, A., Semantics for Relevant Logics, Journal of Symbolic Logic 37:159\u2013169, 1972.","journal-title":"Journal of Symbolic Logic"},{"key":"9954_CR56","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/BF01049263","volume":"22","author":"L Wetzel","year":"1993","unstructured":"Wetzel, L., What are Occurrences of Expressions? Journal of Philosophical Logic 22:215\u2013220, 1993.","journal-title":"Journal of Philosophical Logic"},{"key":"9954_CR57","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9780262013017.001.0001","volume-title":"Types and Tokens: On Abstract Objects","author":"L Wetzel","year":"2009","unstructured":"Wetzel, L., Types and Tokens: On Abstract Objects, MIT Press, Cambridge MA, 2009."},{"key":"9954_CR58","doi-asserted-by":"crossref","unstructured":"Williamson, T., Indicative versus Subjunctive Conditionals, Congruential versus Non-Hyperintensional Contexts, Philosophical Issues 16: 310\u2013333, 2006.","DOI":"10.1111\/j.1533-6077.2006.00116.x"},{"key":"9954_CR59","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-6942-2","volume-title":"Theory of Logical Calculi","author":"R W\u00f3jcicki","year":"1988","unstructured":"W\u00f3jcicki, R., Theory of Logical Calculi, Kluwer, Dordrecht, 1988."},{"key":"9954_CR60","doi-asserted-by":"publisher","DOI":"10.2307\/j.ctt2tt8rv","volume-title":"Aboutness","author":"S Yablo","year":"2014","unstructured":"Yablo, S., Aboutness, Princeton University Press, Princeton, NJ, 2014."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-021-09954-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-021-09954-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-021-09954-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,1]],"date-time":"2022-02-01T18:22:55Z","timestamp":1643739775000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-021-09954-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,6]]},"references-count":60,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2022,2]]}},"alternative-id":["9954"],"URL":"https:\/\/doi.org\/10.1007\/s11225-021-09954-1","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2021,7,6]]},"assertion":[{"value":"9 November 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 April 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 July 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}