Abstract
In my paper [2], I have proposed a method of describing formal deductions which seems to be convenient for practical purposes. In my paper [3], I have employed an index-system to exactly express tree-form configurations of proofs in Gentzen’s formalism for sequents. In the present paper, I would like to propose a method of describing formal deductions which seems to be convenient for theoretical purposes. The device employed for this purpose relies mostly on an index-system. Just as in [2] as well as in [3], I propose here also to denote every proposition and every denomination of a variable, or every sequent in Gentzen’s formalism, by an index-word.
Publisher
Cambridge University Press (CUP)