Literature cited
V. A. Smirnov, “Elimination des termesε dans la logique intuitioniste,” Revue Internationale de Philosophie,98, 512–519 (1971).
G. E. Mints, “Herbrand's theorem,” in: The Mathematical Theory of Logical Inference [in Russian], Moscow (1967), pp. 311–350.
A. C. Leisenring, Mathematical Logic and Hilbert'sε symbol, MacDonald, London (1969).
D. Leivant, Existential Instantiation in a System of Natural Deduction for Intuitionistic Arithmetic, Stichting Mathematish Centrum, Amsterdam (1973).
S. Maehara, “A general theory of completeness proofs,” Ann. Jap. Ass. Philos. Sci.,3, 54–68 (1970).
K. Shirai, “Intuitionistic predicate calculus withε symbols,” Ann. Jap. Ass. Philos. Sci.,4, 49–67 (1971).
Additional information
Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 40, pp. 101–109, 1974.
Rights and permissions
About this article
Cite this article
Mints, G.E. Heyting predicate calculus with epsilon symbol. J Math Sci 8, 317–323 (1977). https://doi.org/10.1007/BF01091551
Issue Date:
DOI: https://doi.org/10.1007/BF01091551