Heyting predicate calculus with epsilon symbol-Reference-Cited by-同舟云学术

Heyting predicate calculus with epsilon symbol

Published:1977-09 Issue:3 Volume:8 Page:317-323
ISSN:0090-4104
Container-title:Journal of Soviet Mathematics
language:en
Short-container-title:J Math Sci

Author:

Mints G. E.

Publisher

Springer Science and Business Media LLC

Subject

Applied Mathematics,General Mathematics,Statistics and Probability,Applied Mathematics,General Mathematics,Statistics and Probability

Link

http://link.springer.com/content/pdf/10.1007/BF01091551.pdf

Reference6 articles.

1. V. A. Smirnov, ?Elimination des termes? dans la logique intuitioniste,? Revue Internationale de Philosophie,98, 512?519 (1971).

2. G. E. Mints, ?Herbrand's theorem,? in: The Mathematical Theory of Logical Inference [in Russian], Moscow (1967), pp. 311?350.

3. A. C. Leisenring, Mathematical Logic and Hilbert's? symbol, MacDonald, London (1969).

4. D. Leivant, Existential Instantiation in a System of Natural Deduction for Intuitionistic Arithmetic, Stichting Mathematish Centrum, Amsterdam (1973).

5. S. Maehara, ?A general theory of completeness proofs,? Ann. Jap. Ass. Philos. Sci.,3, 54?68 (1970).

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. EPSILON THEOREMS IN INTERMEDIATE LOGICS;The Journal of Symbolic Logic;2022-01-10

2. Semantics and Proof Theory of the Epsilon Calculus;Logic and Its Applications;2016-12-03

3. Hilbert’s Epsilon Calculus and its Successors;Handbook of the History of Logic;2009

4. Harmonising natural deduction;Synthese;2007-10-12

5. Interpreting descriptions in intensional type theory;Journal of Symbolic Logic;2005-06