Andrea Cantini

24 papers C 1Journal 21
YearRankTypeTitle / Venue / Authors
2020 J jnl
A fixed point theory over stratified truth.
Math. Log. Q.
Andrea Cantini
2014 C conf
Monitoring dynamics in time of forest vertical structure with multibaseline PolInSAR data.
IGARSS
Matteo Pardini, Andrea Cantini, Florian Kugler, Konstantinos Papathanassiou, Fabrizio Lombardini
2011 J jnl
Extending constructive operational set theory by impredicative principles.
Math. Log. Q.
Andrea Cantini
2009 — ch.
Paradoxes, Self-Reference and Truth in the 20th Century.
Logic from Russell to Church
Andrea Cantini
2005 J jnl
Remarks on applicative theories.
Ann. Pure Appl. Log.
Andrea Cantini
2004 J jnl
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.
Stud Logica
Andrea Cantini, Valentin Goranko
2003 J jnl
The Undecidability of Grisin's Set Theory.
Stud Logica
Andrea Cantini
2003 J jnl
The axiom of choice and combinatory logic.
J. Symb. Log.
Andrea Cantini
2002 J jnl
Polytime, combinatory logic and positive safe induction.
Arch. Math. Log.
Andrea Cantini
2000 J jnl
Feasible Operations and Applicative Theories Based on lambda-eta.
Math. Log. Q.
Andrea Cantini
1999 J jnl
Relating Quine's NF to Feferman's EM.
Stud Logica
Andrea Cantini
1999 J jnl
Uniform Inseparability in Explicit Mathematics.
J. Symb. Log.
Andrea Cantini, Pierluigi Minari
1996 J jnl
Asymmetric Interpretations for Bounded Theories.
Math. Log. Q.
Andrea Cantini
1996 — book
Logical frameworks for truth and abstraction - an axiomatic study.
Andrea Cantini
1995 J jnl
Levels of Truth.
Notre Dame J. Formal Log.
Andrea Cantini
1993 J jnl
Extending the First-Order Theory of Combinators with Self-Referential Truth.
J. Symb. Log.
Andrea Cantini
1992 J jnl
Levels of Implication and Type Free Theories of Classifications with Approximation Operator.
Math. Log. Q.
Andrea Cantini
1991 J jnl
A logic of abstraction related to finite constructive number classes.
Arch. Math. Log.
Andrea Cantini
1990 J jnl
A Theory of Formal Truth Arithmetically Equivalent to ID
J. Symb. Log.
Andrea Cantini
1989 J jnl
Notes on Formal Theories of Truth.
Math. Log. Q.
Andrea Cantini
1988 J jnl
Two Impredicative Theories of Properties and Sets.
Math. Log. Q.
Andrea Cantini
1986 J jnl
On the Relation Between Choice and Comprehension Principles in Second Order Arithmetic.
J. Symb. Log.
Andrea Cantini
1985 J jnl
Majorizing provably recursive functions in fragments of PA.
Arch. Math. Log.
Andrea Cantini
1985 J jnl
On Weak Theories of Sets and Classes which are Based on Strict ∏.
Math. Log. Q.
Andrea Cantini