2014 Fiscal Year Research-status Report
| Project/Area Number |
24700017
|
|---|
| Research Institution | Kanagawa University |
|---|
Principal Investigator |
西澤 弘毅 神奈川大学, 工学部, 准教授 (60455433)
|
|---|
| Project Period (FY) |
2012-04-01 – 2016-03-31
|
| Keywords | ストーン型双対性 / 表現定理 / 多値論理 |
|---|
| Outline of Annual Research Achievements |
論理を拡張した場合に、元のストーン型双対性から拡張後のストーン型双対性を構成できるか、ということを明らかにすることが本研究の目的である。
平成24年度は、ストーン型双対性の前段階として、表現定理の一般形について分析を試み、既存の表現定理の修正を行った。具体的には、積の単位元を恒等関係で表現でき、順序を包含関係で表現できるような、クウォンテールの関係表現定理を与えた。また、その類似例として、完備べき等左半環を二項多重関係で表現する表現定理を与えた。
平成25年度には、一つのストーン型双対性から別のストーン型双対性を導く構成を与えるという最終目的の前段階として、一つの随伴から別の随伴を導く構成を明らかにすることを目標とした。その結果、半束の圏と完備束の圏の間の随伴から、べき等半環の圏とクウォンテールの圏の間の随伴を生成する構成を明らかにできた。さらにそれを一般化し、T代数上の半束の圏とT代数上の完備束の圏の間の随伴を与える構成も与えた。
平成26年度には、すでに知られている modal algebra と descriptive general frame の間のストーン型双対性を参考に、Kripke frame との間にストーン型双対性を持つような代数について調査した。その結果、complete atomic modal algebra で modal operator が（有限とは限らない）任意の上限を保つもの、がそのような代数であることがわかった。ただし、圏を考えるときの射は、任意の上限と任意の下限を保つ準同型とした。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
平成25年度は、modal algebra と Kripke frame の間に、双対性ではないが関手の対が存在するという調査結果を得ており、二つの圏の間の関係として、双対性、単射単位を持つ随伴、普通の随伴、関手対、などのさまざまな段階があり得る中で、modal algebra と Kripke frame の間には双対性はないが単射単位をもつ関手対はある、という事実を確認していた。
平成26年度は、Kripke frame との間に双対性があるのは、complete atomic modal algebra で modal operator が任意の上限を保つものである、という具体的な事実がわかった。これは一定の意味があると言える。
|
| Strategy for Future Research Activity |
本研究のアプローチは、異なる真偽値からなる多値論理どうしを比較できるものでなければならない。そこで、これまで研究してきた多重関係という概念を２値論理版から多値論理版に拡張し、多値多重関係という概念を定義する。そして、その表現定理やストーン型双対性など基本的な性質の証明に取り組んでいく。
|
| Causes of Carryover |
平成26年度は順調に研究を続け、使用額も計画通りであったが、平成25年度の残額が多かったため、結果的に次年度使用額が生じた。
|
| Expenditure Plan for Carryover Budget |
平成27年度は、これまで研究してきた多重関係という概念を２値論理版から多値論理版に拡張し、多値多重関係という概念を定義する。そして、その表現定理やストーン型双対性など基本的な性質の証明に取り組んでいく。以上のように研究を進めるための資料代や旅費に残額を充てる。
|
Research Products
(1 results)
