- J-STAGE home
- /
- Journal of the Mathematical So ...
- /
- Volume 19 (1967) Issue 3
- /
- Article overview
Reduction of logics to the primitive logic
JOURNAL
FREE ACCESS
1967 Volume 19 Issue 3 Pages 384-398
Details
- Published: 1967 Received: April 01, 1967 Available on J-STAGE: September 26, 2006 Accepted: - Advance online publication: - Revised: -
-
Correction information
Date of correction: September 26, 2006 Reason for correction: - Correction: CITATION Details: Wrong : 1) G. Gentzen, Untersuchungen über das logische Schliessen, Math. Z., 39 (1934), 176-210, 405-431.
2) K. Ono, On universal character of the primitive logic, Nagoya Math. J., 27 (1966), 331-353.
3) K. Ono, Formal system having just one primitive notion, Nagoya Math. J., 28 (1966), 73-77.
4) K. Ono, On development of formal systems starting from primitive logic, Nagoya Math. J., 28 (1966), 79-83.
5) K. Ono, Taboo versus axiom, Nagoya Math. J., 28 (1966), 113-117.
6) K. Ono, On a practical way of describing formal deductions, Nagoya Math. J., 21 (1962), 115-121.
Right : [1] G. Gentzen, Untersuchungen über das logische Schliessen, Math. Z., 39 (1934), 176-210, 405-431.
[2] K. Ono, On universal character of the primitive logic, Nagoya Math. J., 27 (1966), 331-353.
[3] K. Ono, Formal system having just one primitive notion, Nagoya Math. J., 28 (1966), 73-77.
[4] K. Ono, On development of formal systems starting from primitive logic, Nagoya Math. J., 28 (1966), 79-83.
[5] K. Ono, Taboo versus axiom, Nagoya Math. J., 28 (1966), 113-117.
[6] K. Ono, On a practical way of describing formal deductions, Nagoya Math. J., 21 (1962), 115-121.
Date of correction: September 26, 2006 Reason for correction: - Correction: PDF FILE Details: -
Download PDF (1290K)
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
