Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Andrea
    Last name: Cantini
    DBLP: 82/73
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 21 of 21  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Andrea Cantini.
    Extending constructive operational set theory by impredicative principles.
    Math. Log. Q. 2011, Volume 57 (0) 2011
    Book chapter
    Andrea Cantini.
    Paradoxes, Self-Reference and Truth in the 20th Century.
    Logic from Russell to Church 2009, Volume 5 (0) 2009
    Conference paper
    Andrea Cantini.
    Remarks on applicative theories.
    Ann. Pure Appl. Logic 2005, Volume 136 (0) 2005
    Conference paper
    Andrea Cantini, Valentin Goranko.
    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.
    Studia Logica 2004, Volume 76 (0) 2004
    Conference paper
    Andrea Cantini.
    The Undecidability of Grisin's Set Theory.
    Studia Logica 2003, Volume 74 (0) 2003
    Conference paper
    Andrea Cantini.
    The axiom of choice and combinatory logic.
    J. Symb. Log. 2003, Volume 68 (0) 2003
    Conference paper
    Andrea Cantini.
    Polytime, combinatory logic and positive safe induction.
    Arch. Math. Log. 2002, Volume 41 (0) 2002
    Conference paper
    Andrea Cantini.
    Feasible Operations and Applicative Theories Based on lambda-eta.
    Math. Log. Q. 2000, Volume 46 (0) 2000
    Conference paper
    Andrea Cantini.
    Relating Quine's NF to Feferman`s EM.
    Studia Logica 1999, Volume 62 (0) 1999
    Conference paper
    Andrea Cantini, Pierluigi Minari.
    Uniform Inseparability in Explicit Mathematics.
    J. Symb. Log. 1999, Volume 64 (0) 1999
    Conference paper
    Andrea Cantini.
    Asymmetric Interpretations for Bounded Theories.
    Math. Log. Q. 1996, Volume 42 (0) 1996
    Conference paper
    Andrea Cantini.
    Levels of Truth.
    Notre Dame Journal of Formal Logic 1995, Volume 36 (0) 1995
    Conference paper
    Andrea Cantini.
    Extending the First-Order Theory of Combinators with Self-Referential Truth.
    J. Symb. Log. 1993, Volume 58 (0) 1993
    Journal article
    Andrea Cantini.
    Levels of Implication and Type Free Theories of Classifications with Approximation Operator.
    Math. Log. Q. 1992, Volume 38 (0) 1992
    Conference paper
    Andrea Cantini.
    A logic of abstraction related to finite constructive number classes.
    Arch. Math. Log. 1991, Volume 31 (0) 1991
    Conference paper
    Andrea Cantini.
    A Theory of Formal Truth Arithmetically Equivalent to ID
    J. Symb. Log. 1990, Volume 55 (0) 1990
    Journal article
    Andrea Cantini.
    Notes on Formal Theories of Truth.
    Math. Log. Q. 1989, Volume 35 (0) 1989
    Journal article
    Andrea Cantini.
    Two Impredicative Theories of Properties and Sets.
    Math. Log. Q. 1988, Volume 34 (0) 1988
    Conference paper
    Andrea Cantini.
    On the Relation Between Choice and Comprehension Principles in Second Order Arithmetic.
    J. Symb. Log. 1986, Volume 51 (0) 1986
    Conference paper
    Andrea Cantini.
    On Weak Theories of Sets and Classes which are Based on Strict
    Math. Log. Q. 1985, Volume 31 (0) 1985
    Conference paper
    Andrea Cantini.
    Majorizing provably recursive functions in fragments of PA.
    Arch. Math. Log. 1985, Volume 25 (0) 1985
    Show item 1 to 21 of 21  

    Your query returned 21 matches in the database.