Published: 1955 Received: August 20, 1954Available on J-STAGE: August 29, 2006Accepted: -
Advance online publication: -
Revised: -
Correction information
Date of correction: August 29, 2006Reason for correction: -Correction: CITATIONDetails: 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).
Date of correction: August 29, 2006Reason for correction: -Correction: PDF FILEDetails: -