- J-STAGE home
- /
- Journal of the Mathematical So ...
- /
- Volume 8 (1956) Issue 2
- /
- Article overview
Proof of a special case of the fundamental conjecture of Takeuti's GLC
JOURNAL
FREE ACCESS
1956 Volume 8 Issue 2 Pages 135-144
Details
- Published: 1956 Received: November 25, 1955 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).
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.
Date of correction: August 29, 2006 Reason for correction: - Correction: PDF FILE Details: -
Download PDF (207K)
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
