A Logic of Direct Evidence Seminars/Workshops
|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 ]