Hosei University · Faculty of Letters · 教授

Research keywords証明論・数理論理学

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

• Gentzen's unpublished normalization theorem and its successors2018 · 数理解析研究所講究録, 2018年08月
• Gentzen's unpublished normalization theorem and its successors 安東祐希 数理解析研究所講究録, 2018年08月2018
• Structural reductions in natural deduction2009 · 口頭発表, 2009年02月
• Normal form theorem of natural deduction for modal logic S42009 · 数理解析研究所講究録, 2009年04月

• Official profile