关注
andrea cantini
andrea cantini
professore di logica, Università di Firenze
在 unifi.it 的电子邮件经过验证
标题
引用次数
引用次数
年份
Notes on formal theories of truth.
A Cantini
Mathematical Logic Quarterly 35 (2), 1989
1171989
Logical frameworks for truth and abstraction: An axiomatic study
A Cantini
Elsevier, 1996
1161996
A theory of formal truth arithmetically equivalent to ID1
A Cantini
The Journal of Symbolic Logic 55 (1), 244-259, 1990
1121990
Paradoxes and Contemporary Logic Spring 2017 Edition
A Cantini, R Bruni
Stanford encyclopedia of philosophy, 1-68, 2017
772017
The undecidability of Grisin's set theory
A Cantini
Studia logica, 345-368, 2003
542003
On the relation between choice and comprehension principles in second order arithmetic1
A Cantini
The Journal of symbolic logic 51 (2), 360-373, 1986
441986
Paradoxes, Self-Reference and Truth in the 20th Century.
A Cantini
Logic from Russell to Church 5, 875-1013, 2009
432009
Polytime, combinatory logic and positive safe induction
A Cantini
Archive for Mathematical Logic 41 (2), 169-189, 2002
312002
A note on a predicatively reducible theory of iterated elementary induction
A Cantini
BOLLETTINO DELL'UNIONE MATEMATICA ITALIANA. B 6, 413-430, 1985
221985
On a Russellian paradox about propositions and truth
A Cantini
One Hundred Years of Russell’s Paradox, 259-284, 2004
202004
Choice and uniformity in weak applicative theories
A Cantini
Logic colloquium 1, 108-138, 2001
192001
Constructive set theory with operations
A Cantini, L Crosilla
Logic Colloquium 29, 47-83, 2004
172004
Uniform inseparability in explicit mathematics
A Cantini, P Minari
The Journal of Symbolic Logic 64 (1), 313-326, 1999
151999
Proof-Theoretical Aspects of Self-Referential Truth
A Cantini
Logic and Scientific Methods: Volume One of the Tenth International Congress …, 1997
151997
Asymmetric interpretations for bounded theories
A Cantini
Mathematical Logic Quarterly 42 (1), 270-288, 1996
151996
Treatment of syphilis: a short critical review
E Panconesi, G Zuccati, A CANTINI
Sexually Transmitted Diseases, 321-325, 1981
141981
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
122013
Extending the first-order theory of combinators with self-referential truth
A Cantini
The Journal of symbolic logic 58 (2), 477-513, 1993
121993
Feasible operations and applicative theories based on λη
A Cantini
Mathematical Logic Quarterly: Mathematical Logic Quarterly 46 (3), 291-312, 2000
112000
Elementary constructive operational set theory
A Cantini, L Crosilla
Ways of proof theory, 199-240, 2010
102010
系统目前无法执行此操作,请稍后再试。
文章 1–20