Nihon University · Faculty of Commerce · 教授

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

• Proof construction style representation of cut-elimination2026 · Exploring Negation, Modality and Proof, A Springer book series Logic In Asia: Studia Logica Library, 2026年04月, 査読有り, 通常論文
• A Dialogical Interpretation of Cut-Elimination and Its Application to Argumentation Theory2025 · Logic and Argumentation. CLAR 2025, Lecture Notes in Computer Science, 2025年06月, 査読有り, 通常論文
• A sequent calculus representation of Lorenzen dialogue extended with why-because dialogue2024 · SAFA 2024 Systems and Algorithms for Formal Argumentation 2024, CEUR Workshop Proceedings, 2024年09月, 査読有り, 通常論文
• Another representation of cut-elimination2024 · Proceedings of the 6th Asian Workshop on Philosophical Logic, 2024年03月, 査読有り

• Official profile