Docente: U. Moscato

Crediti: 6 CFU

Descrizione e Programma del Corso

Conoscenze: Il corso si propone di analizzare alcuni argomenti di logica matematica legati alla teoria della dimostrazione in logiche non classiche (intuizionismo e logiche modali). Verranno presentati per tali logiche sistemi deduttivi a tableaux.

Abilità: Si prevede che lo studente acquisisca capacità nel sintetizzare algoritmi, nella formalizzazione e costruzione di dimostrazioni e loro verifica.

Programma:

• Riepilogo dei principali risultati del corso di Logica Matematica I.
• Sintesi logica degli algoritmi
• Introduzione alla logica intuizionista; sintassi a tableaux e semantica con modelli di Kripke.
• Teoremi di validità e completezza.
• Introduzione alla logica modale S4; sintassi a tableaux e semantica con modelli di Kripke.
• Teoremi di validità e completezza.
• Rapporti fra S4 e la logica intuizionista
• Cenni a estensioni dell'intuizionismo e di S4.

Per ulteriori informazioni sul corso rivolgersi direttamente al docente.