Vai ai contenuti. | Spostati sulla navigazione | Spostati sulla ricerca | Vai al menu | Contatti | Accessibilità

logo del sistema bibliotecario dell'ateneo di padova

D’Annunzio, Ludovica (2019) Il teorema del linguaggio interno per teorie proposizionali. [Laurea triennale]

Per questo documento il full-text online non disponibile.

Abstract

Nella seguente tesi viene usato il linguaggio della teoria delle categorie per dimostrare il teorema del linguaggio interno per logica classica e intuizionista proposizionale, che asserisce l'equivalenza tra la categoria delle algebre di Boole (o di Heyting) e la categoria delle teorie classiche (o intuizioniste). Dunque grazie a tale teorema supereremo i classici teoremi di validità e completezza perché riusciremo a caratterizzare un'unica classe di modelli. Per concludere mostreremo tre applicazioni del teorema del linguaggio interno per mostrare come questo sia uno strumento di fondamentale importanza per passare da algebre a teorie e viceversa per poter lavorare nell'ambiente più agevole: la prima riguarda un'applicazione algebrica della doppia negazione, la seconda le algebre di Boole e di Heyting libere, mentre nell'ultima daremo una visione puramente categoriale delle algebre di Boole e di Heyting usando solo diagrammi commutativi.

Item Type:Laurea triennale
Corsi di Laurea Triennale:pre 2012- Facoltà di Scienze MM. FF. NN. > Matematica
Subjects:Area 01 - Scienze matematiche e informatiche > MAT/01 Logica matematica
Codice ID:63009
Relatore:Maietti, Maria Emilia
Data della tesi:27 September 2019
Biblioteca:Polo di Scienze > Biblioteca di Matematica

Solo per lo Staff dell Archivio: Modifica questo record