Andrea Cantini

发表

Levels of Truth

Andrea Cantini, 1995, Notre Dame J. Formal Log..

Majorizing provably recursive functions in fragments of PA

Andrea Cantini, 1985, Arch. Math. Log..

Paradoxes and set existence

Andrea Cantini, 2019 .

The axiom of choice and combinatory logic

Andrea Cantini, 2003, J. Symb. Log..

Relating Quine's NF to Feferman's EM

Andrea Cantini, 1999, Stud Logica.

A Theory of Formal Truth Arithmetically Equivalent to ID1

Andrea Cantini, 1990, J. Symb. Log..

Remarks on applicative theories

Andrea Cantini, A. Cantini, 2005, Ann. Pure Appl. Log..

Asymmetric Interpretations for Bounded Theories

Andrea Cantini, A. Cantini, 1996, Math. Log. Q..

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

Andrea Cantini, 1986, J. Symb. Log..

Uniform Inseparability in Explicit Mathematics

Andrea Cantini, Pierluigi Minari, 1999, J. Symb. Log..

Notes on Formal Theories of Truth

Andrea Cantini, A. Cantini, 1989, Math. Log. Q..

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

Andrea Cantini, A. Cantini, 1992, Math. Log. Q..

Feasible Operations and Applicative Theories Based on lambda-eta

Andrea Cantini, 2000, Math. Log. Q..

The Undecidability of Grisin's Set Theory

Andrea Cantini, A. Cantini, 2003, Stud Logica.

Extending the first-order theory of combinators with self-referential truth

Andrea Cantini, A. Cantini, 1993, Journal of Symbolic Logic.

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

Andrea Cantini, A. Cantini, 2009, Logic from Russell to Church.

Two Impredicative Theories of Properties and Sets

Andrea Cantini, 1988, Math. Log. Q..

A logic of abstraction related to finite constructive number classes

Andrea Cantini, A. Cantini, 1991, Arch. Math. Log..

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

Andrea Cantini, A. Cantini, 1985, Math. Log. Q..

Polytime, combinatory logic and positive safe induction

Andrea Cantini, 2002, Arch. Math. Log..

Nicholas Rescher, Paradoxes: Their Roots, Range, and Resolution; Patrick Blackburn, Maarten de Rijke and Yde Venema, Modal Logic, Cambridge Tracts in Theoretical Computer Science Vol. 53

Valentin Goranko, Andrea Cantini, V. Goranko, 2004, Stud Logica.

Extending constructive operational set theory by impredicative principles

Andrea Cantini, A. Cantini, 2011, Math. Log. Q..

Logic Colloquium 2004: Constructive set theory with operations

Laura Crosilla, Andrea Cantini, Laura Crosilla, 2007 .

Feasible Operations and Applicative Theories Based on ?η

Thomas Strahm, Andrea Cantini, Fernando Ferreira, 2000 .

3-D Structure Of Forests: First Analysis of Tomogram Changes Due to Weather and Seasonal Effects at L-Band

Konstantinos Papathanassiou, Fabrizio Lombardini, Andrea Cantini, 2014 .

On a Russellian paradox about propositions and truth

Andrea Cantini, A. Cantini, 2001 .

Nicholas Rescher,; Patrick Blackburn, Maarten de Rijke and Yde Venema, Cambridge Tracts in Theoretical Computer Science Vol. 53

Valentin Goranko, Andrea Cantini, 2004 .

Paradoxes and Contemporary Logic

Andrea Cantini, Riccardo Bruni, A. Cantini, 2007 .

Logic and the Foundations of Mathematics

Ettore Casari, Andrea Cantini, Pierluigi Minari, 1981 .

A note on three-valued logic and Tarski theorem on truth definitions

Andrea Cantini, 1980 .

Logical frameworks for truth and abstraction

Andrea Cantini, Andrea Cantini, 1996 .

Choice and uniformity in weak applicative theories

Matthias Baaz, Sy-David Friedman, Jan Krajíček, 2016 .