|
|||||
|
|
On constructive functions ranging over propositions |
|
| Authors: | H. Luckhardt |
| Affiliation: | (1) J. W. Goethe-Universität, Frankfurt a. M. |
| Abstract: | It is shown that there is no constructive extensional truth-value mapping from the speciesP of all propositions into known constructive structures  P.I thank W. Friedrich for discussion and a referee for remarks on this paper. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |