Bibliography
E. Orŀowska,Theorem-proving systems,Dissertationes Mathematicae, Vol. CIII, 1973.
H. Rasiowa, On generalized Post algebras of order ω+ and ω+-valued predicate calculi,Bulletin de l'Académie Polonaise des Sciences,Serie sci. math., astr. et phys., Vol. XXI (1973), pp. 209–219.
H. Rasiowa, On logical structure of mix-valued programs and ω+-valued algorithmic logic, ibid., pp. 451–458.
H. Rasiowa, R. Sikorski,The mathematics of methamathematics, Waszawa 1970, PWN.
Z. Saloni,Gentzen rules for the m-valued logic,Bulletin de l'Academie Polonaise des Sciences,Serié sci. math., astr. et phys., Vol. XX (1972), pp. 819–826.
Author information
Authors and Affiliations
Additional information
Allatum est die 24 Martii 1976
Rights and permissions
About this article
Cite this article
Orŀowska, E. The gentzen style axiomatization of 433-1433-1433-1logic. Stud Logica 35, 433–445 (1976). https://doi.org/10.1007/BF02123408
Issue Date:
DOI: https://doi.org/10.1007/BF02123408