第47回 MLG 数理論理学研究集会のご案内 （重複してお受け取りの際はご容赦ください。）

新潟大学の関です。 　2012年度MLG数理論理学研究集会（第47回）を下記の要領で開催します。

講演・宿泊の申し込みは締め切りましたが，参加することは可能です。 その場合，事前の申し込みは不要ですが，参加費（会場代）1,500円を いただきます。

========================================= 　第47回 MLG 数理論理学研究集会開催要領 ========================================= 　日時: 2012 年 11 月 16 日(金) 13:30 〜 11 月 18 日(日) 12:10 　場所: KKR湯沢ゆきぐに（ＪＲ上越新幹線越後湯沢駅西口より徒歩約8分） 　　　　〒949-6101 新潟県南魚沼郡湯沢町湯沢2574 　　　　URL : http://www.kkryuzawa.com/ 　MLG47ホームページ：　http://math2.ed.niigata-u.ac.jp/~seki/MLG47/

講演プログラム：

○　11月16日（金） 　13:30〜13:40　開会・事務連絡 　13:40〜14:20　関　隆宏（新潟大学） 　　A Genzenization of some involutive non-associative substructural 　 logics 　14:20〜15:00　山川郁加（千葉大学） 　　The system of CLλ and a method to calculate β-normal forms 　　without β-reductions 　15:10〜15:50　河野友亮（東京工業大学） 　　中間論理CDの補間定理について 　15:50〜16:30　プライニング・ノルベルト（北陸先端科学技術大学院大学） 　　A decidable subclass of monadic Goedel logics for medical reasoning

○　11月17日（土） 　 9:05〜 9:10　事務連絡 　 9:10〜 9:50　Minghui Ma（Southwest University） 　　Bull's logics in NExt(S4) revisited 　9:50〜10:30　佐野勝彦（北陸先端科学技術大学院大学） 　　Actuality in coalgebraic modal logic 　10:40〜11:20　本浦庄太（京都大学） 　　On the semantic meaning of reduction axioms in public announcement 　　logic 　11:20〜12:00　佐々木克巳（南山大学） 　　シークエントによる実証明の分析

13:00〜13:40　金子　守（筑波大学） 　　Infinite regress from prediction-decision making in games: Playability - decidability/undecidability 　13:40〜14:20　松尾亮太（名古屋大学） 　　与えられた論理式が戦略的かを決定するアルゴリズムの計算量 　14:30〜15:10　照井一成（京都大学） 　　Herbrand's theorem via hypercanonical extensions 　15:10〜15:50　Conrad Asmus（北陸先端科学技術大学院大学） 　　Henkin dependence logic 　15:50〜16:30　佐藤雅彦（京都大学） 　　Essence of de Bruijn index

○　11月18日（日） 　 9:05〜 9:10　事務連絡 　 9:10〜 9:50　Michele Basaldella（北陸先端科学技術大学院大学） 　　An interactive semantics for classical arithmetic 　 9:50〜10:30　横山啓太（東京工業大学） 　　Reverse mathematics and second-order categoricity 　10:40〜11:20　松田直祐（千葉大学） 　　古典論理と直観主義論理の汎用性 　11:20〜12:00　鈴木信行（静岡大学） 　　Ono's problem N52 　12:00〜12:10　事務連絡・閉会

--- MLG47世話人 　関　隆宏（新潟大学） 　佐野勝彦（北陸先端科学技術大学院大学） E-mail : [email protected]