We prove some proof theoretic results about theories of abstract self-referential truth
Combinators and reflective truth / A. Cantini. - STAMPA. - Tagungsbericht MFO:(1992), pp. 2-3. (Intervento presentato al convegno Tagung Mathematische Logik MFO tenutosi a Obervolfach nel Gennaio 1992).
Combinators and reflective truth
CANTINI, ANDREA
1992
Abstract
We prove some proof theoretic results about theories of abstract self-referential truth
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.
