A sequence formalization for SCI

This paper can be treated as a simplification of the Gentzen formalization of SCI-tautologies presented by A. Michaels in [1].