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

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

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

 

11月30日(金)

14:00-14:10 事務連絡
14:10-14:50  田中 大海,(慶應義塾大学)
                       Residuated Lattice-Ordered Unital Groupoid の準対合性について

14:50:-15:30 福田 陽介,(京都大学)
                          A Linear-logical Reconstruction of Intuitionistic Modal Logic S4

15:30-15:40  休憩

15:40-16:20  中村 誠希,(東京工業大学)
                     「古典論理で極小な論理式だけで公理化できる論理に関する予想」の反例について

16:20-17:00 鈴木 信行,(静岡大学)
                        中間述語論理における選言特性と2つの弱い変種について

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

12月1日(土)

9:20-9:30   事務連絡
9:30-10:10  矢崎 大志,(静岡大学)
      Semantical proof of subformula property for the modal logics K4.3, KD4.3 and S4.3

10:10-10:50 田中 義人,(九州産業大学)
                         Duality for kappa-additive complete atomic modal algebra

10:50-11:30 佐野 勝彦,(北海道大学)
                         Goldblatt-Thomason-style characterization for intuitionistic inquisitive logic

11:30-13:00 昼休憩

13:00-13:40  小林 香菜子,(京都大学)
                       Co-lifting of Heyting algebras and its S4 analogue

13:40-14:20 鹿島 亮,(東京工業大学)
                         狭義単項二階述語論理の完全性について

14:20-15:00 岩田 荘平,(神戸大学)
                         Circular proofs and interpolation properties for Sacchetti’s logics of provability

15:00-15:20 休憩

15:20-16:00 佐藤 雅彦,(京都大学)
                         Unification of the λ-calculus and combinatory logic

16:00-16:40 安部 達也,(千葉工業大学)
                         対称ラムダ計算による帰謬法の計算論的解釈

12月2日(日)

9:20-9:30   事務連絡

9:30-10:10  関 隆宏,(新潟大学)
                      メタ完全性を用いたカット除去定理の証明

10:10-10:50 照井 一成,(京都大学)
                        Bot in nonclassical logics

10:50-11:30 佐々木 克巳,(南山大学)
                         逆命題の考察におけるn-同値関係の意義について

11:30-11:40 事務連絡