{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T15:53:54Z","timestamp":1762271634344,"version":"3.40.3"},"publisher-location":"Dordrecht","reference-count":39,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789400744370"},{"type":"electronic","value":"9789400744387"}],"license":[{"start":{"date-parts":[[2012,6,21]],"date-time":"2012-06-21T00:00:00Z","timestamp":1340236800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,6,21]],"date-time":"2012-06-21T00:00:00Z","timestamp":1340236800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-94-007-4438-7_13","type":"book-chapter","created":{"date-parts":[[2012,7,24]],"date-time":"2012-07-24T14:26:33Z","timestamp":1343139993000},"page":"223-255","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Distribution in the Logic of Meaning Containment and in Quantum Mechanics"],"prefix":"10.1007","author":[{"given":"Ross T.","family":"Brady","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Meinander","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,6,21]]},"reference":[{"key":"13_CR1","volume-title":"Entailment, the logic of relevance and necessity, vol 1","author":"AR Anderson","year":"1975","unstructured":"Anderson, A.R., and N.D. Belnap. 1975. Entailment, the logic of relevance and necessity, vol 1. Princeton: Princeton University Press."},{"key":"13_CR2","volume-title":"Logical pluralism","author":"JC Beall","year":"2006","unstructured":"Beall, J.C., and G. Restall. 2006. Logical pluralism. Oxford: Oxford University Press."},{"key":"13_CR3","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1093\/oso\/9780198537779.003.0002","volume-title":"Substructural logics","author":"ND Belnap","year":"1993","unstructured":"Belnap, N.D. 1993. Life in the undistributed middle. In Substructural logics, ed. K. Dosen and P.\u00a0Schroeder-Heister, 31\u201341. Oxford: Oxford Science Publications."},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"823","DOI":"10.2307\/1968621","volume":"37","author":"G Birkhoff","year":"1936","unstructured":"Birkhoff, G., and J. von Neumann. 1936. The logic of quantum mechanics. Annals of Mathematics 37: 823\u2013843.","journal-title":"Annals of Mathematics"},{"key":"13_CR5","first-page":"355","volume":"27","author":"RT Brady","year":"1984","unstructured":"Brady, R.T. 1984. Natural deduction systems for some quantified relevant logics. Logique et Analyse 27: 355\u2013377.","journal-title":"Logique et Analyse"},{"key":"13_CR6","first-page":"151","volume":"24","author":"RT Brady","year":"1996","unstructured":"Brady, R.T. 1996. Relevant implication and the case for a weaker logic. Journal of Philosophical Logic 24: 151\u2013183.","journal-title":"Journal of Philosophical Logic"},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"402","DOI":"10.2307\/2275668","volume":"61","author":"RT Brady","year":"1996","unstructured":"Brady, R.T. 1996a. Gentzenizations of relevant logics with distribution. The Journal of Symbolic Logic 61: 402\u2013420.","journal-title":"The Journal of Symbolic Logic"},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"353","DOI":"10.2307\/2275666","volume":"61","author":"RT Brady","year":"1996","unstructured":"Brady, R.T. 1996b. Gentzenizations of relevant logics without distribution I. The Journal of Symbolic Logic 61: 353\u2013378.","journal-title":"The Journal of Symbolic Logic"},{"key":"13_CR9","doi-asserted-by":"publisher","first-page":"379","DOI":"10.2307\/2275667","volume":"61","author":"RT Brady","year":"1996","unstructured":"Brady, R.T. 1996c. Gentzenizations of relevant logics without distribution II. The Journal of Symbolic Logic 61: 379\u2013401.","journal-title":"The Journal of Symbolic Logic"},{"volume-title":"Relevant logics and their rivals, vol. 2","year":"2003","key":"13_CR10","unstructured":"Brady, R.T. (ed.). 2003. Relevant logics and their rivals, vol. 2. Aldershot: Ashgate."},{"key":"13_CR11","volume-title":"Universal logic","author":"RT Brady","year":"2006","unstructured":"Brady, R.T. (2006). Universal logic. Stanford: CSLI Publications."},{"key":"13_CR12","doi-asserted-by":"publisher","first-page":"35","DOI":"10.2178\/jsl\/1140641162","volume":"71","author":"RT Brady","year":"2006","unstructured":"Brady, R.T. 2006a. Normalized natural deduction systems for some relevant logics I: The logic DW. The Journal of Symbolic Logic, 71: 35\u201366.","journal-title":"The Journal of Symbolic Logic"},{"key":"13_CR13","first-page":"331","volume":"51","author":"RT Brady","year":"2008","unstructured":"Brady, R.T. 2008. Negation in metacomplete relevant logics. Logique et Analyse, 51: 331\u2013354.","journal-title":"Logique et Analyse"},{"key":"13_CR14","unstructured":"Brady, R.T. 201+a. Normalized natural deduction systems for some relevant logics II: Other logics and deductions. Presented to the Australasian association for logic conferences, University of Adelaide, 2003, and University of Otago, 2004."},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Brady, R.T. 201+b. Normalized natural deduction systems for some relevant logics III: Modal and quantificational logics. Presented to the Australasian association for logic Conference, ANU, 2002, and to the 1st World Congress on Universal Logic, Montreux, 2005.","DOI":"10.2178\/jsl\/1140641162"},{"key":"13_CR16","first-page":"185","volume":"51","author":"RT Brady","year":"2008","unstructured":"Brady, R.T., and P.A. Rush. 2008. What is wrong with Cantor\u2019s diagonal argument? Logique et Analyse 51: 185\u2013219.","journal-title":"Logique et Analyse"},{"key":"13_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-0526-4","volume-title":"Reasoning in quantum theory","author":"ML Dalla Chiara","year":"2004","unstructured":"Dalla Chiara, M.L., R. Giuntini, and R. Greechie. 2004. Reasoning in quantum theory. Dordrecht: Kluwer."},{"key":"13_CR18","volume-title":"Elements of intuitionism","author":"M Dummett","year":"1977","unstructured":"Dummett, M. 1977. Elements of intuitionism. Oxford: Oxford University Press."},{"key":"13_CR19","unstructured":"Dunn, J.M. 1981. Quantum mathematics. Philosophy of science association 1980, vol. 2. Princeton: Princeton University Press."},{"key":"13_CR20","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/BF00249674","volume":"17","author":"K Fine","year":"1988","unstructured":"Fine, K. 1988. Semantics for quantified relevance logic. Journal of Philosophical Logic 17: 22\u201359.","journal-title":"Journal of Philosophical Logic"},{"key":"13_CR21","volume-title":"The collected papers of gerhard gentzen","author":"G Gentzen","year":"1969","unstructured":"Gentzen, G. 1969. Investigations into logical deduction. In The collected papers of gerhard gentzen, ed. M. Szabo. Amsterdam: North-Holland."},{"key":"13_CR22","volume-title":"Consistent quantum theory","author":"RB Griffiths","year":"2002","unstructured":"Griffiths, R.B. 2002. Consistent quantum theory. New York: Cambridge University Press."},{"key":"13_CR23","volume-title":"Intuitionism, an introduction","author":"A Heyting","year":"1966","unstructured":"Heyting, A. 1966. Intuitionism, an introduction. Amsterdam: North-Holland."},{"issue":"23","key":"13_CR24","first-page":"1","volume":"A1","author":"O Ketonen","year":"1944","unstructured":"Ketonen, O. 1944. Untersuchungen zum Pr\u00e4dikatenkalk\u00fcl. Annales Academiae Scientiarum Fennicae, A1, 23: 1\u201371.","journal-title":"Annales Academiae Scientiarum Fennicae"},{"key":"13_CR25","first-page":"177","volume-title":"The theory of models","author":"S Kochen","year":"1965","unstructured":"Kochen, S., and E.P. Specker. 1965. Logical structures arising in quantum theory. In The theory of models, ed. J. Addison, L. Henkin, and A. Tarski, 177\u2013189. Amsterdam: North-Holland."},{"key":"13_CR26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-86751-4","volume-title":"Foundations of quantum mechanics","author":"G Ludwig","year":"1983","unstructured":"Ludwig, G. 1983. Foundations of quantum mechanics, vol. 1. Berlin: Springer."},{"key":"13_CR27","doi-asserted-by":"publisher","first-page":"163","DOI":"10.2178\/jsl\/1140641167","volume":"71","author":"ED Mares","year":"2006","unstructured":"Mares, E.D., and R. Goldblatt. 2006. An alternative semantics for quantified relevant logic. The Journal of Symbolic Logic 71: 163\u2013187.","journal-title":"The Journal of Symbolic Logic"},{"key":"13_CR28","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1080\/00048400701728574","volume":"85","author":"F Paoli","year":"2007","unstructured":"Paoli, F. 2007. Implicational paradoxes and the meaning of logical constants. Australasian Journal of Philosophy 85: 553\u2013579.","journal-title":"Australasian Journal of Philosophy"},{"key":"13_CR29","volume-title":"An introduction to non-classical logic","author":"G Priest","year":"2001","unstructured":"Priest, G. 2001. An introduction to non-classical logic. Cambridge: Cambridge University Press."},{"key":"13_CR30","volume-title":"Mathematics, matter and method: Philosophical papers","author":"H Putnam","year":"1975","unstructured":"Putnam, H. 1975. Mathematics, matter and method: Philosophical papers, vol. 1. Cambridge: Cambridge University Press."},{"key":"13_CR31","volume-title":"Relevant logic: A philosophical examination of inference","author":"S Read","year":"1988","unstructured":"Read, S. 1988. Relevant logic: A philosophical examination of inference. Oxford: Blackwell."},{"key":"13_CR32","volume-title":"Philosophic foundations of quantum mechanics","author":"H Reichenbach","year":"1944","unstructured":"Reichenbach, H. 1944. Philosophic foundations of quantum mechanics. Berkeley\/Los Angeles: University of California Press."},{"key":"13_CR33","doi-asserted-by":"crossref","first-page":"544","DOI":"10.1017\/S1079898600001980","volume":"13","author":"G. Restall","year":"2007","unstructured":"Restall, G. 2007. Review of R.T. Brady, Universal logic. Bulletin of Symbolic Logic 13: 544\u2013547.","journal-title":"Bulletin of Symbolic Logic"},{"key":"13_CR34","doi-asserted-by":"publisher","first-page":"1108","DOI":"10.2178\/jsl\/1129642117","volume":"70","author":"G Restall","year":"2005","unstructured":"Restall, G., and F. Paoli. 2005. The geometry of nondistributive logics. Journal of Symbolic Logic 70: 1108\u20131126.","journal-title":"Journal of Symbolic Logic"},{"key":"13_CR35","unstructured":"Rush, P.A., and R.T. Brady. 2007. What is wrong with truth-functional semantics? Presented to the congress of logic, methodology and the philosophy of science, Beijing, 2007, and to the Australasian association for logic conference, University of Melbourne, 2007."},{"key":"13_CR36","first-page":"1142","volume":"56","author":"P Schroeder-Heister","year":"1991","unstructured":"Schroeder-Heister, P. 1991. Uniform proof-theoretic semantics for logical constants (abstract). The Journal of Symbolic Logic 56: 1142.","journal-title":"The Journal of Symbolic Logic"},{"key":"13_CR37","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1007\/s11229-004-6296-1","volume":"148","author":"P Schroeder-Heister","year":"2006","unstructured":"Schroeder-Heister, P. 2006. Validity concepts in proof-theoretic semantics. Synthese 148: 525\u2013571.","journal-title":"Synthese"},{"key":"13_CR38","volume-title":"Proof theoretic semantics","author":"P Schroeder-Heister","year":"2007","unstructured":"Schroeder-Heister, P. 2007. Proof theoretic semantics, Tutorial given to the World Universal Logic Conference. Xian, China."},{"key":"13_CR39","doi-asserted-by":"publisher","first-page":"1059","DOI":"10.2307\/2274261","volume":"49","author":"A Urquhart","year":"1984","unstructured":"Urquhart, A. 1984. The undecidability of entailment and relevant implication. The Journal of Symbolic Logic 49: 1059\u20131073.","journal-title":"The Journal of Symbolic Logic"}],"container-title":["Paraconsistency: Logic and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-007-4438-7_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,27]],"date-time":"2024-04-27T12:14:41Z","timestamp":1714220081000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-94-007-4438-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6,21]]},"ISBN":["9789400744370","9789400744387"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-94-007-4438-7_13","relation":{},"subject":[],"published":{"date-parts":[[2012,6,21]]},"assertion":[{"value":"21 June 2012","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}