| Budget Amount *help |
¥4,290,000 (Direct Cost: ¥3,300,000、Indirect Cost: ¥990,000)
Fiscal Year 2019: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2018: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2017: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2016: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
|
|---|
| Outline of Final Research Achievements |
Constructivity is one of the important subjects of mathematical logic and a fundamental concept in intuitionistic logic and constructive mathematics. The disjunction and existence properties, which characteristically express the constructivity, have been studied almost independently in intermediate predicate logic and intuitionistic (constructive) mathematics. However, a crucial overlap between them has been found. The idea of this research is to advance research using this observation as leverage.
One academically significant achievement is the following:
With researchers in constructive mathematics and intuitionistic arithmetic, we have developed a method to construct a Kripke model of intuitionistic arithmetic from a given Kripke model for intermediate propositional logic, using the Arithmetical Completeness Theorem.
|
