Nella seguente tesi mostreremo una rappresentazione categoriale della quantificazione esistenziale della logica predicativa (intuizionista o classica) e una sua costruzione libera avvalendosi di strumenti sviluppati all’interno della Teoria delle Categorie, quali la nozione di funtore aggiunto e quella di dottrina primaria ed esistenziale alla Lawvere. Tale costruzione costituisce un modo alternativo a quello sintattico per aggiungere ad una dottrina sintattica la quantificazione esistenziale.
Rappresentazione categoriale della quantificazione esistenziale e sua costruzione libera
FERRO, CARLO
2021/2022
Abstract
Nella seguente tesi mostreremo una rappresentazione categoriale della quantificazione esistenziale della logica predicativa (intuizionista o classica) e una sua costruzione libera avvalendosi di strumenti sviluppati all’interno della Teoria delle Categorie, quali la nozione di funtore aggiunto e quella di dottrina primaria ed esistenziale alla Lawvere. Tale costruzione costituisce un modo alternativo a quello sintattico per aggiungere ad una dottrina sintattica la quantificazione esistenziale.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
Ferro_Carlo.pdf
accesso aperto
Dimensione
1.7 MB
Formato
Adobe PDF
|
1.7 MB | Adobe PDF | Visualizza/Apri |
The text of this website © Università degli studi di Padova. Full Text are published under a non-exclusive license. Metadata are under a CC0 License
Utilizza questo identificativo per citare o creare un link a questo documento:
https://hdl.handle.net/20.500.12608/34984