Sfoglia per Autore
Two impredicative theories of properties and sets
1988 A. CANTINI
Untyped comprehension and self-referential properties
1988 A.Cantini
Sulla teoria dell'astrazione
1988 A. CANTINI
Some consistency results concerning a theory of property
1988 A. Cantini
Notes on formal theories of truth
1989 A. CANTINI
A theory of formal truth arithmetically equivalent to ID$_1$
1990 A. CANTINI
Property theory variants of Frege structures
1990 A.Cantini
A logic of abstraction related to finite constructive numberclasses
1991 A.Cantini
Predication and Truth
1991 A.Cantini
Levels of implication and type free theories of partialclassifications with approximation operator
1992 A.Cantini
Combinators and reflective truth
1992 A. Cantini
Extending the first order theory of combinators with self-referential truth
1993 A. CANTINI
Review of: W.Pohlers, Proof Theory. An Introduction, Heidelberg-New York
1993 A. Cantini
Review of: S. Feferman, Towards useful type-free theories I, The Journal of Symbolic Logic, 49 (1984), 75-111
1995 A.Cantini
Review of: S.Feferman, Reflecting on incompleteness, Journal of Symbolic Logic 56 (1991), 1-49
1995 A.Cantini
Levels of Truth
1995 A. CANTINI
LOGICAL FRAMEWORKS FOR TRUTH AND ABSTRACTION
1996 A. CANTINI
Asymmetric interpretation for bounded theories
1996 A. CANTINI
Review of : Glass, T., Rathjen, M., Schl\"uter, A. On the proof-theoretic strength of monotone induction, Annals of Pure and Applied Logic, 85, 1-46 (1997)
1997 A.Cantini
Proof-theoretic aspects of self-referential truth
1997 A. CANTINI
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile