Hostname: page-component-7b7567c8c-kwt9d Total loading time: 0 Render date: 2026-11-14T10:56:51.134Z Has data issue: false hasContentIssue false
  • English
  • Français

Taboo Versus Axiom

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.

Some important formal systems are really developable from a finite number of axioms in the lower classical predicate logic LK or in the intuitionistic predicate logic LJ. Any system of this kind can be developed in LK (or in LJ) from the single conjunction of all the axioms of the system.

Information

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

References

[1] Ono, K., [1] A certain kind of formal theories, Nagoya Math. J., 25 (1965), 59–86.CrossRefGoogle Scholar
[2] Ono, K., [2] On universal character of the primitive logic, Nagoya Math. J., 27-1 (1966), 331–353.Google Scholar
[3] Ono, K., [3] On development of formal systems starting from primitive logic, Nagoya Math. J., 28 (1966), 79–83.CrossRefGoogle Scholar
[4] Ono, K., [4] Formal system having just one primitive notion, Nagoya Math. J., 28 (1966), 73–77.CrossRefGoogle Scholar