第46回 MLG 数理論理学研究集会のご案内 (重複してお受け取りの際はご容赦ください。)
新潟大学の関です。 2011年度MLG数理論理学研究集会（第46回）を下記の要領で開催します。
講演・宿泊の申し込みは締め切りましたが，参加することは可能です。 なお，その場合，事前の申し込みは不要ですが，参加費（会場代）1,500円を いただきます。
========================================= 第46回 MLG 数理論理学研究集会開催要領 ========================================= 日時: 2011 年 10 月 23 日(日) 14:00 ～ 10 月 25 日(火) 11:50 場所: KKR湯沢ゆきぐに（ＪＲ上越新幹線越後湯沢駅西口より徒歩約8分） 〒949-6101 新潟県南魚沼郡湯沢町湯沢2574 URL : http://www.kkryuzawa.com/ MLG46ホームページ： http://math2.ed.niigata-u.ac.jp/~seki/MLG46/
講演プログラム：
○ 10月23日（日） 14:00～14:10 開会・事務連絡 14:10～14:50 松田直祐（千葉大学） Proof-theoretic study of the correspondence of classical logic and intuitionistic logic 15:10～15:50 関 隆宏（新潟大学） Some negative translations of non-associative substructural logics 15:50～16:30 小野寛晰（北陸先端科学技術大学院大学） Substructural aspects of negative translations
○ 10月24日（月） 9:00～ 9:40 岩波 克（東京工業大学） Łukasiewicz論理の公理化について 9:40～10:20 山川郁加（千葉大学） ラムダ計算と組合せ論理の関係（古森雄一との共同研究） 10:30～11:10 鹿島 亮（東京工業大学） ECTL (Extended Computation Tree Logic) の完全公理化 11:10～11:50 佐々木克巳（南山大学） シークエントと実証明
13:00～13:40 Milan Petrik（北陸先端科学技術大学院大学） Semantics of fuzzy logic 13:40～14:20 プライニング ノルベルト（北陸先端科学技術大学院大学） 未定 14:30～15:10 大森 仁（神戸大学） An expansion of Belnap-Dunn logic （Joint work with Katsuhiko Sano） 15:10～15:50 佐野勝彦（北陸先端科学技術大学院大学） Hybrid product of modalized Belnap-Dunn logics 16:00～16:40 佐藤雅彦（京都大学） A canonical locally named representation of binding
○ 10月25日（火） 9:30～10:10 小島健介（京都大学） Making neighborhood semantics intuitionistic 10:20～11:00 倉田俊彦（法政大学） On duality between Kripke models and lattice theoretical models of second order intuitionistic propositional logic (Joint work with Ken-etsu Fujita) 11:00～11:40 鈴木信行（静岡大学） Remarks on existence property in super-intuitionistic predicate logics 11:40～11:50 事務連絡・閉会
--- 関 隆宏 新潟大学企画戦略本部評価センター Tel : 025-262-6088 Fax : 025-262-6248 E-mail : tseki@adm.niigata-u.ac.jp