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

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

• 公式プロフィール