Majorizing provably recursive functions in fragments of PA. - Andrea Cantini (Arch. Math. Log., 1985)

On Weak Theories of Sets and Classes which are Based on Strict ∏. - Andrea Cantini (Math. Log. Q., 1985)

On the Relation Between Choice and Comprehension Principles in Second Order Arithmetic. - Andrea Cantini (J. Symb. Log., 1986)

Two Impredicative Theories of Properties and Sets. - Andrea Cantini (Math. Log. Q., 1988)

Notes on Formal Theories of Truth. - Andrea Cantini (Math. Log. Q., 1989)

A Theory of Formal Truth Arithmetically Equivalent to ID1. - Andrea Cantini (J. Symb. Log., 1990)

A logic of abstraction related to finite constructive number classes. - Andrea Cantini (Arch. Math. Log., 1991)

Levels of Implication and Type Free Theories of Classifications with Approximation Operator. - Andrea Cantini (Math. Log. Q., 1992)

Extending the First-Order Theory of Combinators with Self-Referential Truth. - Andrea Cantini (J. Symb. Log., 1993)

Levels of Truth. - Andrea Cantini (Notre Dame J. Formal Log., 1995)

Logical frameworks for truth and abstraction - an axiomatic study. - Andrea Cantini (Elsevier, 1996)

Asymmetric Interpretations for Bounded Theories. - Andrea Cantini (Math. Log. Q., 1996)

Uniform Inseparability in Explicit Mathematics. - Andrea Cantini; Pierluigi Minari (J. Symb. Log., 1999)

Relating Quine's NF to Feferman's EM. - Andrea Cantini (Stud Logica, 1999)

Feasible Operations and Applicative Theories Based on lambda-eta. - Andrea Cantini (Math. Log. Q., 2000)

Polytime, combinatory logic and positive safe induction. - Andrea Cantini (Arch. Math. Log., 2002)

The axiom of choice and combinatory logic. - Andrea Cantini (J. Symb. Log., 2003)

The Undecidability of Grisin's Set Theory. - Andrea Cantini (Stud Logica, 2003)

Nicholas Rescher, "Paradoxes: Their Roots, Range, and Resolution"; Patrick Blackburn, Maarten de Rijke and Yde Venema, "Modal Logic", Cambridge Tracts in Theoretical Computer Science Volume 53. - Andrea Cantini; Valentin Goranko (Stud Logica, 2004)

Remarks on applicative theories. - Andrea Cantini (Ann. Pure Appl. Log., 2005)

Paradoxes, Self-Reference and Truth in the 20th Century. - Andrea Cantini (Logic from Russell to Church, 2009)

Extending constructive operational set theory by impredicative principles. - Andrea Cantini (Math. Log. Q., 2011)

Monitoring dynamics in time of forest vertical structure with multibaseline PolInSAR data. - Matteo Pardini; Andrea Cantini; Florian Kugler; Konstantinos Papathanassiou; Fabrizio Lombardini (IGARSS, 2014)

A fixed point theory over stratified truth. - Andrea Cantini (Math. Log. Q., 2020)