On a Comprehension Axiom without Negation
Kanji Namba · Annals of the Japan Association for Philosophy of Science · 1965
On a Comprehension Axiom without Negation 17 Thinning Interchange Contraction In the above schemas, formulas D, E are called the principal formulas.1.5.2Cut.The indicated D is called the cut formula.1.5.3Logical rule of inference.