[logic-ml] セミナー案内

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

＝＝＝＝＝ 以前に送付したものとほぼ同内容です。 当セミナーの専用メーリングリストが停止中のため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 階層について

----- 鹿島 亮 東京工業大学 情報理工学院 数理・計算科学系 [email protected]