名古屋市立大学 · データサイエンス学部 / データサイエンス研究科

研究关键词paradefinite logic・connexive logic・Gentzen sequent calculi・multiple-valued logic・philosophical logic・temporal logic・cut elimination・logical consequence relations

以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。

• Bulletin of the Section of Logic 54 2 227 - 282 2025年11月2025 · 論文
• Bulletin of the Section of Logic 54 2 157 - 205 2025年07月2025 · 論文
• Log. J. IGPL 33 2 2025年2025 · 論文
• Journal of Applied Logics 12 1 17 - 60 2025年01月2025 · 論文

• 2023年04月 -2028年03月2023 · 共同研究・競争的資金等の研究課題
• 2022年04月 -2023年03月2022 · 共同研究・競争的資金等の研究課題
• 2020年11月 -2021年03月2020 · 共同研究・競争的資金等の研究課題
• 2018年04月 -2021年03月2018 · 共同研究・競争的資金等の研究課題

• 官方个人主页