Abstract
It is shown that there is no constructive extensional truth-value mapping from the speciesP of all propositions into known constructive structures ≠ P.
Similar content being viewed by others
References
D. van Dalen,The use of Kripke's schema as a reduction principle,The Journal of Symbolic Logic 42 (1977), pp. 238–240.
W. Friedrich, andH. Luckhardt,Intuitionistic uniformity principles for propositions and some applications, in this journal, pp. 361–369.
A.S. Troelstra,Principles of Intuitionism, Springer Lecture Note 95 (1969).
Author information
Authors and Affiliations
Additional information
I thank W. Friedrich for discussion and a referee for remarks on this paper.
Rights and permissions
About this article
Cite this article
Luckhardt, H. On constructive functions ranging over propositions. Stud Logica 39, 371–374 (1980). https://doi.org/10.1007/BF00713547
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00713547