Compositional Diagrammatic First-Order Logic. - Nathan Haydon; Pawel Sobocinski 001 (Diagrams, 2020)

The Blot. - Ahti-Veikko Pietarinen; Francesco Bellucci; Angelina Bobrova; Nathan Haydon; Mohammad Shafiei (Diagrams, 2020)

Residuation in Existential Graphs. - Nathan Haydon; Ahti-Veikko Pietarinen (Diagrams, 2021)

Diagrammatic Algebra of First Order Logic. - Filippo Bonchi; Alessandro Di Giorgio 002; Nathan Haydon; Pawel Sobocinski 001 (LICS, 2024)

The calculus of neo-Peircean relations. - Filippo Bonchi; Alessandro Di Giorgio 002; Nathan Haydon; Pawel Sobocinski 001 (CoRR, 2025)