We investigate a weakening of the classical theory of Frege structures and extensions thereof which naturally interpret (predicative) theories of explicit types and names à la Jäger.
About truth and types / Cantini, Andrea. - STAMPA. - (2016), pp. 31-64. [10.1007/978-3-319-29198-7_2]
About truth and types
CANTINI, ANDREA
2016
Abstract
We investigate a weakening of the classical theory of Frege structures and extensions thereof which naturally interpret (predicative) theories of explicit types and names à la Jäger.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
cantini_gj_1a.pdf
Accesso chiuso
Descrizione: articolo principale
Tipologia:
Versione finale referata (Postprint, Accepted manuscript)
Licenza:
Tutti i diritti riservati
Dimensione
274.95 kB
Formato
Adobe PDF
|
274.95 kB | Adobe PDF | Richiedi una copia |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
