Lo sviluppo delle idee di Lawvere sulla semantica formale: la nuova idea dei fondamenti della matematica in termini di proprietà trasversali ai domini, la definizione di connettivi e quantificatori in termini di funtori aggiunti, la maggiore generalità della semantica categoriale rispetto alla teoria classica dei modelli e alla semantica a mondi possibili, il concetto di insieme variabile e coesivo, l'adeguatezza nel senso di Isbell come generalizzazione essenziale dell'estensionalità

Anterior future / Alberto Peruzzi. - In: RENDICONTI DEL CIRCOLO MATEMATICO DI PALERMO. - ISSN 0009-725X. - STAMPA. - 64:(2000), pp. 227-248.

Anterior future

PERUZZI, ALBERTO
2000

Abstract

Lo sviluppo delle idee di Lawvere sulla semantica formale: la nuova idea dei fondamenti della matematica in termini di proprietà trasversali ai domini, la definizione di connettivi e quantificatori in termini di funtori aggiunti, la maggiore generalità della semantica categoriale rispetto alla teoria classica dei modelli e alla semantica a mondi possibili, il concetto di insieme variabile e coesivo, l'adeguatezza nel senso di Isbell come generalizzazione essenziale dell'estensionalità
2000
64
227
248
Alberto Peruzzi
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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/503
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact