| http://www.w3.org/ns/prov#value | - On the other hand, properties such as analyticity and deducibility are ???formal??? in that they are features of sets of propositions defined by a fixed vocabulary; they come to the fore through the application of a substitution method that consists in arbitrarily ???varying??? determinate components in a proposition so as derive different types of semantic regularities.
|
