- J-STAGE home
- /
- Journal of the Mathematical So ...
- /
- Volume 21 (1969) Issue 3
- /
- Article overview
On a class of set-theoretical interpretations of the primitive logic
JOURNAL
FREE ACCESS
1969 Volume 21 Issue 3 Pages 313-329
Details
- Published: 1969 Received: April 30, 1968 Available on J-STAGE: September 29, 2006 Accepted: - Advance online publication: - Revised: -
-
Correction information
Date of correction: September 29, 2006 Reason for correction: - Correction: CITATION Details: Wrong : 1) Kurt Gödel, Zum intuitionistischen Aussagenkalkül, Anzeiger, 69 Jahrgang (1932), 65-66.
2) Katuzi Ono, A certain kind of formal theories, Nagoya Math. J., 25 (1965), 59-86.
3) Katuzi Ono, On universal character of the primitive logic, Nagoya Math. J., 27 (1966), 331-353.
4) Katuzi Ono, Reduction of logics to the primitive logic, J. Math. Soc. Japan, 19 (1967), 384-398.
5) Katuzi Ono, On a class of truth-value evaluations of the primitive logic, Nagoya Math. J., 31 (1968), 71-80.
6) Katuzi Ono, On formal theories, Nagoya Math. J., 32 (1968), 361-371.
7) Hiroakira Ono, Some remarks on evaluations of the primitive logic (to appear).
Right : [1] Kurt Gödel, Zum intuitionistischen Aussagenkalkül, Anzeiger, 69 Jahrgang (1932), 65-66.
[2] Katuzi Ono, A certain kind of formal theories, Nagoya Math. J., 25 (1965), 59-86.
[3] Katuzi Ono, On universal character of the primitive logic, Nagoya Math. J., 27 (1966), 331-353.
[4] Katuzi Ono, Reduction of logics to the primitive logic, J. Math. Soc. Japan, 19 (1967), 384-398.
[5] Katuzi Ono, On a class of truth-value evaluations of the primitive logic, Nagoya Math. J., 31 (1968), 71-80.
[6] Katuzi Ono, On formal theories, Nagoya Math. J., 32 (1968), 361-371.
[7] Hiroakira Ono, Some remarks on evaluations of the primitive logic (to appear).
Date of correction: September 29, 2006 Reason for correction: - Correction: PDF FILE Details: -
Download PDF (1281K)
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
