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.
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.
