[logic-ml] セミナー案内

[KASHIMA Ryo]

数理論理学セミナーのお知らせ

＝＝＝＝＝
以前に送付したものとほぼ同内容です。
当セミナーの専用メーリングリストが停止中のためlogic-mlに送付しています。
詳細はお問い合わせください。
＝＝＝＝＝

場所：東京工業大学 大岡山西８号館 Ｗ棟10階 W1008
日時：９月１５日（金）
10:00 池上貴大（東工大）様相命題論理Kにおけるツリーシークエント計算
11:00 河野友亮（東工大）Quantum logic の implication algebra と restricted negation について
12:00 鹿島亮（東工大）２階の関数記号を持つ１階述語論理について
12:30 休憩
13:45 山﨑紗紀子（首都大）ゲーデル・マッキンゼイ・タルスキの定理の証明論的証明ー後件複数な直観主義論理のG3-style sequent calculus を用いてー
14:45 大森仁（京大）Jaskowskiのdiscussive logicの周辺
15:45 休憩
16:00 金沢誠（国立情報学研）Context-Free Languages with the Finite Context and Kernel Properties
17:00 高橋正子 Grzegorczyk 階層について

-----
鹿島 亮
東京工業大学 情報理工学院 数理・計算科学系
kashima at is.titech.ac.jp