| 研究課題/領域番号 |
24500024
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
情報学基礎
|
|---|
| 研究機関 | 東京電機大学 |
|---|
研究代表者 |
近藤 通朗 東京電機大学, 情報環境学部, 教授 (40211916)
|
|---|
| 研究期間 (年度) |
2012-04-01 – 2015-03-31
|
| 研究課題ステータス |
完了 (2014年度)
|
| 配分額 *注記 |
3,510千円 (直接経費: 2,700千円、間接経費: 810千円)
2014年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2013年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2012年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
|
|---|
| キーワード | 部分構造論理 / 剰余束 / 決定可能性 / ガロア結合 / residauted lattices / Galois connection / 国際情報交換 |
|---|
| 研究成果の概要 |
直観主義的時相論理の決定可能性問題を一般化した形で解決するため，様相部分構造論理を代数的に考察した．部分構造論理の代数的意味論として剰余束を用い，この代数に様相演算子に対応する演算子を追加した代数系の性質を調べた．最初に１つの演算子を持つ体系の性質を調べ，その特徴付け定理を証明した．次に２つの演算子をガロア結合として持つ代数系の性質を調べ，直観主義的様相論理が決定可能であること，直観主義的時相論理が直観主義的様相論理のfusionであることを示した．これらの結果に，既知の結果（決定可能な論理のfusionはまた決定可能）を適用すると，直観主義的時相論理が決定可能であることが証明できた．
|
