日本人参加者5人で集まって、Graham streetのパブ "Radcliffe Arms" で本日発表が終わった3人の打ち上げ会。フィッシュ&チップスとステーキ&エールパイ、あとイギリスのビール、最高。 帰宅後、21時に寝る。

日本人参加者の K君とS君が発表。おちついていました、お疲れ様でした。 Goldblattの non-distributive logic のKripke-Joyal semantics について、これらは "local truth" のアイディアを形式化したものに当たるが、その紹介。"local truth"って言葉は少し…

St Anne's college に戻って、バイキング形式。美味しかったが、価格が10ポンド（2500円！）というのが納得いかない（自腹だし）。

私の発表は初日の午前の部の最終、12:10-12:35。内容はこれまでの結果の概説、とくにHajekの定理およびAML論文の証明の簡略化（Lukasiewicz無限値述語論理ではなく、L∀上で証明を行う）について。発表の要旨は以下の通り。 Set theory: CL0 with the compreh…

9時20分から会議が始まる。会場はオックスフォード大学数学科（画像は数学科ビルBanbury Road側入り口）の地下。 Modal fixpoint logicの代数的意味論に関するVenemaの発表は興味深かった。 またグルジア人のEsakiaによるSolovayのmodal system（φが必然的 i…

国際会議 "Algebraic and Topological Methods in Non-Classical Logics III" （「非古典論理における代数的・位相的手法」）は本日から開催、web siteはこちら。

起床は7時。寒い。オックスフォードは最高気温が15度くらいだそうで、とても夏とは思えない。 今日もよく晴れる。８時から朝食。