| 研究課題/領域番号 |
08680356
|
|---|
| 研究種目 |
基盤研究(C)
|
| 研究機関 | 北陸先端科学技術大学院大学 |
|---|
研究代表者 |
小野 寛晰 北陸先端科学技術大学院大学, 情報科学研究科, 教授 (90055319)
|
|---|
| 研究分担者 |
WOLTER Frank 北陸先端科学技術大学院大学, 情報科学研究科, 助手 (20272990)
鹿島 亮 北陸先端科学技術大学院大学, 情報科学研究科, 助手 (10240756)
酒井 正彦 北陸先端科学技術大学院大学, 情報科学研究科, 助教授 (50215597)
石原 哉 北陸先端科学技術大学院大学, 情報科学研究科, 助教授 (10211046)
外山 芳人 北陸先端科学技術大学院大学, 情報科学研究科, 教授 (00251968)
|
|---|
| キーワード | 部分構造論理 / 様相論理 / 時間論理 / 項書き換え系 |
|---|
| 研究概要 |
本研究の目標は、計算機科学に現われる数理論理学の問題を理論と応用の両面から解明しようとするものである。今年度において得られた成果のうちの主要なものを以下にあげる。
1.部分構造論理、とくに縮約のない論理の一般論への試み
2.様相論理および時間論理の研究の展開、とくに直観主義的様相論理の研究
3.弱い含意命題論理と型つきラムダ計算の関係の究明
4.項書き換え系における停止性および合流性に関する研究
部分構造論理に関する研究はこれまで特定の論理の性質を調べることが中心であったが、小野は縮約のない論理について代数的手法により一般論を展開することを試みている。また、様相論理と時間論理についてはヴォルターが非常に精力的に研究をおこない、決定問題などにおいて著しい結果をあげた。また、外山と酒井はさまざまな項書き換え系における停止性および合流性についての優れた結果を得た。
これらの研究を推進するために、国内の研究者との研究連絡、来日したポーランドの論理学者であるマリノフスキ教授との共同研究、本学に滞在中の様相論理に関する著名な研究者であるザハリャ-シチェフ客員助教授との共同研究を行ない、非常に実りある研究成果を得ることができた。これらの成果の一部は、千葉で行なわれた国際会議Logics for Linguistics,Philosophy and Cognitive Scienceにおいて、小野およびヴォルターにより招待講演の形で発表された。
|
