Nagoya City University · Faculty of Data Science / Graduate School of Data Science

Research keywordsparadefinite logic・connexive logic・Gentzen sequent calculi・multiple-valued logic・philosophical logic・temporal logic・cut elimination・logical consequence relations

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• 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 · 共同研究・競争的資金等の研究課題

• Official profile