| Project/Area Number |
19K03600
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Review Section |
Basic Section 12030:Basic mathematics-related
|
|---|
| Research Institution | Niigata University |
|---|
Principal Investigator |
関 隆宏 新潟大学, 経営戦略本部, 准教授 (30380546)
|
|---|
| Project Period (FY) |
2019-04-01 – 2024-03-31
|
| Project Status |
Granted (Fiscal Year 2022)
|
| Budget Amount *help |
¥3,510,000 (Direct Cost: ¥2,700,000、Indirect Cost: ¥810,000)
Fiscal Year 2022: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2021: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2020: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2019: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
|
|---|
| Keywords | 結合則を持たない部分構造論理 / 結合則の族 / 構造規則 / Kripke 型意味論 / 論理の階層性 / 部分構造論理 / 階層性 |
|---|
| Outline of Research at the Start |
部分構造論理は，古典論理や直観主義論理に対するシーケント計算における構造に関する規則を除いたり，新たな公理を加えたりすることにより得られる論理の総称である。部分構造論理の多くの研究で仮定している結合則にさまざまな制約を加えた「結合則とその族」に注目し，「結合則とその族」の一部を加えた部分構造論理におけるさまざまな論理的性質を一般的・包括的な視点から考察することを通じて，部分構造論理における「結合則とその族」の階層性を解明する。
|
| Outline of Annual Research Achievements |
古典論理や直観主義論理に対するシーケント計算における構造に関する規則（weakening，contraction，exchange）のいくつかを取り除いたり，新たな公理を加えたりすることにより得られる部分構造論理の多くの研究では，（fusion に関する）結合則を仮定している。本研究では，「結合則を持たない部分構造論理」におけるさまざまな論理的性質の考察を通じて，部分構造論理における「結合則とその族」の階層性を解明することを目的としている。
本年度は，exchange に関わる結合則の族を中心に証明論的観点から考察した。命題定数を持たない場合に，exchange に関わる結合則の基本的な推論規則を持つ論理の包含関係を検討することにより，基本的な exchange に関わる結合則の任意の組み合わせを持つ部分構造論理において同等な論理を明らかにし，さらに論理の強弱の面から exchange に関わる結合則を持つ部分構造論理の階層性を明らかにした。命題定数がある場合については，引き続き検討していくこととした。
また，結合則の族の一つである公理Sに注目して，部分構造論理の観点からS及びSの変種に対応する推論規則（ゲンツェン流とヒルベルト流の対応）を明らかにし，これと weakening を持つ論理における結合則や contraction，exchange の導出可能性についても検討した。このほか，「結合的weakening」と「結合的contraction」を持つ論理の結合性や可換性についてさらなる検討を進めた。
これらの結果を国内学会・研究会で3回発表した。
|
| Current Status of Research Progress |
Current Status of Research Progress
3: Progress in research has been slightly delayed.
Reason
前年度遅れた分をそのまま本年度実行し，それに関しては一定の結果が得られたが，当初計画における本年度実施予定分までは十分に進めることができなかった。
|
| Strategy for Future Research Activity |
「結合則を持たない部分構造論理」や「結合則の族」の一部を持つ論理のさまざまな論理的性質を明らかにした後，「結合則の族」の階層性の一部を明らかにする。また，当初の研究計画とは異なるが，「結合的weakening」，「結合的contraction」，「結合的exchange」に着目した研究を進めることにより，当初の想定に近い研究成果が得られるようにする。
研究成果の発表や情報・意見交換，関連分野の状況を把握するため，国内の学会・研究会等に参加する。
|
Report
(4 results)
Research Products
(16 results)
