Andrea Cantini

, 2008, On formal proofs, in R. Lupacchini & G. Corsi (eds.), Deduction, computation, experiment, Dordrecht, Springer, pp. 29-48.

, 2015a, On stratified truth, in T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the philosophy of truth, Dordrecht, Springer, pp. 369-389.