Intensivo I semestre - I ciclo
Inizio del corso : lunedì 3 ottobre 2005
Durata : 5 settimane

Orario
LUN 15-17, Aula IV, via Zamboni,38
MAR 15-17, Aula IV, via Zamboni,38
GIO 11-13, Aula I, via Zamboni,38

Crediti : 5 cfu

Il corso prosegue temi trattati nell'a.a. 2004-05 ed è per inteso per coloro che hanno seguito corsi di argomento logico oltre a Istituzioni di Logica (5 cfu)

PROGRAMMA

Teoria della dimostrazione classica e intuizionista proposizionale. Proprietà della terminazione. La logica del terzo escluso debole: assiomatizzazione in un calcolo di sequenti, terminazione, decidibilità.

Bibliografia

A.Troelstra, H.Schwichtenberg, 'Basic Proof Theory', Cambridge UP, 2000. Pagine scelte.

S.Negri e J. von Plato, 'Structural Proof theory', CUP, 2001.Pagine scelte.

Dispense al sito http://www.cs.unibo.it/~corsi/FolderDidattica/didattica.

L'esame consiste di esercitazioni scritte in itinere e di una prova orale alla fine del corso.