Natural deduction, inference, and consistency
HTML articles powered by AMS MathViewer
- by Robert L. Stanley PDF
- Proc. Amer. Math. Soc. 16 (1965), 367-374 Request permission
References
- Gaisi Takeuti, On a generalized logic calculus, Jpn. J. Math. 23 (1953), 39–96 (1954); errata, 24 (1954), 149–156. MR 75160, DOI 10.4099/jjm1924.23.0_{3}9
- Willard Van Orman Quine, Mathematical logic, Harvard University Press, Cambridge, Mass., 1951. Revised ed. MR 0045661
- Robert L. Stanley, Simplified foundations for mathematical logic, J. Symbolic Logic 20 (1955), 123–139. MR 71377, DOI 10.2307/2266898
- Kurt Schütte, Syntactical and semantical properties of simple type theory, J. Symbolic Logic 25 (1960), 305–326 (1962). MR 144813, DOI 10.2307/2963525
Additional Information
- © Copyright 1965 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 16 (1965), 367-374
- MSC: Primary 02.18
- DOI: https://doi.org/10.1090/S0002-9939-1965-0179055-7
- MathSciNet review: 0179055