Diagrammatic Algebra of First Order Logic

Filippo Bonchi, Alessandro Di Giorgio 0002, Nathan Haydon, Pawel Sobocinski 0001. Diagrammatic Algebra of First Order Logic. In Pawel Sobocinski 0001, Ugo Dal Lago, Javier Esparza, editors, Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2024, Tallinn, Estonia, July 8-11, 2024. ACM, 2024. [doi]

Abstract

Abstract is missing.