# A Logic of Direct Evidence Seminars/Workshops

Speaker: | Sungwoo Park |
---|---|

Time: | 2006-08-04 14:30:00 |

Place: | Room 317, Bldg 302, SNU |

### Abstract

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 ]