{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,17]],"date-time":"2025-12-17T17:59:38Z","timestamp":1765994378172},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662540688"},{"type":"electronic","value":"9783662540695"}],"license":[{"start":{"date-parts":[[2016,12,3]],"date-time":"2016-12-03T00:00:00Z","timestamp":1480723200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-54069-5_13","type":"book-chapter","created":{"date-parts":[[2016,12,2]],"date-time":"2016-12-02T08:43:15Z","timestamp":1480668195000},"page":"168-182","source":"Crossref","is-referenced-by-count":6,"title":["Peirce\u2019s Sequent Proofs of Distributivity"],"prefix":"10.1007","author":[{"given":"Minghui","family":"Ma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahti-Veikko","family":"Pietarinen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,12,3]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","DOI":"10.1515\/9781400826186","volume-title":"The Birth of Model Theory: L\u00f6wenheim\u2019s Theorem in the Frame of the Theory of Relatives","author":"C Badesa","year":"2004","unstructured":"Badesa, C.: The Birth of Model Theory: L\u00f6wenheim\u2019s Theorem in the Frame of the Theory of Relatives. Princeton University Press, Princeton (2004)"},{"issue":"2","key":"13_CR2","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1017\/S1755020315000362","volume":"9","author":"F Bellucci","year":"2016","unstructured":"Bellucci, F., Pietarinen, A.-V.: Existential graphs as an instrument of logical analysis: part 1. Alpha. Rev. Symbolic Logic 9(2), 209\u2013237 (2016a)","journal-title":"Alpha. Rev. Symbolic Logic"},{"key":"13_CR3","unstructured":"Bellucci, F., Pietarinen, A.V.: From Mitchell to Carus: Fourteen Years of Logical Graphs in the Making. Transactions of the Charles S. Peirce Society (2016, in press)"},{"key":"13_CR4","volume-title":"From Peirce to Skolem: A Neglected Chapter in the History of Logic","author":"G Brady","year":"2000","unstructured":"Brady, G.: From Peirce to Skolem: A Neglected Chapter in the History of Logic. Elsevier Science, Amsterdam (2000)"},{"key":"13_CR5","first-page":"257","volume-title":"The Cambridge Companion to Peirce","author":"R Dipert","year":"2004","unstructured":"Dipert, R.: Peirce\u2019s deductive logic: its development, influence, and philosophical significance. In: Misak, C. (ed.) The Cambridge Companion to Peirce, pp. 257\u2013286. Cambridge University Press, Cambridge (2004)"},{"key":"13_CR6","first-page":"10","volume-title":"Perspectives on the History of Mathematical Logic","author":"N Houser","year":"1991","unstructured":"Houser, N.: Peirce and the law of distribution. In: Drucker, T. (ed.) Perspectives on the History of Mathematical Logic, pp. 10\u201332. Birkh\u00e4user, Boston (1991)"},{"volume-title":"Studies in the Logic of Charles S. Peirce","year":"1997","key":"13_CR7","unstructured":"Houser, N., Roberts, D., Van Evra, J. (eds.): Studies in the Logic of Charles S. Peirce. Indiana University Press, Bloomington (1997)"},{"key":"13_CR8","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1090\/S0002-9947-1904-1500675-4","volume":"5","author":"EV Huntington","year":"1904","unstructured":"Huntington, E.V.: Sets of independent postulates for the algebra of logic. Trans. Am. Math. Soc. 5, 288\u2013309 (1904)","journal-title":"Trans. Am. Math. Soc."},{"key":"13_CR9","doi-asserted-by":"crossref","DOI":"10.1515\/9783110856019","volume-title":"Peirce\u2019s Logic of Relations and Other Studies","author":"RM Martin","year":"1980","unstructured":"Martin, R.M.: Peirce\u2019s Logic of Relations and Other Studies. Foris, Dordrecht (1980)"},{"key":"13_CR10","first-page":"250","volume":"7","author":"CS Peirce","year":"1867","unstructured":"Peirce, C.S.: On an improvement in Boole\u2019s calculus of logic. Proc. Am. Acad. Arts Sci. 7, 250\u2013261 (1867)","journal-title":"Proc. Am. Acad. Arts Sci."},{"issue":"1","key":"13_CR11","doi-asserted-by":"crossref","first-page":"15","DOI":"10.2307\/2369442","volume":"3","author":"CS Peirce","year":"1880","unstructured":"Peirce, C.S.: On the algebra of logic. Am. J. Math. 3(1), 15\u201357 (1880). (Reprinted in [22, vol. 4, pp. 163\u2013209])","journal-title":"Am. J. Math."},{"issue":"2","key":"13_CR12","doi-asserted-by":"crossref","first-page":"180","DOI":"10.2307\/2369451","volume":"7","author":"CS Peirce","year":"1885","unstructured":"Peirce, C.S.: On the algebra of logic: a contribution to the philosophy of notation. Am. J. Math. 7(2), 180\u2013196 (1885)","journal-title":"Am. J. Math."},{"key":"13_CR13","unstructured":"Peirce, C.S.: Algebra of the Copula [Version 1]. In: Writings of Charles S. Peirce, vol. 8 (1890\u20131892), pp. 210\u2013211. Indiana University Press (2010)"},{"key":"13_CR14","unstructured":"Peirce, C.S.: Grand Logic. Division I. Stecheology. Part I. Non Relative Logic. Chapter VIII. The Algebra of the Copula (R 411) (1893a)"},{"key":"13_CR15","unstructured":"Peirce, C.S.: Grand Logic. Chapter XI. The Boolian Calculus (R 417) (1893b)"},{"key":"13_CR16","unstructured":"Peirce, C.S.: Grand Logic. Book II. Division I. Part 2. Logic of Relatives. Chapter XII. The Algebra of Relatives (R 418) (1893c)"},{"key":"13_CR17","unstructured":"Peirce, C.S.: 1896\u20137. On Logical Graphs (R 482)"},{"key":"13_CR18","unstructured":"Peirce, C.S.: Letter to E. V. Huntington, February 14, 1904 (R L 210) (1904b)"},{"key":"13_CR19","unstructured":"Peirce, C.S.: The Collected Papers of Charles S. Peirce. vol. 8, ed. by Hartshorne, C., Weiss, P., Burks, A. W. Cambridge: Harvard University Press. Cited as CP followed by volume and paragraph number, pp. 1931\u20131966"},{"key":"13_CR20","unstructured":"Peirce, C.S.: Manuscripts in the Houghton Library of Harvard University, as identified by Richard Robin. Annotated Catalogue of the Papers of Charles S. Peirce, Amherst: University of Massachusetts Press (1967). Cited as R followed by manuscript number"},{"key":"13_CR21","unstructured":"Peirce, C.S.: The New Elements of Mathematics by Charles S. Peirce. vol. 4, ed. by Eisele, C. The Hague: Mouton. Cited as NEM followed by volume and page number (1976)"},{"key":"13_CR22","unstructured":"Peirce, C.S.: Writings of Charles S. Peirce: A Chronological Edition, vol. 7, ed. by Moore, E.C., Kloesel, C.J.W., et al. Bloomington: Indiana University Press. Cited as W followed by volume and page number (1982)"},{"key":"13_CR23","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-540-25931-2_11","volume-title":"Diagrammatic Representation and Inference","author":"AV Pietarinen","year":"2004","unstructured":"Pietarinen, A.V.: Peirce\u2019s diagrammatic logic in IF perspective. In: Blackwell, A.F., Marriott, K., Shimojima, A. (eds.) Diagrams 2004. LNCS (LNAI), vol. 2980, pp. 97\u2013111. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-25931-2_11"},{"key":"13_CR24","volume-title":"Signs of Logic: Peircean Themes on the Philosophy of Language, Games, and Communication","author":"A-V Pietarinen","year":"2006","unstructured":"Pietarinen, A.-V.: Signs of Logic: Peircean Themes on the Philosophy of Language, Games, and Communication. Springer, Dordrecht (2006)"},{"key":"13_CR25","first-page":"315","volume":"186","author":"A-V Pietarinen","year":"2011","unstructured":"Pietarinen, A.-V.: Moving pictures of thought II: graphs, games, and pragmaticism\u2019s proof. Semiotica 186, 315\u2013331 (2011)","journal-title":"Semiotica"},{"key":"13_CR26","first-page":"79","volume-title":"Studies in the Philosophy of Charles Sanders Peirce","author":"AN Prior","year":"1964","unstructured":"Prior, A.N.: The algebra of the copula. In: Moore, E., Robin, R. (eds.) Studies in the Philosophy of Charles Sanders Peirce, pp. 79\u201394. The University of Massachusetts Press, Amherst (1964)"},{"key":"13_CR27","first-page":"109","volume-title":"Studies in the Philosophy of Charles Sanders Peirce","author":"DD Roberts","year":"1964","unstructured":"Roberts, D.D.: Existential graphs and natural deduction. In: Moore, E., Robin, R. (eds.) Studies in the Philosophy of Charles Sanders Peirce, pp. 109\u2013121. The University of Massachusetts Press, Amherst (1964)"},{"key":"13_CR28","first-page":"115","volume":"7","author":"B Russell","year":"1901","unstructured":"Russell, B.: Sur la logique des relations avec des applications \u00e1 la th\u00e9orie des s\u00e9ries. Revue de math\u00e9matiques\/Rivista di Matematiche 7, 115\u2013148 (1901)","journal-title":"Revue de math\u00e9matiques\/Rivista di Matematiche"},{"key":"13_CR29","volume-title":"Vorlesungen \u00fcber die Algebra der Logik","author":"E Schr\u00f6der","year":"1890","unstructured":"Schr\u00f6der, E.: Vorlesungen \u00fcber die Algebra der Logik, vol. 1. B. G. Teubner, Leipzig (1890)"},{"key":"13_CR30","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/11787181_5","volume-title":"Conceptual Structures: Inspiration and Application","author":"J Sowa","year":"2006","unstructured":"Sowa, J.: Peirce\u2019s contributions to the 21st century. In: Sch\u00e4rfe, H., Hitzler, P., \u00d8hrstr\u00f8m, Peter (eds.) ICCS-ConceptStruct 2006. LNCS (LNAI), vol. 4068, pp. 54\u201369. Springer, Heidelberg (2006). doi: 10.1007\/11787181_5"},{"key":"13_CR31","first-page":"95","volume-title":"Studies in the Philosophy of Charles Sanders Peirce","author":"A Turquette","year":"1964","unstructured":"Turquette, A.: Peirce\u2019s icons for deductive logic. In: Moore, E., Robin, R. (eds.) Studies in the Philosophy of Charles Sanders Peirce, pp. 95\u2013108. The University of Massachusetts Press, Amherst (1964)"}],"container-title":["Lecture Notes in Computer Science","Logic and Its Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-54069-5_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,16]],"date-time":"2022-07-16T01:16:53Z","timestamp":1657934213000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-54069-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,3]]},"ISBN":["9783662540688","9783662540695"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-54069-5_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016,12,3]]}}}