Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)

 
 

 

The cut elimination theorem in the unary second order language


Author: Mitsuru Yasuhara
Journal: Proc. Amer. Math. Soc. 17 (1966), 1069-1073
MSC: Primary 02.18
DOI: https://doi.org/10.1090/S0002-9939-1966-0204273-X
MathSciNet review: 0204273
Full-text PDF

References | Similar Articles | Additional Information

References [Enhancements On Off] (What's this?)

  • [A] W. Ackermann, Solvable cases of the decision problem, North-Holland, Amsterdam, 1954. MR 0064711 (16:323a)
  • [C] A. Church, Introduction to mathematical logic, Princeton Univ. Press, Princeton, N. J., 1956. MR 1435972 (98g:03001)
  • [G] G. Gentzen, Untersuchungen über logische Schliessen, Math. Z., 39 (1953), 176-210, 405-431.
  • [T] G. Takeuti, On a generalized logic calculus, Japan. J. Math. 23 (1953), 39-96. MR 0075160 (17:701d)

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC: 02.18

Retrieve articles in all journals with MSC: 02.18


Additional Information

DOI: https://doi.org/10.1090/S0002-9939-1966-0204273-X
Article copyright: © Copyright 1966 American Mathematical Society

American Mathematical Society