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.
2012
2012c:03164
MR2748448
MR2748448
Minari, Pierluigi
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.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/600117
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact