Preview
Unable to display preview. Download preview PDF.
References
P.S. Novikov, On the consistency of certain logical calculus, Matematicheskiy sbornik, 1943, 12(54), 2, 231–261.
P.S. Novikov, O nekotorykh teoremakh sushchestvovaniya, DAN SSSR, 1939, 23, 5, 438–440.
P.S. Novikov, Elementy matematicheskoy logiki, 2nd ed., (Nauka, Moscow, 1973).
G. Gentzen, de Untersuchungen über das logische Shliessen, 1, 2, Mathematische Zeitschrift, B.39, 176–210, 405–443.
G. E. Mints, Proof theory in the U.S.S.R. 1925–1969, 1, 2, JSL, 1991, 56, 2, 385–424.
G. Takeuti, Proof theory, 2nd ed., (North Holland, Amsterdam, 1987).
S. C. Kleene, Permutability of inferences in Gentsen's calculi L K and L J, Memoirs of the American Mathematical Society, 10, 1–26.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tupailo, S. (1992). Gentzen-style and Novikov-style cut-elimination. In: Nerode, A., Taitslin, M. (eds) Logical Foundations of Computer Science — Tver '92. LFCS 1992. Lecture Notes in Computer Science, vol 620. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0023901
Download citation
DOI: https://doi.org/10.1007/BFb0023901
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55707-4
Online ISBN: 978-3-540-47276-6
eBook Packages: Springer Book Archive