Basic constructive connectives are here characterized proof-theoretically by means of so-called coherent canonical systems.
Review Essay: On constructive connectives and systems (A. Avron, O. Lahav, Log. Methods Comput. Sci. 6 (2010), no. 4, 4:12) / Minari, Pierluigi. - In: MATHEMATICAL REVIEWS. - ISSN 0025-5629. - ELETTRONICO. - 2012c:03164:(2012), pp. MR2748448-MR2748448.
Review Essay: On constructive connectives and systems (A. Avron, O. Lahav, Log. Methods Comput. Sci. 6 (2010), no. 4, 4:12).
MINARI, PIERLUIGI
2012
Abstract
Basic constructive connectives are here characterized proof-theoretically by means of so-called coherent canonical systems.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
MR_Avron.pdf
Accesso chiuso
Descrizione: pdf editoriale
Tipologia:
Pdf editoriale (Version of record)
Licenza:
Tutti i diritti riservati
Dimensione
162.11 kB
Formato
Adobe PDF
|
162.11 kB | Adobe PDF | Richiedi una copia |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
