訂正日: 2006/09/29訂正理由: -訂正箇所: 引用文献情報訂正内容: 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).