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

• 研究課題/領域番号: 16KK0007
• 研究種目: 国際共同研究加速基金（国際共同研究強化）
• 配分区分: 基金
• 研究分野: 知能情報学
• 研究機関: 帝京大学
• 研究代表者: 上出 哲広 帝京大学, 理工学部, 准教授 (60332053)
• 研究期間 (年度): 2017 – 2019
• 研究課題ステータス: 交付 (2017年度)
• 配分額: 1,950千円 (直接経費: 1,500千円、間接経費: 450千円)
• キーワード: 数理論理学 / 非古典論理 / 矛盾許容論理 / 埋め込み定理