IRI
http://www.metaontology.pl/metaontology_populated.owl#abstract_2727
| Label | Language | Type |
|---|---|---|
| abstract of On Constructive Functions Ranging Over Propositions | en | rdfs:label |
Annotations
-
has text
-
It is shown that there is no constructive extensional truth-value mapping from the speciesP of all propositions into known constructive structures P.
-