第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 : [email protected]