訂正日: 2006/08/29訂正理由: -訂正箇所: 引用文献情報訂正内容: Wrong : 1) G. Gentzen: Untersuchungen über das logische Schliessen, I, II, Math. Z., 39 (1935). 2) G. Takeuti: On a generalized logic calculus, Jap. J. Math. 23 (1953) pp. 39-96. Errata to On a Generalized Logic Calculus'Jap. J. Math. 24 (1954) pp. 149-156. 3) G. Takeuti:On the fundamental conjecture of GLC I, J. Math. Sac. Japan, 7 (1955) pp. 249-275. 4) G. Takeuti: On the fundamental conjecture of GLC II, J. Math. Soc. Japan, 7 (1955) pp. 394-408. 5) G. Takeuti:On the fundamental conjecture of GLC III, J. Math Soc. Japan, 8 (1956) pp. 54-64. 6) G. Takeuti: On the fundamental conjecture of GLC IV, J. Math. Soc. Japan, 8 (1956) pp. 145-155.
Right : [1] G. Gentzen: Untersuchungen über das logische Schliessen, I, II, Math. Z., 39 (1935). [2] G. Takeuti: On a generalized logic calculus, Jap. J. Math. 23 (1953) pp. 39-96. Errata to On a Generalized Logic Calculus'Jap. J. Math. 24 (1954) pp. 149-156. [3] G. Takeuti: On the fundamental conjecture of GLC I, J. Math. Soc. Japan, 7 (1955) pp. 249-275. [4] G. Takeuti: On the fundamental conjecture of GLC II, J. Math. Soc. Japan, 7 (1955) pp. 394-408. [5] G. Takeuti:On the fundamental conjecture of GLC III, J. Math Soc. Japan, 8 (1956) pp. 54-64. [6] G. Takeuti: On the fundamental conjecture of GLC IV, J. Math. Soc. Japan, 8 (1956) pp. 145-155.