Compositional diagrammatic first-order logicHaydon, Nathan Joseph; Sobocinski, Pawel MariaDiagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / p. 402-418 https://doi.org/10.1007/978-3-030-54249-8_32 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS From the experimentalist disposition to the absolute : Peirce's pragmatic naturalismDea, Shannon; Haydon, Nathan JosephResponses to naturalism : critical perspectives from idealism and pragmatism2019 / p. 167-183 https://doi.org/10.4324/9781315180854 https://www.taylorfrancis.com/books/9781315180854/chapters/10.4324/9781315180854-8 Residuation in existential graphsHaydon, Nathan Joseph; Pietarinen, Ahti-VeikkoDiagrammatic Representation and Inference : 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021 : proceedings2021 / p. 229−237 https://doi.org/10.1007/978-3-030-86062-2_21 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS The BlotPietarinen, Ahti-Veikko; Bellucci, Francesco; Bobrova, Angelina; Haydon, Nathan Joseph; Shafiei, MohammadDiagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / p. 225-238 https://doi.org/10.1007/978-3-030-54249-8_18 Conference proceedings at Scopus Article at Scopus Article at WOS Conference proceedings at WOS