[logic-ml] セミナー案内

[KASHIMA Ryo]

数理論理学セミナーのお知らせ

東工大大岡山キャンパスで定期的に開催しているセミナー（普段はlogic-mlには流していません）の特別版を
　　９月８日（金）と１５日（金）
に開催します。
以下に「話者（所属）題目」の一覧を載せました。
どなたでも参加できますが、普段のセミナー案内を受け取っていない方の場合はご一報ください。

-----
鹿島 亮
東京工業大学 情報理工学院 数理・計算科学系
kashima at is.titech.ac.jp

＝＝＝＝＝＝＝＝
【８日（金）】
西牟田祐樹（慶應大）一般化乗法的論理結合子のシーケント化定理と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階層について
＝＝＝＝以上＝＝＝＝