Advertisement

Gentzen-style and Novikov-style cut-elimination

  • Sergei Tupailo
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 620)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    P.S. Novikov, On the consistency of certain logical calculus, Matematicheskiy sbornik, 1943, 12(54), 2, 231–261.Google Scholar
  2. 2.
    P.S. Novikov, O nekotorykh teoremakh sushchestvovaniya, DAN SSSR, 1939, 23, 5, 438–440.Google Scholar
  3. 3.
    P.S. Novikov, Elementy matematicheskoy logiki, 2nd ed., (Nauka, Moscow, 1973).Google Scholar
  4. 4.
    G. Gentzen, de Untersuchungen über das logische Shliessen, 1, 2, Mathematische Zeitschrift, B.39, 176–210, 405–443.Google Scholar
  5. 5.
    G. E. Mints, Proof theory in the U.S.S.R. 1925–1969, 1, 2, JSL, 1991, 56, 2, 385–424.Google Scholar
  6. 6.
    G. Takeuti, Proof theory, 2nd ed., (North Holland, Amsterdam, 1987).Google Scholar
  7. 7.
    S. C. Kleene, Permutability of inferences in Gentsen's calculi L K and L J, Memoirs of the American Mathematical Society, 10, 1–26.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Sergei Tupailo
    • 1
  1. 1.Institute of CyberneticsTallinnEstonia

Personalised recommendations