[FOM] Induction, cut, and normalization

[Panu Raatikainen]

Apparently the presence of the (unrestricted) induction schema blocks  
the cut-elimination. What, exactly, happens, if we rather have a  
system of natural deduction ? Normalization fails somehow?

Best,

Panu



-- 
Panu Raatikainen

Ph.D., University Lecturer
Docent in Theoretical Philosophy

Theoretical Philosophy
Department of Philosophy, History, Culture and Art Studies
P.O. Box 24  (Unioninkatu 38 A)
FIN-00014 University of Helsinki
Finland

E-mail: panu.raatikainen at helsinki.fi

http://www.mv.helsinki.fi/home/praatika/