数理論理学セミナーのお知らせ
東工大大岡山キャンパスで定期的に開催しているセミナー（普段はlogic-mlには流していません）の特別版を ９月８日（金）と１５日（金） に開催します。 以下に「話者（所属）題目」の一覧を載せました。 どなたでも参加できますが、普段のセミナー案内を受け取っていない方の場合はご一報ください。
----- 鹿島 亮 東京工業大学 情報理工学院 数理・計算科学系 [email protected]
＝＝＝＝＝＝＝＝ 【８日（金）】 西牟田祐樹（慶應大）一般化乗法的論理結合子のシーケント化定理とdecomposabilityについて 藤原誠（早大）Bar induction and restricted classical logic 武原直紀（東工大）直観主義二階命題論理と論理式完備ハイティング代数について 松田直祐（神奈川大）Curry's last problemへの弱い解答 中村誠希（東工大）関係Kleene代数におけるatomic negationについて（仮題） 新屋良磨（東大）論文紹介 Cyclic Arithmetic Is Equivalent to Peano Arithmetic
【１５日（金）】 池上貴大（東工大）様相命題論理におけるツリーシークエント計算（仮題） 河野友亮（東工大）Quantum logic の implication algebra と restricted negation について（仮題） 鹿島亮（東工大）２階の関数記号を持つ１階述語論理について 山﨑紗紀子（首都大）ゲーデル・マッキンゼイ・タルスキの定理の証明論的証明ー後件複数な直観主義論理のG3-style sequent calculus を用いてー 大森仁（京大）Jaskowskiのdiscussive logicの周辺 金沢誠（国立情報学研）Context-Free Languages with Finite Context and Kernel Properties 高橋正子 Grzegorczyk階層について ＝＝＝＝以上＝＝＝＝