第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　鈴木 信行,(静岡大学)
                        中間述語論理における選言特性と２つの弱い変種について

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　事務連絡