[logic-ml] セミナー案内

[KASHIMA Ryo]

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

日時：1月23日(金) 16:00から
場所：東京工業大学 大岡山西８号館 Ｗ棟10階 W1008
話者：鈴木信行（静岡大学）
題目：中間述語論理におけるExistence Propertyに関する話題 --- 小野の問題P52とその周辺 ---
概要：
始めに中間述語論理の簡単な紹介をします。
ざっくり言うと、中間述語論理とは、直観主義述語論理と古典述語論理の「中間」にある述語論理です。
つぎに、existence property と disjunction property と言う性質を考えます。
これらは、直観主義論理の構成性(constructivity)を示す顕著な性質として知られています。
中間述語論理の枠組みでこれらを考察してみると、この2つの性質が独立であることが解ります。
これは、小野の問題P52として知られる問題に否定的解決を与えます。
今回は、これにまつわる若干のことがらも報告したいと思います。

------
本セミナーは定期的に東工大で開催しているものです。
初めて参加を希望される方はご一報ください。
-----
鹿島 亮
東京工業大学大学院情報理工学研究科
数理・計算科学専攻
kashima at is.titech.ac.jp