| 研究課題/領域番号 |
23K10991
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分60010:情報学基礎論関連
|
|---|
| 研究機関 | 法政大学 |
|---|
研究代表者 |
倉田 俊彦 法政大学, 経営学部, 教授 (40311899)
|
|---|
| 研究分担者 |
藤田 憲悦 群馬大学, 情報学部, 准教授 (30228994)
|
|---|
| 研究期間 (年度) |
2023-04-01 – 2027-03-31
|
| 研究課題ステータス |
交付 (2023年度)
|
| 配分額 *注記 |
4,290千円 (直接経費: 3,300千円、間接経費: 990千円)
2026年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2025年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2024年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2023年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
|
|---|
| キーワード | 直観主義論理 / 代数的モデル / Curry-Howard同型 / Stone双対性 |
|---|
| 研究開始時の研究の概要 |
本研究は，直観主義論理のモデル理論に関するものであり，位相構造に基づくモデルと厳密に対応する代数的モデルの構成を基本的な目標としている．それによって，論理の形式的体系に関する多彩な拡張を統一的かつシンプルに説明できるモデル理論の実現が期待され，そのようにして得られる新たな代数的視点の下で，直観主義論理の証明（更にそこから抽出される計算）に関連する基本概念の分析を試みる．
|
