訂正日: 2006/08/29訂正理由: -訂正箇所: 引用文献情報訂正内容: Wrong : 1) 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. 2) G. Takeuti: On the fundamental conjecture of GLC I, J. Math. Soc. Japan, 7 (1955) pp. 249-275. 3) G. Gentzen: Untersuchungen über das logische Schliessen, I, II, Math. Z., 39 (1935).
Right : [1] 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. [2] G. Takeuti: On the fundamental conjecture of GLC I, J. Math. Soc. Japan, 7 (1955) pp. 249-275. [3] G. Gentzen: Untersuchungen über das logische Schliessen, I, II, Math. Z., 39 (1935).