{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,17]],"date-time":"2025-12-17T18:01:56Z","timestamp":1765994516215,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"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_51","type":"book-chapter","created":{"date-parts":[[2018,5,16]],"date-time":"2018-05-16T15:19:05Z","timestamp":1526483945000},"page":"565-581","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Assertive and Existential Graphs: A Comparison"],"prefix":"10.1007","author":[{"given":"Ahti-Veikko","family":"Pietarinen","sequence":"first","affiliation":[]},{"given":"Daniele","family":"Chiffi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,5,17]]},"reference":[{"key":"51_CR1","doi-asserted-by":"publisher","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 I. Alpha. Rev. Symb. Logic 9, 209\u2013237 (2016)","journal-title":"Rev. Symb. Logic"},{"issue":"4","key":"51_CR2","doi-asserted-by":"publisher","first-page":"539","DOI":"10.2979\/trancharpeirsoc.52.4.02","volume":"52","author":"F Bellucci","year":"2017","unstructured":"Bellucci, F., Pietarinen, A.-V.: From Mitchell to Carus: 14 years of logical graphs in the making. Trans. Charles S. Peirce Soc. 52(4), 539\u2013575 (2017a)","journal-title":"Trans. Charles S. Peirce Soc."},{"key":"51_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jal.2017.01.001","volume":"25","author":"F Bellucci","year":"2017","unstructured":"Bellucci, F., Pietarinen, A.-V.: Assertion and denial: a contribution from logical notations. J. Appl. Logics 25, 1\u201322 (2017b)","journal-title":"J. Appl. Logics"},{"key":"51_CR4","doi-asserted-by":"publisher","unstructured":"Bellucci, F., Chiffi, D., Pietarinen, A.-V.: Assertive graphs. J. Appl. Non-Class. Logics (2018). https:\/\/doi.org\/10.1080\/11663081.2017.1418101","DOI":"10.1080\/11663081.2017.1418101"},{"issue":"2","key":"51_CR5","first-page":"131","volume":"25","author":"M Carrara","year":"2017","unstructured":"Carrara, M., Chiffi, D., De Florio, C.: Assertions and hypotheses: a logical framework for their opposition relations. Logic J. IGPL 25(2), 131\u2013144 (2017)","journal-title":"Logic J. IGPL"},{"key":"51_CR6","unstructured":"Chiffi, D., Pietarinen, A-V.: On the Logical Philosophy of Assertive Graphs, preprint"},{"key":"51_CR7","volume-title":"Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens","author":"G Frege","year":"1879","unstructured":"Frege, G.: Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Louis Nebert, Halle a. S. (1879)"},{"key":"51_CR8","unstructured":"Guglielmi, A.: Deep Inference. http:\/\/alessio.guglielmi.name\/res\/cos\/"},{"key":"51_CR9","volume-title":"Intuitionism: An Introduction","author":"A Heyting","year":"1956","unstructured":"Heyting, A.: Intuitionism: An Introduction. North Holland, Amsterdam (1956)"},{"issue":"3","key":"51_CR10","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1007\/s11225-016-9703-y","volume":"105","author":"M Ma","year":"2017","unstructured":"Ma, M., Pietarinen, A.-V.: Proof analysis of Peirce\u2019s alpha system of graphs. Stud. Logica. 105(3), 625\u2013647 (2017)","journal-title":"Stud. Logica."},{"key":"51_CR11","unstructured":"Ma, M., Pietarinen, A.-V.: A graphical deep inference system for intuitionistic logic. Log. Anal., in press"},{"key":"51_CR12","first-page":"25","volume":"2","author":"A Oostra","year":"2010","unstructured":"Oostra, A.: Los gr\u00e1ficos Alfa de Peirce aplicados a la l\u00f3gica intuicionista. Cuad. Sist. Peir. 2, 25\u201360 (2010)","journal-title":"Cuad. Sist. Peir."},{"issue":"1","key":"51_CR13","doi-asserted-by":"publisher","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)","journal-title":"Am. J. Math."},{"issue":"2","key":"51_CR14","doi-asserted-by":"publisher","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":"51_CR15","unstructured":"Peirce, C.S.: Manuscripts in the Houghton Library of Harvard University. Cited as R or L followed by manuscript or letter number (1967)"},{"key":"51_CR16","doi-asserted-by":"crossref","DOI":"10.1515\/9783110226225","volume-title":"The Existential Graphs of C.S. Peirce","author":"DD Roberts","year":"1973","unstructured":"Roberts, D.D.: The Existential Graphs of C.S. Peirce. Mouton, The Hague (1973)"},{"key":"51_CR17","volume-title":"Foundations of Illocutionary Logic","author":"JR Searle","year":"1985","unstructured":"Searle, J.R., Vanderveken, D.: Foundations of Illocutionary Logic. Cambridge University Press, Cambridge (1985)"}],"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_51","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,2]],"date-time":"2020-11-02T02:10:12Z","timestamp":1604283012000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-91376-6_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319913759","9783319913766"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-91376-6_51","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"}}]}}