Andrea Cantini

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
A fixed point theory over stratified truth.
Math. Log. Q., 2020

2014
Monitoring dynamics in time of forest vertical structure with multibaseline PolInSAR data.
Proceedings of the 2014 IEEE Geoscience and Remote Sensing Symposium, 2014

2011
Extending constructive operational set theory by impredicative principles.
Math. Log. Q., 2011

2009
Paradoxes, Self-Reference and Truth in the 20th Century.
Proceedings of the Logic from Russell to Church, 2009

2005
Remarks on applicative theories.
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.
Stud Logica, 2004

2003
The Undecidability of Grisin's Set Theory.
Stud Logica, 2003

The axiom of choice and combinatory logic.
J. Symb. Log., 2003

2002
Polytime, combinatory logic and positive safe induction.
Arch. Math. Log., 2002

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

1999
Relating Quine's NF to Feferman's EM.
Stud Logica, 1999

Uniform Inseparability in Explicit Mathematics.
J. Symb. Log., 1999

1996
Asymmetric Interpretations for Bounded Theories.
Math. Log. Q., 1996

Logical frameworks for truth and abstraction - an axiomatic study.
Studies in logic and the foundations of mathematics 135, Elsevier, ISBN: 978-0-444-82306-9, 1996

1995
Levels of Truth.
Notre Dame J. Formal Log., 1995

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

1992
Levels of Implication and Type Free Theories of Classifications with Approximation Operator.
Math. Log. Q., 1992

1991
A logic of abstraction related to finite constructive number classes.
Arch. Math. Log., 1991

1990
A Theory of Formal Truth Arithmetically Equivalent to ID<sub>1</sub>.
J. Symb. Log., 1990

1989
Notes on Formal Theories of Truth.
Math. Log. Q., 1989

1988
Two Impredicative Theories of Properties and Sets.
Math. Log. Q., 1988

1986
On the Relation Between Choice and Comprehension Principles in Second Order Arithmetic.
J. Symb. Log., 1986

1985
On Weak Theories of Sets and Classes which are Based on Strict ∏.
Math. Log. Q., 1985

Majorizing provably recursive functions in fragments of PA.
Arch. Math. Log., 1985


  Loading...