Notes on formal theories of truth. A Cantini Mathematical Logic Quarterly 35 (2), 1989 | 117 | 1989 |
Logical frameworks for truth and abstraction: An axiomatic study A Cantini Elsevier, 1996 | 116 | 1996 |
A theory of formal truth arithmetically equivalent to ID1 A Cantini The Journal of Symbolic Logic 55 (1), 244-259, 1990 | 112 | 1990 |
Paradoxes and Contemporary Logic Spring 2017 Edition A Cantini, R Bruni Stanford encyclopedia of philosophy, 1-68, 2017 | 77 | 2017 |
The undecidability of Grisin's set theory A Cantini Studia logica, 345-368, 2003 | 54 | 2003 |
On the relation between choice and comprehension principles in second order arithmetic1 A Cantini The Journal of symbolic logic 51 (2), 360-373, 1986 | 44 | 1986 |
Paradoxes, Self-Reference and Truth in the 20th Century. A Cantini Logic from Russell to Church 5, 875-1013, 2009 | 43 | 2009 |
Polytime, combinatory logic and positive safe induction A Cantini Archive for Mathematical Logic 41 (2), 169-189, 2002 | 31 | 2002 |
A note on a predicatively reducible theory of iterated elementary induction A Cantini BOLLETTINO DELL'UNIONE MATEMATICA ITALIANA. B 6, 413-430, 1985 | 22 | 1985 |
On a Russellian paradox about propositions and truth A Cantini One Hundred Years of Russell’s Paradox, 259-284, 2004 | 20 | 2004 |
Choice and uniformity in weak applicative theories A Cantini Logic colloquium 1, 108-138, 2001 | 19 | 2001 |
Constructive set theory with operations A Cantini, L Crosilla Logic Colloquium 29, 47-83, 2004 | 17 | 2004 |
Uniform inseparability in explicit mathematics A Cantini, P Minari The Journal of Symbolic Logic 64 (1), 313-326, 1999 | 15 | 1999 |
Proof-Theoretical Aspects of Self-Referential Truth A Cantini Logic and Scientific Methods: Volume One of the Tenth International Congress …, 1997 | 15 | 1997 |
Asymmetric interpretations for bounded theories A Cantini Mathematical Logic Quarterly 42 (1), 270-288, 1996 | 15 | 1996 |
Treatment of syphilis: a short critical review E Panconesi, G Zuccati, A CANTINI Sexually Transmitted Diseases, 321-325, 1981 | 14 | 1981 |
Logic and Foundations of Mathematics: Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 A Cantini, E Casari, P Minari Springer Science & Business Media, 2013 | 12 | 2013 |
Extending the first-order theory of combinators with self-referential truth A Cantini The Journal of symbolic logic 58 (2), 477-513, 1993 | 12 | 1993 |
Feasible operations and applicative theories based on λη A Cantini Mathematical Logic Quarterly: Mathematical Logic Quarterly 46 (3), 291-312, 2000 | 11 | 2000 |
Elementary constructive operational set theory A Cantini, L Crosilla Ways of proof theory, 199-240, 2010 | 10 | 2010 |