直観主義様相論理に対する補間定理の意味論的研究

• Project/Area Number: 25K03537
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Review Section: Basic Section 01010:Philosophy and ethics-related
• Research Institution: Hokkaido University
• Principal Investigator: 佐野 勝彦 北海道大学, 文学研究院, 教授 (20456809)
• Project Period (FY): 2025-04-01 – 2028-03-31
• Project Status: Adopted (Fiscal Year 2025)
• Budget Amount: ¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000); Fiscal Year 2027: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000); Fiscal Year 2026: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000); Fiscal Year 2025: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)