On Development of Formal Systems Starting from Primitive Logic
Katuzi Ono · Nagoya Mathematical Journal · 1966
It has beenmy programto develop fundamental theories of mathematics starting from TABOOS and standing on theprimitive logicLO at first instead of starting from AXIOMS and standing on the fairly brought up logic, thelower classical logicLK. This was proposed in my work [1].