Iconicity and abduction: a categorical approach to creative hypothesis-formation in Peirce's existential graphs. - Gianluca Caterina; Rocco Gangle (Log. J. IGPL, 2013)

Abduction: A categorical characterization. - Fernando Tohmé; Gianluca Caterina; Rocco Gangle (J. Appl. Log., 2015)

The sheet of indication: a diagrammatic semantics for Peirce's EG-alpha. - Rocco Gangle; Gianluca Caterina (Synth., 2015)

Iconicity and Abduction - Gianluca Caterina; Rocco Gangle (Springer, 2016)

Local and global optima in decision-making: a sheaf-theoretical analysis of the difference between classical and behavioral approaches. - Fernando Tohmé; Gianluca Caterina; Rocco Gangle (Int. J. Gen. Syst., 2017)

The class of states of the world as an -groupoid: identifying states of the world and hierarchies of belief. - Fernando Tohmé; Gianluca Caterina; Rocco Gangle (Int. J. Gen. Syst., 2018)

A New Syntax for Diagrammatic Logic: A Generic Figures Approach. - Gianluca Caterina; Rocco Gangle (NUMTA (2), 2019)

Computing Truth Values in the Topos of Infinite Peirce's α-Existential Graphs. - Fernando Tohmé; Gianluca Caterina; Rocco Gangle (Appl. Math. Comput., 2020)

Iterated Admissibility Through Forcing in Strategic Belief Models. - Fernando Tohmé; Gianluca Caterina; Jonathan Gangle (J. Log. Lang. Inf., 2020)

A constructive sequence algebra for the calculus of indications. - Rocco Gangle; Gianluca Caterina; Fernando Tohmé (Soft Comput., 2020)

Combinators as Observable Presheaves: A Characterization in the Grossone Framework. - Rocco Gangle; Fernando Tohmé; Gianluca Caterina (NUMTA (3), 2023)

A category theory approach to the semiotics of machine learning. - Fernando Tohmé; Rocco Gangle; Gianluca Caterina (Ann. Math. Artif. Intell., 2024)

Multicombinators as observable presheaves. - Rocco Gangle; Fernando Tohmé; Gianluca Caterina (Soft Comput., 2025)