訂正日: 2006/08/29訂正理由: -訂正箇所: 引用文献情報訂正内容: Wrong : 1) G. Gentzen, Untersuchungen über das logische Schliessen, I, II, Math. Z., 39 (1935), 176-210, 405-431. 2) G. Kreisel, Review of Takeuti [5], Math. Rev., 17 (1956), 701. 3) G. Takeuti, On the fundamental conjecture of GLC I, J. Math. Soc. Japan, 7 (1955), 249-275. 4) G. Takeuti, On the fundamental conjecture of GLC II, J. Math. Soc. Japan, 7 (1955), 394-408. 5) G. Takeuti, On a generalized logic calculus, Jap. J. Math., 23 (1953), 39-96. Errata to 'On a generalized logic calculus', Jap. J. Math., 24 (1954), 149-156. 6) A. Tarski, Der Wahrheitsbegriff in den formalisierten Sprachen, Studia Philosophica, vol. 1 1936.
Right : [1] G. Gentzen, Untersuchungen über das logische Schliessen, I, II, Math. Z., 39 (1935), 176-210, 405-431. [2] G. Kreisel, Review of Takeuti [5], Math. Rev., 17 (1956), 701. [3] G. Takeuti, On the fundamental conjecture of GLC I, J. Math. Soc. Japan, 7 (1955), 249-275. [4] G. Takeuti, On the fundamental conjecture of GLC II, J. Math. Soc. Japan, 7 (1955), 394-408. [5] G. Takeuti, On a generalized logic calculus, Jap. J. Math., 23 (1953), 39-96. Errata to ‘On a generalized logic calculus’, Jap. J. Math., 24 (1954), 149-156. [6] A. Tarski, Der Wahrheitsbegriff in den formalisierten Sprachen, Studia Philosophica, vol. 1 1936.