1997 Fiscal Year Annual Research Report
| Project/Area Number |
09740131
|
|---|
| Research Institution | Shizuoka University |
|---|
Principal Investigator |
鈴木 信行 静岡大学, 理学部, 助教授 (60216421)
|
|---|
| Keywords | Kripke意味論 / 非古典論理 / 述語論理 / 強独立系列 |
|---|
| Research Abstract |
拡張Kripke意味論のひとつである、Kripke Sheafに関する研究が進行中である。これに関連する部分的な結果を、"Relations between combinations of some syntactical properties in intermediate predicate logics"というタイトルで、日本数学会 秋季総合分科会数学基礎論分科会にて学会発表を行った(1997年9月30日 於:東京大学)。
その後、命題部分がS_2であるような超直観主義述語論理のなかで、強独立系列が存在しない区間を見いだすことが出来た。この結果を、「命題部分を共有する超直観主義述語論理に関する注意」というタイトルで、日本数学会 平成元年度年会数学基礎論分科会にて学会発表を行う(1998年3月27日 於:名城大学)。この学会の際に、あわせて「非古典述語論理における意味論的手法」というタイトルで特別講演を行う。この講演では、本研究課題位置づけとその重要性を指摘する。
|
