Report: an examination of a decision procedure
HTML articles powered by AMS MathViewer
- by F. C. Oglesby PDF
- Bull. Amer. Math. Soc. 67 (1961), 300-304
References
- Wilhelm Ackermann, Begründung einer strengen Implikation, J. Symbolic Logic 21 (1956), 113–128 (German). MR 80607, DOI 10.2307/2268750 2. J. Herbrand, Recherches sur la théorie de la démonstration, Trav. Soc. Sci. Lett. Varsovie, Classe III, no. 33, 1930. 3. D. Hilbert and W. Ackermann, Principles of mathematical logic, New York, Chelsea Publishing Company, 1950.
- K. Jaakko J. Hintikka, Distributive normal forms in the calculus of predicates, Acta Philos. Fenn. 6 (1953), 71. MR 69778
- Robert Stanley, An extended procedure in quantificational logic, J. Symbolic Logic 18 (1953), 97–104. MR 55955, DOI 10.2307/2268939
- W. V. Quine, On the logic of quantification, J. Symbolic Logic 10 (1945), 1–12. MR 12596, DOI 10.2307/2267200
Additional Information
- Journal: Bull. Amer. Math. Soc. 67 (1961), 300-304
- DOI: https://doi.org/10.1090/S0002-9904-1961-10593-4
- MathSciNet review: 0123469