[logic-ml] セミナー案内

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

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

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