2012-10-30から1日間の記事一覧
講師 矢田部俊介(産総研)第1回、第2回 村上祐子(東北大学)第3回、第4回 概要: 非古典論理の基礎知識と、講師の専門と関係する発展的な話題を紹介する 部分構造論理とその上の理論の初歩について説明を行う (矢田部) 様相論理と代数的意味論の初歩…
授業スライド こちらから 授業要旨 こちらから
前回の復習 証明の正規化 正規化定理の応用
授業第十八回目は、「論理結合子の意味とは何か」に関する話のまとめとして、「証明の正規化」の話をします。また、その後、正規化の話を軸に、記号の書き換え体系が論理と呼ばれるための条件について考えたいと思います。具体的には、最小命題論理では全て…