Literature Cited
J. Herbrand, “Recherches sur la théorie de la démonstration,” Travaux de la Société des Sciences et de Lettres de Varsovie, class III, sciences mathematiques et physicques, Vol. 33 (1930).
G. E. Mints [Minc], “Herbrand's theorem”, in: Mathematical Theory of Logical Inference [in Russian], Nauka, Moscow (1967), pp. 311–350.
J. Shoenfield, Mathematical Logic, Addison-Wesley, Reading, Massachusetts (1967).
J. Robinson, “A machine-oriented logic based on the resolution principle,” J. ACM,10, 163–174 (1963).
D. Pravitz, “Advances and problems in the development of mechanical proving procedures,” Kibern. Sb., Nov. Ser., No. 9, 52–65 (1972).
Additional information
Translated from Kibernetika, No. 1, pp. 112–116, January–February, 1981.
Rights and permissions
About this article
Cite this article
Lyaletskii, A.V. A variant of Herbrand's theorem for formulas in prenex form. Cybern Syst Anal 17, 125–129 (1981). https://doi.org/10.1007/BF01307049
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01307049