Article contents
A Study on Formal Deductions in the Primitive Logic
Published online by Cambridge University Press: 22 January 2016
Extract
Main purpose of the present paper is to study formal deductions described along the line of my former work [1]. In the present paper, I restrict myself to the primitive logic. To extend this method to other logics such as the lower classical predicate logic or the intuitionistic predicaste logic, my way of practical discription has to undergo a certain extent of modification.
- Type
- Research Article
- Information
- Copyright
- Copyright © Editorial Board of Nagoya Mathematical Journal 1968
References
- 6
- Cited by