Taking as a starting point the account of “Lawvere’s program” given by Corrado Mangione, we investigate in a historical perspective the relationship between the research carried out by Lawvere during the 60s, leading to the development of the notion of elementary topos, and the parallel quest of Scott, Läuchli and others for an abstract notion of construction as a semantical basis for intuitionistic logic.

Corrado Mangione, le categorie, la logica

CARDONE, Felice
2011-01-01

Abstract

Taking as a starting point the account of “Lawvere’s program” given by Corrado Mangione, we investigate in a historical perspective the relationship between the research carried out by Lawvere during the 60s, leading to the development of the notion of elementary topos, and the parallel quest of Scott, Läuchli and others for an abstract notion of construction as a semantical basis for intuitionistic logic.
2011
La ricerca logica in Italia Convegno in onore di Corrado Mangione
Università degli Studi di Milano Sala Napoleonica, Via Sant'Antonio, 12
10 - 11 settembre 2009
LA RICERCA LOGICA IN ITALIA Studi in onore di Corrado Mangione
Cisalpino
247
259
9788820510213
Felice Cardone
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/87810
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact