A categorical generalization of models for modal logics
| Project/Area Number |
18740062
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
General mathematics (including Probability theory/Statistical mathematics)
|
|---|
| Research Institution | Kyushu Sangyo University |
|---|
Principal Investigator |
TANAKA Yoshihito Kyushu Sangyo University, 経済学部, 教授 (70320132)
|
|---|
| Project Period (FY) |
2006 – 2008
|
| Project Status |
Completed (Fiscal Year 2008)
|
| Budget Amount *help |
¥3,070,000 (Direct Cost: ¥2,800,000、Indirect Cost: ¥270,000)
Fiscal Year 2008: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2007: ¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 2006: ¥1,000,000 (Direct Cost: ¥1,000,000)
|
|---|
| Keywords | Heyting代数 / Kripkeモデル / 非古典論理 / canonical formula / 直観主義論理 / Kripkeフレーム / 双対性 / 数理論理 / 連続写像 / Canonical formula / Jankovの定理 / 無限論理 / 代数モデル / 様相論理 |
|---|
| Research Abstract |
Subdirectly irreducibleな有限Heyting代数におけるJankovの定理から,有限という条件を外し,ある一定の条件を満たすsudirectly irreducible Heyting代数への拡張を行った.また,有限Kripke frameにおけるcanonical formulaの理論を,一般のKripke frameに拡張した.
|
Report
(4 results)
Research Products
(12 results)
