埋め込み定理に基づく新しい矛盾許容論理に関する研究（国際共同研究強化）

Research Project

Project/Area Number	16KK0007
Research Category	Fund for the Promotion of Joint International Research (Fostering Joint International Research)
Allocation Type	Multi-year Fund
Research Field	Intelligent informatics
Research Institution	Teikyo University
Principal Investigator	上出哲広帝京大学, 理工学部, 准教授 (60332053)
Project Period (FY)	2017 – 2019
Project Status	Granted (Fiscal Year 2017)
Budget Amount *help	¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
Keywords	数理論理学 / 非古典論理 / 矛盾許容論理 / 埋め込み定理