Article contents
Taboo Versus Axiom
Published online by Cambridge University Press: 22 January 2016
Extract
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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Editorial Board of Nagoya Mathematical Journal 1966
References
- 1
- Cited by