第52回MLG数理研究集会 プログラム

      第52回MLG数理研究集会 プログラム はコメントを受け付けていません。

第52回MLG数理研究集会 プログラム

12月1日(金)

13:00-13:10 事務連絡
13:10-13:45 伴 睦久, (東京大学)
       タイトル未定

13:45-14:20 菊池 誠, (神戸大学)
       タイトル未定

14:20-14:30 休憩

14:30-15:05 河野 友亮, (東京工業大学)
       Dynamic quantum logic における観測の様相記号について

15:05-15:40 金子 守, (早稲田大学)
       Expected utility theory with probability grids and preferential incomparabilities

15:40-15:50 休憩

15:50-16:25 田中 義人, (九州産業大学)
       Kripke completeness of a predicate extension of the logic of provability

16:25-17:00 依岡 輝幸, (静岡大学)
       Woodin の Pi_2-compactness という考え方と実数の集合論

17:30-19:30 懇親会 (静岡大学 第2食堂)

12月2日(土)

9:20-9:30 事務連絡
9:30-10:05 西牟田 祐樹, (慶応義塾大学)
      一般化乗法的論理結合子のnon-decomposabilityを保存する推論規則について

10:05-10:40 根元 多佳子,(北陸先端科学技術大学院大学)
       Separation of non-constructive principles and Kripke models

10:40-10:50 休憩

10:50-11:25 中村 誠希, (東京工業大学)
       Antimirov’ Partial Derivatives for Propositional Dynamic Logics

11:25-12:00 鈴木 信行, (静岡大学)
       Disjunction propertyを持ちexistence propertyを持たない中間述語論理

12:00-13:30 昼休憩

13:30-14:05 鹿島 亮, (東京工業大学)
       論理式完備ハイティング代数による直観主義2階命題論理の完全性とカット除去

14:05-14:40 松田 直祐, (神奈川大学)
       ラベル付き証明体系を用いた2階直観主義命題論理のカット除去

14:40-15:15 佐野 勝彦, (北海道大学)
       Analytic Sequent Calculus for Bi-intuitionistic Stable Tense Logic

15:15-15:25 休憩

15:25-15:50 佐々木 克巳, (南山大学)
       難しい推論と易しい推論の区別について

15:50-16:35 佐藤 雅彦, (京都大学)
       A common notation system for both the lambda-calculus and combinatory logic

12月3日(日)

9:20-9:30 事務連絡
9:30-10:05 横溝 恭平, (日本大学)
      Dummettの論理LCに対応するhypersequent calculusの部分体系について

10:05-10:40 福田 陽介, (京都大学)
       A Cut-free Higher-arity Sequent Calculus for Intuitionistic Modal Logic

10:40-10:50 休憩

10:50-11:25 志村 立矢, (日本大学)
       論理記号の制限と strong disjunction property

11:25-12:00 大森 仁, (京都大学)
       Infectious Logicsの周辺

12:00-12:10 事務連絡