Sulla dimostrabilità costruttiva del teorema di compattezza per modelli algebrici della logica proposizionale

In questa tesi si studia dal punto di vista della matematica costruttiva la dimostrabilità del teorema di compattezza semantico per modelli algebrici della logica proposizionale. Tale studio è condotto analizzando diverse versioni del teorema, corrispondenti a diverse definizioni di soddisfacibilità o ad opportune ipotesi sul linguaggio proposizionale. Ogni versione del teorema è analizzata sia nel caso della logica proposizionale intuizionista (i cui modelli algebrici sono basati su algebre di Heyting) che nel caso della logica proposizionale classica (i cui modelli sono basati su algebre di Boole).