- J-STAGE home
- /
- Journal of the Mathematical So ...
- /
- Volume 12 (1960) Issue 3
- /
- Article overview
An example on the fundamental conjecture of GLC
Gaisi TAKEUTI
Author information
-
Gaisi TAKEUTI
Institute for Advanced Study, Tokyo University of Education
JOURNAL
FREE ACCESS
1960 Volume 12 Issue 3 Pages 238-242
Details
- Published: 1960 Received: June 26, 1959 Available on J-STAGE: August 29, 2006 Accepted: - Advance online publication: - Revised: -
-
Correction information
Date of correction: August 29, 2006 Reason for correction: - Correction: CITATION Details: 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.
Date of correction: August 29, 2006 Reason for correction: - Correction: PDF FILE Details: -
Download PDF (394K)
Download citation
RIS
BIB TEX
Text
How to download citation
Contact us
(compatible with EndNote, Reference Manager, ProCite, RefWorks)
(compatible with BibDesk, LaTeX)
Article 1st page
