SEARCH
Search Details
ANDOU Yuuki
Faculty of Letters Department of Philosophy
Professor
Researchmap URL
https://researchmap.jp/read0147017
Career
■ Career
- Apr. 2023 - Present
法政大学 図書館長 (評議員) - Apr. 2005 - Present
法政大学 学生部長 (評議員) - Apr. 2021 - Mar. 2023
法政大学 文学部長 (評議員) - Apr. 2005 - Mar. 2008
法政大学文学部 教授 - Apr. 2005 - Mar. 2008
法政大学 学生部長 (評議員) - Apr. 2003 - Mar. 2005
法政大学文学部 助教授 - Apr. 2000 - Mar. 2003
法政大学第一教養部 助教授 - Apr. 2001 - Mar. 2002
フランス CNRS UMR7126 (在外研究) - Apr. 2000 - Mar. 2001
東京女子大学 文理学部 非常勤講師 - Apr. 2000 - Mar. 2001
東京工業大学 理学部 非常勤講師 - 01 Apr. 1995 - 31 Mar. 2000
法政大学第一教養部 専任講師 - Apr. 1995 - Mar. 2000
法政大学第一教養部 専任講師 - Apr. 1996 - Mar. 1999
東京工業大学 理学部 非常勤講師 - 01 Apr. 1991 - 31 Mar. 1995
法政大学第一教養部 兼任助手 - Apr. 1991 - Mar. 1995
法政大学第一教養部 兼任助手
Research activity information
■ Paper
- Gentzen's unpublished normalization theorem and its successors
ANDOU Yuuki
RIMS-Kokyuroku, Aug. 2018 - Normal form theorem of natural deduction for modal logic S4
ANDOU Yuuki
RIMS-Kokyuroku, Apr. 2009 - Structural reductions in natural deduction
ANDOU Yuuki
口頭発表, Feb. 2009 - λρ計算の正規化定理について
安東祐希
口頭発表, Oct. 2005 - A note on von Plato's general elimination
安東祐希
口頭発表, Jan. 2005 - LKとNKにおける構造的縮約の対応について
安東祐希
口頭発表, Sep. 2004 - 構造的縮約について
安東祐希
口頭発表, Sep. 2003 - Church-Rosser property of a simple reduction for full first-order classical natural deduction
Y Andou
ANNALS OF PURE AND APPLIED LOGIC, Feb. 2003, [Reviewed] - Some correspondences of reduction-procedures between natural deduction and sequent calculus
ANDOU Yuuki
RIMS-Kokyuroku, Jan. 2003 - 自然演繹体系の強正規化定理について
安東祐希
口頭発表, Sep. 2000 - 形式的証明の一意性に関するある定理について
安東祐希
口頭発表, Oct. 1999 - 古典自然演繹体系のチャーチ・ロッサー性について
安東祐希
口頭発表, Sep. 1999 - A system of lambda-mu-calculus proper to the implicational fragment of classical natureal deduction with one conclusion
ANDOU Yuuki
RIMS-Kokyuroku, Feb. 1997 - 古典論理自然演繹体系の標準化手続きについて
安東祐希
口頭発表, Sep. 1996 - A normalization-procedure for the first order classical natural deduction with full logical symbols
ANDOU Yuuki
Tsukuba Journal of Mathematics, Jun. 1995, [Reviewed] - CR of a reduction for classical natural deduction
ANDOU Yuuki
RIMS-Kokyuroku, May 1995 - 第一階古典述語論理の自然演繹計算の標準化定理について
安東祐希
口頭発表, Sep. 1994
- A Remark on Gentzen's Notes
ANDOU Yuuki
Bulletin of the Faculty of Letters, Hosei University, 13 Mar. 2017 - Gentzen's Logic - Hauptsatz and Consistency Proof
ANDOU Yuuki
Bulletin of Hosei Society for Philosophy, Jun. 2010 - A note on modal logic S4 in natural deduction
ANDOU Yuuki
Bulletin of the Faculty of Letters, Hosei University, Mar. 2009 - 数学
安東祐希; 池田宏一郎; 倉田俊彦
法政大学通信教育部教科書, Mar. 2008 - A note on general elimination rules
ANDOU Yuuki
Bulletin of the Faculty of Letters, Hosei University, Mar. 2006 - 新装版に寄せて
安東祐希
前原昭二『記号論理入門』日本評論社, Dec. 2005 - A representation of essential reductions in sequent calculus (abstract)
ANDOU Yuuki
Bulletin of Symbolic Logic, Jun. 2005 - A proof of normalization theorem for lambda-rho-calculus
ANDOU Yuuki
Bulletin of the Faculty of Letters, Hosei University, Mar. 2005 - A cut-elimination for LK corresponding with a normalization for NK (abstract)
ANDOU Yuuki
Bulletin of Symbolic Logic, Jun. 2004 - A note on Prawitz's validity
ANDOU Yuuki
Bulletin of the Faculty of Letters, Hosei University, Mar. 2004 - Strong normalization of classical natural deduction (abstract)
ANDOU Yuuki
Bulletin of Symbolic Logic, Mar. 2001 - Structural aspects and Church-Rosser property of classical natural deduction (abstract)
ANDOU Yuuki
Bulletin of Symbolic Logic, Jun. 2000 - A canonical extension of Curry-Howard isomorphism to classical logic
ANDOU Yuuki
Anales WAIT'99, SADIO, Sep. 1999, [Reviewed]
- On a Reduction-Procedure for Full First Order Classical Natural Deduction
ANDOU Yuuki, Single work
Doctoral Thesis (University of Tsukuba), Mar. 1995, Not reviewed
