[logic-ml] The 46th MLG Meeting: Program

[Takahiro Seki]

第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 at adm.niigata-u.ac.jp