Speaker:Sungwoo Park
Time:2006-08-04 14:30:00
Place:Room 317, Bldg 302, SNU


In the proof-theoretic study of logic, the notion of normal proof has been understood and investigated as a metalogical property. Usually we formulate a system of logic, identify a class of proofs as normal proofs, and show that every proof in the system reduces to a corresponding normal proof.

I will present a system of modal logic that is capable of expressing the notion of normal proof 'within the system itself.' That is, the system has a means for recognizing its own normal proofs, thereby making normal proofs an inherent property of the logic.

[ List ]