Diophantine Modeling of Provability in Algebraic Logic. - Andrea Formisano 001; Isacco Gavazzi; Eugenio G. Omodeo (CILC, 2025)