| http://www.w3.org/ns/prov#value | - In Bernard Bolzano???s theory of mathematical knowledge, properties such as analyticity and logical consequence are defined on the basis of a substitutional procedure that comes with a conception of logical form that prefigured contemporary treatments such as those of Quine and Tarski.
|
