Abstract
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.
Publisher
Cambridge University Press (CUP)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Does Mathematics Need Something other than Logic?;Annals of the Japan Association for Philosophy of Science;1968
2. Reduction of logics to the primitive logic;Journal of the Mathematical Society of Japan;1967-07-01