Abstract
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].
Publisher
Cambridge University Press (CUP)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Deduction Theorem for Inferential Predicate Calculus;Contributions to Mathematical Logic - Proceedings of the Logic Colloquium, Hannover 1966;1968
2. Reduction of logics to the primitive logic;Journal of the Mathematical Society of Japan;1967-07-01
3. Taboo Versus Axiom;Nagoya Mathematical Journal;1966-10