Keywords
- Intuitionistic Logic
- Logical Formula
- Abstract Proof
- BAIRE Space
- Predicate Variable
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
BISHOP, E.A. Foundations of constructive analysis-New-York, 1967.
— Mathematics as a numerical language, Buffalo Conference, 1968, to appear.
CURRY, H.B. and FEYS, R. Combinatory logic, vol. I-Amsterdam 1958.
CURRY, H.B. Combinatory logic, in Contemporary Philosophy, a survey. (R. Klibansky, ed.) Florence, 1968, pp. 295–307.
GOODMAN, N.D. Intuitionistic arithmetic as a theory of constructions. Thesis, Stanford University, 1968.
— A theory of constructions equivalent to arithmetic. Buffalo Conference, 1968, to appear.
GOODSTEIN, R.L. Recursive number theory-Amsterdam, 1957.
HEYTING, A.K. Intuitionism in mathematics, in Philosophy in the mid-century, a survey (R. Klibansky, ed.) Florence, 1958, pp. 101–115.
KLEENE, S.C. and VESLEY, R.E. Foundations of intuitionistic mathematics-Amsterdam, 1965.
KREISEL, G. Foundations of intuititionistic logic, in Logic, Methodology, and the Philosophy of Science (E. Nagel, P. Suppes, A. Tarski, eds.) Stanford, 1962, pp. 198–210.
— Mathematical logic, in lectures on modern mathematics, vol. 3 (T.L. Saaty, ed.) New-York, 1965, pp. 95–195.
— Functions, ordinals, species, in Logic, Methodology and Philosophy of Science III (B. van Rootselaar and J.F. Staal, eds.) Amsterdam 1968, pp. 145–159.
— Church's thesis: a kind of reducibility axiom for constructive mathematics, Buffalo Conference, 1968, to appear.
LÄUCHLI, H. An abstract notion of realizability for which intuitionistic predicate calculus is complete, Buffalo Conference, 1968, to appear.
LAWVERE, F.W. Category-valued higher-order logic, UCLA Set Theory Institute, 1967, to appear.
MYHILL, J. Notes towards a formalization of intuitionistic analysis, Logique et Analyse, vol. 35, 1967, pp. 280–297.
— Formal systems of intuitionistic analysis I, in Logic Methodology and Philosophy of Science III (B. van Rootselaar, J.F. Staal, eds.) Amsterdam, 1968, pp. 161–178.
TAIT, W.W. Constructive reasoning, in Logic, Methodology, and Philosophy of Science III (B. van Rootselaar, J.F. Staal, eds.) Amsterdam, 1968, pp. 185–199.
TROELSTRA, A.S. The theory of choice sequences, in Logic, Methodology and Philosophy of Science III (B. van Rootselaar, J.F. Staal, eds.) Amsterdam, 1968, pp. 201–223.
— Principles of intuitionism, Lecture Notes in Mathematics vol. 95 Springer Verlag 1969.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1970 Springer-Verlag
About this paper
Cite this paper
Scott, D. (1970). Constructive validity. In: Laudet, M., Lacombe, D., Nolin, L., Schützenberger, M. (eds) Symposium on Automatic Demonstration. Lecture Notes in Mathematics, vol 125. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0060636
Download citation
DOI: https://doi.org/10.1007/BFb0060636
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-04914-2
Online ISBN: 978-3-540-36262-3
eBook Packages: Springer Book Archive
