Andou Yuuki

アンドウユウキ | Andou Yuuki

Affiliation and department：
Job title： Professor

Research field (1)： Mathematical analysis

Research keywords (2)：証明論 , 数理論理学

Papers (17)：

ANDOU Yuuki. Gentzen's unpublished normalization theorem and its successors. RIMS-Kokyuroku. 2018. 2083. 146-149
ANDOU Yuuki. Normal form theorem of natural deduction for modal logic S4. RIMS-Kokyuroku. 2009. 1635. 13-15
ANDOU Yuuki. Structural reductions in natural deduction. 口頭発表. 2009
安東祐希. λρ計算の正規化定理について. 口頭発表. 2005
安東祐希. A note on von Plato's general elimination. 口頭発表. 2005

ｍore...

MISC (13)：

ANDOU Yuuki. A Remark on Gentzen's Notes. Bulletin of the Faculty of Letters, Hosei University. 2017. 76. 61-65
ANDOU Yuuki. Gentzen's Logic - Hauptsatz and Consistency Proof. Bulletin of Hosei Society for Philosophy. 2010. 6. 1-14
ANDOU Yuuki. A note on modal logic S4 in natural deduction. Bulletin of the Faculty of Letters, Hosei University. 2009. 58. 58. 15-18
安東祐希, 池田宏一郎, 倉田俊彦. 数学. 法政大学通信教育部教科書. 2008. 50-145, 258-288
ANDOU Yuuki. A note on general elimination rules. Bulletin of the Faculty of Letters, Hosei University. 2006. 52. 15-18

ｍore...

Books (1)：

On a Reduction-Procedure for Full First Order Classical Natural Deduction
Doctoral Thesis (University of Tsukuba) 1995

Education (2)：

1988 - 1995 University of Tsukuba Graduate School, Division of Mathematics 数学専攻
1984 - 1988 Tokyo Institute of Technology Faculty of Science Department of Mathematics

Professional career (1)：

Work history (15)：

Show all

Association Membership(s) (2)：

Association for Symbolic Logic , Mathematical Society of Japan

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page