In questo elaborato, dopo aver introdotto il calcolo per la logica intuizionista del primo ordine, si vuole approfondire la semantica algebrica basata sulla classe delle algebre di Heyting, dimostrando i teoremi di validità e completezza, ovvero la connessione tra sequenti derivabili e validi semanticamente, nei casi proposizionale e predicativo.
Semantica algebrica per la logica intuizionista del primo ordine
SEGALIN, SARA
2021/2022
Abstract
In questo elaborato, dopo aver introdotto il calcolo per la logica intuizionista del primo ordine, si vuole approfondire la semantica algebrica basata sulla classe delle algebre di Heyting, dimostrando i teoremi di validità e completezza, ovvero la connessione tra sequenti derivabili e validi semanticamente, nei casi proposizionale e predicativo.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
Segalin_Sara.pdf
accesso riservato
Dimensione
490.68 kB
Formato
Adobe PDF
|
490.68 kB | Adobe PDF |
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/34998