{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,30]],"date-time":"2026-09-30T05:01:10Z","timestamp":1790744470305,"version":"4.1.0"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030542481","type":"print"},{"value":"9783030542498","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","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":[[2020]]},"DOI":"10.1007\/978-3-030-54249-8_32","type":"book-chapter","created":{"date-parts":[[2020,8,16]],"date-time":"2020-08-16T19:02:46Z","timestamp":1597604566000},"page":"402-418","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Compositional Diagrammatic First-Order Logic"],"prefix":"10.1007","author":[{"given":"Nathan","family":"Haydon","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pawe\u0142","family":"Soboci\u0144ski","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2020,8,17]]},"reference":[{"key":"32_CR1","unstructured":"Bonchi, F., Seeber, J., Soboci\u0144ski, P.: Graphical conjunctive queries. In: Computer Science Logic 2018 (CSL 2018) (2018)"},{"key":"32_CR2","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/S0022-4049(98)00179-0","volume":"149","author":"G Brady","year":"2000","unstructured":"Brady, G., Trimble, T.: A categorical interpretation of C. S. Peirce\u2019s propositional logic alpha. J. Pure Appl. Algebra 149, 213\u2013239 (2000)","journal-title":"J. Pure Appl. Algebra"},{"key":"32_CR3","unstructured":"Brady, G., Trimble, T.: A string diagram calculus for predicate logic and C. S. Peirce\u2019s system beta (2000)"},{"key":"32_CR4","volume-title":"A Peircean Reduction Thesis","author":"RW Burch","year":"1991","unstructured":"Burch, R.W.: A Peircean Reduction Thesis. Texas Tech University Press, Lubbock (1991)"},{"key":"32_CR5","doi-asserted-by":"publisher","unstructured":"Burch, R.W.: Valental aspects of peircean algebraic logic. Comput. Math. Appl. 23(6), 665\u2013677 (1992). https:\/\/doi.org\/10.1016\/0898-1221(92)90128-5 . http:\/\/www.sciencedirect.com\/science\/article\/pii\/0898122192901285","DOI":"10.1016\/0898-1221(92)90128-5"},{"key":"32_CR6","doi-asserted-by":"publisher","unstructured":"Burch, R.W.: The fine structure of Peircean ligatures and lines of identity. Semiotica 186, 21 (2020\u201301-22T12:56:46313+01:00 2011). https:\/\/doi.org\/10.1515\/semi.2011.045 . https:\/\/www.degruyter.com\/view\/j\/semi.2011.2011.issue-186\/semi.2011.045\/semi.2011.045.xml","DOI":"10.1515\/semi.2011.045"},{"key":"32_CR7","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/0022-4049(87)90121-6","volume":"49","author":"A Carboni","year":"1987","unstructured":"Carboni, A., Walters, R.F.C.: Cartesian bicategories I. J. Pure Appl. Algebra 49, 11\u201332 (1987)","journal-title":"J. Pure Appl. Algebra"},{"key":"32_CR8","doi-asserted-by":"crossref","unstructured":"Coecke, B., Kissinger, A.: Picturing Quantum Processes - A First Course in Quantum Theory and Diagrammatic Reasoning. Cambridge University Press, Cambridge (2017)","DOI":"10.1017\/9781316219317"},{"key":"32_CR9","unstructured":"Dau, F.: Mathematical logic with diagrams based on the Existential Graphs of Peirce (2005)"},{"key":"32_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-24651-0_29","volume-title":"Concept Lattices","author":"J Hereth Correia","year":"2004","unstructured":"Hereth Correia, J., P\u00f6schel, R.: The power of peircean algebraic logic (PAL). In: Eklund, P. (ed.) ICFCA 2004. LNCS (LNAI), vol. 2961, pp. 337\u2013351. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24651-0_29"},{"issue":"9","key":"32_CR11","first-page":"147","volume":"13","author":"S Lack","year":"2004","unstructured":"Lack, S.: Composing PROPs. Theor. Appl. Categories 13(9), 147\u2013163 (2004)","journal-title":"Theor. Appl. Categories"},{"key":"32_CR12","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1090\/S0002-9904-1965-11234-4","volume":"71","author":"S Mac Lane","year":"1965","unstructured":"Mac Lane, S.: Categorical algebra. Bull. Am. Math. Soc. 71, 40\u2013106 (1965)","journal-title":"Bull. Am. Math. Soc."},{"key":"32_CR13","doi-asserted-by":"publisher","unstructured":"Minghui, M., Pietarinen, A.: A graphical deep inference system for intuitionistic logic. Logique et Analyse 245, 73\u2013114 (2019). https:\/\/doi.org\/10.2143\/LEA.245.0.3285706","DOI":"10.2143\/LEA.245.0.3285706"},{"key":"32_CR14","unstructured":"Peirce, C.S.: Letters to Lady Welby. MS [R] L463, from the Commens Bibliography. http:\/\/www.commens.org\/bibliography\/manuscript\/peirce-charles-s-nd-letters-lady-welby-ms-r-l463"},{"key":"32_CR15","doi-asserted-by":"crossref","unstructured":"Pietarinen, A.V.: The Logic of the Future, vol. 1. De Gruyter, Berlin (2019)","DOI":"10.1515\/9783110651409-001"},{"key":"32_CR16","unstructured":"Pietarinen, A.V.: The Logic of the Future, vol. 2 & 3. De Gruyter, Berlin (forthcoming) (cited page numbers are from a previous draft copy)"},{"key":"32_CR17","doi-asserted-by":"crossref","unstructured":"Roberts, D.D.: The Existential Graphs of Charles S. Peirce. Mouton, The Hague (1973)","DOI":"10.1515\/9783110226225"},{"key":"32_CR18","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/3633.001.0001","volume-title":"The Iconic Logic of Peirce\u2019s Graphs","author":"S Shin","year":"2002","unstructured":"Shin, S.: The Iconic Logic of Peirce\u2019s Graphs. MIT Press, Cambridge (2002)"},{"key":"32_CR19","unstructured":"Zeman, J.J.: A system of implicit quantification. J. Symb. Logic 32(4), 480\u2013504 (1967). http:\/\/www.jstor.org\/stable\/2270176"}],"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-030-54249-8_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,7]],"date-time":"2022-11-07T04:16:54Z","timestamp":1667794614000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-54249-8_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030542481","9783030542498"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-54249-8_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"17 August 2020","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":"Tallinn","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Estonia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 August 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 August 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"diagrams2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.diagrams-conference.org\/2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"82","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"20","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"16","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"24% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.9","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"18 (of 22 accepted) poster papers are included.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}