第45回 MLG 数理論理学研究集会のご案内 (重複してお受け取りの際はご容赦ください。)
新潟大学の関です。 2010年度MLG数理論理学研究集会（第45回）を下記の要領で開催します。
講演・宿泊の申し込みは締め切りましたが，参加することは可能です。 なお，その場合，事前の申し込みは不要ですが，参加費（会場代）1,500円を いただきます。
=============================== 第45回 MLG 研究集会開催要領 =============================== 日時: 2011 年 1 月 6 日(木) 14:00 ～ 1 月 8 日(土) 12:20 場所: KKR湯沢ゆきぐに（ＪＲ上越新幹線越後湯沢駅西口より徒歩約8分） 〒949-6101 新潟県南魚沼郡湯沢町湯沢2574 URL : http://www.kkryuzawa.com/ MLG45ホームページ： http://math.ed.niigata-u.ac.jp/~seki/MLG45/
講演プログラム：
1月6日（木） 14:00～14:10 開会・事務連絡 14:10～14:50 関 隆宏（新潟大学） On Halldén-completeness of relevant modal logics 14:50～15:30 角谷良彦（東京大学） Curry-Howard correspondence with modalities based on Kripke semantics 15:50～16:30 岩波 克（東京工業大学） 直観主義二階命題論理の性質について 16:30～17:10 金子 守（筑波大学） A measure of inference in classical and intuitionistic logics (with N.-Y. Suzuki)
1月7日（金） 9:00～ 9:40 竹村 亮（慶應義塾大学） オイラー図推論の証明論的分析：自然演繹への翻訳と正規形証明 9:40～10:20 照井一成（京都大学） 未 定 10:30～11:10 倉橋太志（神戸大学） 一階述語証明可能性論理における２つの意味論について 11:10～11:50 佐々木克巳（南山大学） 様相論理Grzにおける標準形の論理式とexactモデル
13:00～13:40 丸山善宏（京都大学） Duality, monad, and topological category: Concrete-categorical investigation into algebraic-logical structures 13:40～14:20 横山啓太（東北大学） Reverse mathematics in several frameworks 14:30～15:10 髙野道夫（新潟大学） 真理値が集合である２値論理 15:20～16:00 古森雄一（千葉大学） 変数を区別しないときの述語論理の正規化定理 16:00～16:40 小野寛晰（北陸先端科学技術大学院大学） 未 定
1月8日（土） 9:20～10:00 松尾亮太（名古屋大学） 繰り返しゲームにおける複雑な戦略 10:00～10:40 鈴木信行（静岡大学） ゲーム理論に由来する直観主義的多様相述語論理およびそのKripke型意味論 10:50～11:30 鹿島 亮（東京工業大学） Canonical models for some modal logics 11:30～12:10 志村立矢（日本大学） Some cut-free multi-modal logics 12:10～12:20 事務連絡・閉会
--- 関 隆宏 新潟大学企画戦略本部評価センター Tel : 025-262-6088 Fax : 025-262-6248 E-mail : [email protected]