{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T23:03:48Z","timestamp":1743116628023,"version":"3.40.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319913759"},{"type":"electronic","value":"9783319913766"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-91376-6_49","type":"book-chapter","created":{"date-parts":[[2018,5,16]],"date-time":"2018-05-16T11:19:05Z","timestamp":1526469545000},"page":"537-548","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Peirce and Proof: A View from the Trees"],"prefix":"10.1007","author":[{"given":"Dave","family":"Beisecker","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,5,17]]},"reference":[{"key":"49_CR1","first-page":"25","volume":"1","author":"F Abeles","year":"1990","unstructured":"Abeles, F.: Lewis Carroll\u2019s method of trees: its origins in studies in logic. Mod. Log. 1, 25\u201335 (1990)","journal-title":"Mod. Log."},{"key":"49_CR2","first-page":"36","volume":"1","author":"I Anellis","year":"1990","unstructured":"Anellis, I.: From semantic tableaux to smullyan trees: a history of the development of the falsifiability tree method. Mod. Log. 1, 36\u201369 (1990)","journal-title":"Mod. Log."},{"key":"49_CR3","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/BF01063994","volume":"99","author":"R Burch","year":"1994","unstructured":"Burch, R.: Game-theoretical semantics for peirce\u2019s existential graphs. Synthese 99, 361\u2013375 (1994)","journal-title":"Synthese"},{"key":"49_CR4","unstructured":"Carroll, L.: Symbolic Logic, Part I and Part II. Bartley III., W.W. (ed.). Clarkson N Potter, New York (1977)"},{"key":"49_CR5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511617737","volume-title":"Modal Logic for Philosophers","author":"J Garson","year":"2006","unstructured":"Garson, J.: Modal Logic for Philosophers. Cambridge University Press, Cambridge (2006)"},{"key":"49_CR6","doi-asserted-by":"publisher","first-page":"182","DOI":"10.5840\/monist198265213","volume":"65","author":"R Hilpinen","year":"1982","unstructured":"Hilpinen, R.: On C. S. Peirce\u2019s theory of the proposition: Peirce as a precursor of game-theoretical semantics. Monist 65, 182\u2013188 (1982)","journal-title":"Monist"},{"key":"49_CR7","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199588381.001.0001","volume-title":"The Pragmatic Maxim","author":"C Hookway","year":"2012","unstructured":"Hookway, C.: The Pragmatic Maxim. Oxford University Press, Oxford (2012)"},{"key":"49_CR8","volume-title":"Cambridge Pragmatism","author":"C Misak","year":"2017","unstructured":"Misak, C.: Cambridge Pragmatism. Oxford University Press, Oxford (2017)"},{"issue":"1","key":"49_CR9","doi-asserted-by":"publisher","first-page":"28","DOI":"10.11590\/abhps.2017.1.02","volume":"5","author":"A Moktefi","year":"2017","unstructured":"Moktefi, A.: Are other people\u2019s books difficult to read? The logic books in Lewis Carroll\u2019s private library. Acta Baltica Historiae et Philosophiae Scientarum 5(1), 28\u201349 (2017)","journal-title":"Acta Baltica Historiae et Philosophiae Scientarum"},{"key":"49_CR10","unstructured":"Peirce, C.S.: The Collected Papers of Charles S. Peirce, 8 volumes, Hartshorne, C., Weiss, P., Burns, A.W. (eds.). Harvard University Press, Cambridge (1931\u20131966). (References to Peirce\u2019s papers are designated by CP followed by volume and paragraph number)"},{"key":"49_CR11","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 proofs. Semiotica 186, 315\u2013331 (2011)","journal-title":"Semiotica"},{"key":"49_CR12","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/3633.001.0001","volume-title":"The Iconic Logic of Peirce\u2019s Graphs","author":"S-J Shin","year":"2002","unstructured":"Shin, S.-J.: The Iconic Logic of Peirce\u2019s Graphs. MIT Press, Cambridge (2002)"},{"key":"49_CR13","unstructured":"Sieg, W.: Logic and Proofs. Course available through the Open Learning Initiative. \n                      http:\/\/oli.cmu.edu\/courses\/all-oli-courses\/logic-proofs-course-details\/"},{"key":"49_CR14","first-page":"345","volume":"186","author":"J Sowa","year":"2011","unstructured":"Sowa, J.: Peirce\u2019s tutorial on existential graphs. Semiotica 186, 345\u2013394 (2011)","journal-title":"Semiotica"}],"container-title":["Lecture Notes in Computer Science","Diagrammatic Representation and Inference"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-91376-6_49","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T03:58:43Z","timestamp":1558324723000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-91376-6_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319913759","9783319913766"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-91376-6_49","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"17 May 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"Diagrams","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Theory and Application of Diagrams","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Edinburgh","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"diagrams2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.diagrams-conference.org\/2018\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}