{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T22:51:19Z","timestamp":1730328679680,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":77,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,7,8]]},"DOI":"10.1145\/3661814.3662078","type":"proceedings-article","created":{"date-parts":[[2024,6,21]],"date-time":"2024-06-21T12:30:12Z","timestamp":1718973012000},"page":"1-15","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Diagrammatic Algebra of First Order Logic"],"prefix":"10.1145","author":[{"ORCID":"http:\/\/orcid.org\/0000-0002-3433-723X","authenticated-orcid":false,"given":"Filippo","family":"Bonchi","sequence":"first","affiliation":[{"name":"University of Pisa, Pisa, Italy"}]},{"ORCID":"http:\/\/orcid.org\/0000-0002-6428-6461","authenticated-orcid":false,"given":"Alessandro","family":"Di Giorgio","sequence":"additional","affiliation":[{"name":"University College London, London, United Kingdom"}]},{"ORCID":"http:\/\/orcid.org\/0000-0002-1604-9832","authenticated-orcid":false,"given":"Nathan","family":"Haydon","sequence":"additional","affiliation":[{"name":"Tallinn University of Technology, Tallinn, Estonia"}]},{"ORCID":"http:\/\/orcid.org\/0000-0002-7992-9685","authenticated-orcid":false,"given":"Pawel","family":"Sobocinski","sequence":"additional","affiliation":[{"name":"Tallinn University of Technology, Tallinn, Estonia"}]}],"member":"320","published-online":{"date-parts":[[2024,7,8]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"836","article-title":"Categories In Control","volume":"30","author":"Baez John","year":"2015","unstructured":"John Baez and Jason Erbele. 2015. Categories In Control. Theory and Applications of Categories 30 (2015), 836--881. http:\/\/www.tac.mta.ca\/tac\/volumes\/30\/24\/30-24abs.html","journal-title":"Theory and Applications of Categories"},{"key":"e_1_3_2_1_2_1","first-page":"167","article-title":"The algebra of programming","volume":"152","author":"Bird Richard","year":"1996","unstructured":"Richard Bird and Oege De Moor. 1996. The algebra of programming. NATO ASI DPD 152 (1996), 167--203.","journal-title":"NATO ASI DPD"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1241515.1241517"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.CONCUR.2020.49"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3502719"},{"key":"e_1_3_2_1_6_1","volume-title":"Nathan Haydon, and Pawel Sobocinski.","author":"Bonchi Filippo","year":"2024","unstructured":"Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, and Pawel Sobocinski. 2024. Diagrammatic Algebra of First Order Logic. arXiv:2401.07055 [cs.LO]"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290338"},{"key":"e_1_3_2_1_8_1","volume-title":"Functorial Semantics for Relational Theories. CoRR abs\/1711.08699","author":"Bonchi Filippo","year":"2017","unstructured":"Filippo Bonchi, Dusko Pavlovic, and Pawel Sobocinski. 2017. Functorial Semantics for Relational Theories. CoRR abs\/1711.08699 (2017). arXiv:1711.08699 http:\/\/arxiv.org\/abs\/1711.08699"},{"key":"e_1_3_2_1_9_1","volume-title":"On Doctrines and Cartesian Bicategories. In 9th Conference on Algebra and Coalgebra in Computer Science (CALCO","author":"Bonchi Filippo","year":"2021","unstructured":"Filippo Bonchi, Alessio Santamaria, Jens Seeber, and Pawe\u0142 Soboci\u0144ski. 2021. On Doctrines and Cartesian Bicategories. In 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021). Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.CSL.2018.13"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676993"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpaa.2016.06.002"},{"volume-title":"The mathematical analysis of logic","author":"Boole George","key":"e_1_3_2_1_13_1","unstructured":"George Boole. 1847. The mathematical analysis of logic. Philosophical Library."},{"key":"e_1_3_2_1_14_1","volume-title":"Trimble","author":"Brady Geraldine","year":"1998","unstructured":"Geraldine Brady and Todd H. Trimble. 1998. A String Diagram Calculus for Predicate Logic and C. S. Peirce's System Beta. (1998). https:\/\/ncatlab.org\/nlab\/files\/BradyTrimbleString.pdf."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-006-6605-4"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(87)90121-6"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/800105.803397"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129520003047"},{"key":"e_1_3_2_1_20_1","volume-title":"Proof theory for full intuitionistic linear logic, bilinear logic, and mix categories. Theory and Applications of categories 3, 5","author":"Cockett J Robin B","year":"1997","unstructured":"J Robin B Cockett and Robert AG Seely. 1997. Proof theory for full intuitionistic linear logic, bilinear logic, and mix categories. Theory and Applications of categories 3, 5 (1997), 85--131."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(95)00160-3"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/357980.358007"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/13\/4\/043016"},{"volume-title":"Combinatory logic","author":"Curry Haskell Brooks","key":"e_1_3_2_1_24_1","unstructured":"Haskell Brooks Curry, Robert Feys, William Craig, J Roger Hindley, and Jonathan P Seldin. 1958. Combinatory logic. Vol. 1. North-Holland Amsterdam."},{"key":"e_1_3_2_1_25_1","volume-title":"Quotients and Extensionality in Relational Doctrines. In 8th International Conference on Formal Structures for Computation and Deduction (FSCD","author":"Dagnino Francesco","year":"2023","unstructured":"Francesco Dagnino and Fabio Pasquali. 2023. Quotients and Extensionality in Relational Doctrines. In 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023). Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik."},{"key":"e_1_3_2_1_26_1","volume-title":"The Dialectica Categories","author":"de Paiva Valeria","year":"1991","unstructured":"Valeria de Paiva. 1991. The Dialectica Categories. University of Cambridge. Computer Lab Technical Report, PhD thesis 2 (1991), 3."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1999.782615"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2934556"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.323.14"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1080\/00927877608822127"},{"volume-title":"North-Holland Mathematical Library","author":"Freyd Peter","key":"e_1_3_2_1_31_1","unstructured":"Peter Freyd and Andre Scedrov. 1990. Categories, Allegories. North-Holland Mathematical Library, Vol. 39. Elsevier B.V."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/s001650200016"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3022670.2951939"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2016.7886659"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3571215"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1182613.1182614"},{"key":"e_1_3_2_1_37_1","volume-title":"Compositional Diagrammatic First-Order Logic. In 11th International Conference on the Theory and Application of Diagrams (DIAGRAMS","author":"Haydon Nathan","year":"2020","unstructured":"Nathan Haydon and Pawe\u0142 Soboci\u0144ski. 2020. Compositional Diagrammatic First-Order Logic. In 11th International Conference on the Theory and Application of Diagrams (DIAGRAMS 2020)."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.2307\/2267044"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.3233\/FI-1986-9104"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/s000120050150"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1999.782616"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS52264.2021.9470579"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/0001-8708(91)90003-P"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-011-9223-4"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3498692"},{"key":"e_1_3_2_1_46_1","volume-title":"Relational reasoning about contexts. Higher order operational techniques in semantics 91","author":"Lassen S\u00f8ren B","year":"1998","unstructured":"S\u00f8ren B Lassen. 1998. Relational reasoning about contexts. Higher order operational techniques in semantics 91 (1998)."},{"volume-title":"Functorial Semantics of Algebraic Theories. Ph. D. Dissertation","author":"Lawvere F. W.","key":"e_1_3_2_1_47_1","unstructured":"F. W. Lawvere. 1963. Functorial Semantics of Algebraic Theories. Ph. D. Dissertation. Columbia University, New York, NY, USA."},{"volume-title":"Categories for the Working Mathematician","author":"Lane S. Mac","key":"e_1_3_2_1_48_1","unstructured":"S. Mac Lane. 1978. Categories for the Working Mathematician (second ed.). Graduate Texts in Mathematics, Vol. 5. Springer-Verlag, New York. https:\/\/www.springer.com\/gb\/book\/9780387984032"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11787-013-0080-2"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2934525"},{"volume-title":"The space and motion of communicating agents","author":"Milner Robin","key":"e_1_3_2_1_51_1","unstructured":"Robin Milner. 2009. The space and motion of communicating agents. Cambridge University Press."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1307\/mmj\/1028999131"},{"key":"e_1_3_2_1_53_1","unstructured":"Augustus De Morgan. 1860. On the Syllogism No. Iv. And on the Logic of Relations. Printed by C.J. Clay at the University Press."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209127"},{"key":"e_1_3_2_1_55_1","unstructured":"Shayesteh Naeimabadi. 2022. Constructing Cartesian Linear Bicategories. https:\/\/pages.cpsc.ucalgary.ca\/~robin\/FMCS\/FMCS2022\/slides\/Shayesteh.pdf"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(96)00167-3"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341714"},{"key":"e_1_3_2_1_58_1","unstructured":"Charles Sanders Peirce. 1883. Studies in logic. By members of the Johns Hopkins university. Little Brown and Company."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.5840\/monist18977231"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1515\/9783110651409"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1515\/9783110740462"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1515\/9783110651423"},{"key":"e_1_3_2_1_63_1","volume-title":"Higher-order abstract syntax. ACM sigplan notices 23, 7","author":"Pfenning Frank","year":"1988","unstructured":"Frank Pfenning and Conal Elliott. 1988. Higher-order abstract syntax. ACM sigplan notices 23, 7 (1988), 199--208."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-71995-1_24"},{"volume-title":"Nominal sets: Names and symmetry in computer science","author":"Pitts Andrew M","key":"e_1_3_2_1_65_1","unstructured":"Andrew M Pitts. 2013. Nominal sets: Names and symmetry in computer science. Cambridge University Press."},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39634-2_15"},{"key":"e_1_3_2_1_67_1","unstructured":"Damien Pous. 2016. Automata for relation algebra and formal proofs. Ph. D. Dissertation. ENS Lyon."},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.STACS.2018.3"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1976.27"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)70850-4"},{"volume-title":"Modular Normalisation of Classical Proofs. Ph. D. Dissertation","author":"Ralph Benjamin","key":"e_1_3_2_1_71_1","unstructured":"Benjamin Ralph. 2019. Modular Normalisation of Classical Proofs. Ph. D. Dissertation. University of Bath."},{"key":"e_1_3_2_1_72_1","first-page":"120","article-title":"On defining relations for the algebra of regular events","volume":"16","author":"Redko Valentin N","year":"1964","unstructured":"Valentin N Redko. 1964. On defining relations for the algebra of regular events. Ukrainskii Matematicheskii Zhurnal 16 (1964), 120--126.","journal-title":"Ukrainskii Matematicheskii Zhurnal"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"crossref","unstructured":"Don D. Roberts. 1973. The Existential Graphs of Charles S. Peirce. De Gruyter Mouton.","DOI":"10.1515\/9783110226225"},{"key":"e_1_3_2_1_74_1","unstructured":"Jens Seeber. 2020. Logical completeness for string diagrams. (2020)."},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12821-9_4"},{"key":"e_1_3_2_1_76_1","volume-title":"Probabilistic Programming with Exact Conditions. J. ACM","author":"Stein Dario","year":"2023","unstructured":"Dario Stein and Sam Staton. 2023. Probabilistic Programming with Exact Conditions. J. ACM (2023)."},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.2307\/2268577"},{"volume-title":"A formalization of set theory without variables","author":"Tarski Alfred","key":"e_1_3_2_1_78_1","unstructured":"Alfred Tarski and Steven R Givant. 1988. A formalization of set theory without variables. Vol. 41. American Mathematical Soc."}],"event":{"name":"LICS '24: 39th Annual ACM\/IEEE Symposium on Logic in Computer Science","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation","IEEE Computer Society","EACSL"],"location":"Tallinn Estonia","acronym":"LICS '24"},"container-title":["Proceedings of the 39th Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3661814.3662078","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,12]],"date-time":"2024-08-12T17:41:14Z","timestamp":1723484474000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3661814.3662078"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,8]]},"references-count":77,"alternative-id":["10.1145\/3661814.3662078","10.1145\/3661814"],"URL":"https:\/\/doi.org\/10.1145\/3661814.3662078","relation":{},"subject":[],"published":{"date-parts":[[2024,7,8]]},"assertion":[{"value":"2024-07-08","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}