2013-10-22から1日間の記事一覧
授業で紹介したPrior の tonk の初出はこちら。 Prior, Arthur. "The runabout inference ticket." Analysis, 21, pp38-39, 1960-61.(link: http://www.jstor.org/pss/3326699)またベルナップの tonk の初出文献は以下の通りです。 Tonk, Plonk and Plink. N…
授業要約・宿題 こちらから 授業スライド こちらから
前回の復習 モデル論的意味論 証明論的意味論 論理結合子の条件 保存拡大性
今週10月22日(火)より以下の変更があります。 変更前:総合研究2号館第8 演習室 変更後:総合研究2号館第2 演習室 授業開始時間:16:40(めど) 授業終了時間:18:10(めど) 授業第十五回目の今回は、「論理結合子の条件」について、証明論的意味論の立場…