Abstract
This paper can be treated as a simplification of the Gentzen formalization of SCI-tautologies presented by A. Michaels in [1].
Similar content being viewed by others
References
A. Michaels,A uniform proof procedure for SCI tautologies,Studia Logica Vol. XXXIII, No. 3 (1974)
H. Rasiowa andR. Sikorski,The mathematics of metamathematics, PWN 1963
Author information
Authors and Affiliations
Additional information
Allatum est die 20 Aprilis 1974
Rights and permissions
About this article
Cite this article
Wasilewska, A. A sequence formalization for SCI. Stud Logica 35, 213–217 (1976). https://doi.org/10.1007/BF02282483
Issue Date:
DOI: https://doi.org/10.1007/BF02282483