Andrea Cantini

According to our database, Andrea Cantini authored at least 24 papers between 1985 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

A fixed point theory over stratified truth.

Andrea Cantini

Math. Log. Q., 2020

2014

Monitoring dynamics in time of forest vertical structure with multibaseline PolInSAR data.

Matteo Pardini, Andrea Cantini, Florian Kugler, Konstantinos Papathanassiou, Fabrizio Lombardini

Proceedings of the 2014 IEEE Geoscience and Remote Sensing Symposium, 2014

2011

Extending constructive operational set theory by impredicative principles.

Andrea Cantini

Math. Log. Q., 2011

2009

Paradoxes, Self-Reference and Truth in the 20th Century.

Andrea Cantini

Proceedings of the Logic from Russell to Church, 2009

2005

Remarks on applicative theories.

Andrea Cantini

Ann. Pure Appl. Log., 2005

2004

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

2003

The Undecidability of Grisin's Set Theory.

Andrea Cantini

Stud Logica, 2003

The axiom of choice and combinatory logic.

Andrea Cantini

J. Symb. Log., 2003

2002

Polytime, combinatory logic and positive safe induction.

Andrea Cantini

Arch. Math. Log., 2002

2000

Feasible Operations and Applicative Theories Based on lambda-eta.

Andrea Cantini

Math. Log. Q., 2000

1999

Relating Quine's NF to Feferman's EM.

Andrea Cantini

Stud Logica, 1999

Uniform Inseparability in Explicit Mathematics.

Andrea Cantini, Pierluigi Minari

J. Symb. Log., 1999

1996

Asymmetric Interpretations for Bounded Theories.

Andrea Cantini

Math. Log. Q., 1996

Logical frameworks for truth and abstraction - an axiomatic study.

Andrea Cantini

Studies in logic and the foundations of mathematics 135, Elsevier, ISBN: 978-0-444-82306-9, 1996

1995

Levels of Truth.

Andrea Cantini

Notre Dame J. Formal Log., 1995

1993

Extending the First-Order Theory of Combinators with Self-Referential Truth.

Andrea Cantini

J. Symb. Log., 1993

1992

Levels of Implication and Type Free Theories of Classifications with Approximation Operator.

Andrea Cantini

Math. Log. Q., 1992

1991

A logic of abstraction related to finite constructive number classes.

Andrea Cantini

Arch. Math. Log., 1991

1990

A Theory of Formal Truth Arithmetically Equivalent to ID₁.

Andrea Cantini

J. Symb. Log., 1990

1989

Notes on Formal Theories of Truth.

Andrea Cantini

Math. Log. Q., 1989

1988

Two Impredicative Theories of Properties and Sets.

Andrea Cantini

Math. Log. Q., 1988

1986

On the Relation Between Choice and Comprehension Principles in Second Order Arithmetic.

Andrea Cantini

J. Symb. Log., 1986

1985

On Weak Theories of Sets and Classes which are Based on Strict ∏.

Andrea Cantini

Math. Log. Q., 1985

Majorizing provably recursive functions in fragments of PA.

Andrea Cantini

Arch. Math. Log., 1985