This is part of an invited lecture for the section "Proof Theory and Categorical Logic" at LMPS 1995. It deals with topics lying between proof theory, recursion theory and formal semantics. The main result is the majorization theorem 5.13 and its main corollary, presenting a strong theory of self-referentisl truth conservative over Peano Arithmetic.
Proof-theoretic aspects of self-referential truth / A. CANTINI. - STAMPA. - (1997), pp. 7-27.
Proof-theoretic aspects of self-referential truth
CANTINI, ANDREA
1997
Abstract
This is part of an invited lecture for the section "Proof Theory and Categorical Logic" at LMPS 1995. It deals with topics lying between proof theory, recursion theory and formal semantics. The main result is the majorization theorem 5.13 and its main corollary, presenting a strong theory of self-referentisl truth conservative over Peano Arithmetic.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.