A Study on Formal Deductions in the Primitive Logic
Katuzi Ono · Nagoya Mathematical Journal · 1968
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.