Geodesic
Calcolo dei predicati e concetti metateorici in una teoria base dei fondamenti della Matematica
Atti della Accademia nazionale dei Lincei. Rendiconti Lincei. Matematica e applicazioni, Série 9, Tome 6 (1995) no. 2, pp. 79-92

Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica

Some basic concepts of the syntax and semantics of first order Predicate Calculus (predicates, propositions, formulae, interpretations, etc.) are introduced into the frame of the basic theories for the Foundations of Mathematics [11]. The ordinary qualities \( Qver \), \( Qfals \) are unable to evaluate all propositions (Theorem 1). Hence new «metatheoretic objects», the metaqualities \( Mver \), \( Mfals \), are introduced to deal with the problem of truth. Being independent of the fundamental relations \( Rfond \)\( h \) of [11], these metaqualities provide a powerful «observatory» giving a truth value to all interpretations of first order formulae. 
@article{RLIN_1995_9_6_2_a0,
     author = {De Giorgi, Ennio and Forti, Marco and Lenzi, Giacomo and Tortorelli, Vincenzo Maria},
     title = {Calcolo dei predicati e concetti metateorici in una teoria base dei fondamenti della {Matematica}},
     journal = {Atti della Accademia nazionale dei Lincei. Rendiconti Lincei. Matematica e applicazioni},
     pages = {79--92},
     publisher = {mathdoc},
     volume = {Ser. 9, 6},
     number = {2},
     year = {1995},
     zbl = {0833.03003},
     mrnumber = {MR1354222},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/RLIN_1995_9_6_2_a0/}
}
TY  - JOUR
AU  - De Giorgi, Ennio
AU  - Forti, Marco
AU  - Lenzi, Giacomo
AU  - Tortorelli, Vincenzo Maria
TI  - Calcolo dei predicati e concetti metateorici in una teoria base dei fondamenti della Matematica
JO  - Atti della Accademia nazionale dei Lincei. Rendiconti Lincei. Matematica e applicazioni
PY  - 1995
SP  - 79
EP  - 92
VL  - 6
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RLIN_1995_9_6_2_a0/
LA  - it
ID  - RLIN_1995_9_6_2_a0
ER  - 
%0 Journal Article
%A De Giorgi, Ennio
%A Forti, Marco
%A Lenzi, Giacomo
%A Tortorelli, Vincenzo Maria
%T Calcolo dei predicati e concetti metateorici in una teoria base dei fondamenti della Matematica
%J Atti della Accademia nazionale dei Lincei. Rendiconti Lincei. Matematica e applicazioni
%D 1995
%P 79-92
%V 6
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RLIN_1995_9_6_2_a0/
%G it
%F RLIN_1995_9_6_2_a0
De Giorgi, Ennio; Forti, Marco; Lenzi, Giacomo; Tortorelli, Vincenzo Maria. Calcolo dei predicati e concetti metateorici in una teoria base dei fondamenti della Matematica. Atti della Accademia nazionale dei Lincei. Rendiconti Lincei. Matematica e applicazioni, Série 9, Tome 6 (1995) no. 2, pp. 79-92. http://geodesic.mathdoc.fr/item/RLIN_1995_9_6_2_a0/