Sergio Galvan

Teoria formale dei numeri naturali

Logiche intensionali. Sistemi proposizionali di logica modale, deontica, epistemica

Introduzione ai teoremi di incompletezza

Logica

Non contraddizione e terzo escluso. Le regole della negazione della logica classica intuizionistica e minimale

L'Hauptsatz di Gentzen

Ricerche di logica epistemica

Logica dei predicati

Sistemi dell'aritmetica da Q a PA

Ontologia del possibile

Introduzione ai sistemi dell'aritmetica. Da Q a PA

Dalla logica subminimale alla logica classica. Elenchos e autocontraddizione