第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]