Article contents
On Development of Formal Systems Starting from Primitive Logic
Published online by Cambridge University Press: 22 January 2016
Extract
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
- Copyright
- Copyright © Editorial Board of Nagoya Mathematical Journal 1966
References
- 2
- Cited by