Publisher
The Japan Association for Philosophy of Science
Reference8 articles.
1. [1] Johansson, I., Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus, Compositio Math., 4(1936), 119-136.
2. [2] Ono, K., A certain kind of formal theories, Nagoya Math. J., 25 (1965), 59-86.
3. [3] Ono, K., On universal character of the primitive logic, Nagoya Math J., 27 (1966), 331-353.
4. [4] Ono, K., Taboo versus axiom, Nagoya Math. J., 28(1966), 113-117.
5. [5] Ono, K., Reduction of logics to the primitive logic, J. Math. Soc. Japan, 19-3 (1967), 384-398.