On Reducibility of Provability in the Primitive Logic [LO]
Jiro Ito · Nagoya Mathematical Journal · 1970
In the present paper, we would like to show a theorem concerning with reducibility of provability in the primitive logic. This theorem seems to suggest a procedure to find the proof-note of a given proposition which is provable in the primitive logic.