Hostname: page-component-848d4c4894-pftt2 Total loading time: 0 Render date: 2024-05-16T11:29:50.167Z Has data issue: false hasContentIssue false
  • English
  • Français

On Development of Formal Systems Starting from Primitive Logic

Published online by Cambridge University Press:  22 January 2016

Katuzi Ono
Katuzi Ono*
Affiliation:
Mathematical Institute, Nagoya University
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

It has been my program to develop fundamental theories of mathematics starting from TABOOS and standing on the primitive logic LO at first instead of starting from AXIOMS and standing on the fairly brought up logic, the lower classical logic LK. This was proposed in my work [1].

Type
Research Article
Information
Nagoya Mathematical Journal , Volume 28 , October 1966 , pp. 79 - 83
Copyright
Copyright © Editorial Board of Nagoya Mathematical Journal 1966

References

Bernays, P., [1] A system of axiomatic set theory, I-VII; J. Symb. Log.; 2 (1937), 65–77; 6 (1941). 1–17; 7 (1942), 65–89; 133–145; 8 (1943), 89–106; 13 (1948), 65–79; 19 (1954), 81–96.Google Scholar
Curry, H. B., [1] Foundations of mathematical logic (New York, 1963).Google Scholar
Güdel, K., [1] The consistency of the axiom of choice and of generalized continuum hypothesis with the axioms of set theory (Princeton, 1940).Google Scholar
Lorenzen, P., [1] Einleitung in die operative Logik und Mathematik (Berlin-Göttingen-Heidelberg, 1955).Google Scholar
Ono, K., [1] A certain kind of formal theories, Nagoya Math. J., 25 (1965), 59–86.Google Scholar
[2] On universal character of the primitive logic, Nagoya Math. J., 27-1 (1966), 331–353.Google Scholar
[3] Formal systems having just one primitive notion, Nagoya Math. J., 28 (1966), 73–77.CrossRefGoogle Scholar