He explicitly considers his work as a contribution to the logicality debate and not to any conception of proof-theoretic semantics.
To this conception of proofs as objects, linear logic adds the computation-driven intuition that each occurrence of the same formula in a proof must be taken as a distinct resource for the inference process.
Of particular importance is its functional view of implication, according to which a proof of A → B is a constructive function which, when applied to a proof of A yields a proof of B. This functional perspective underlies many conceptions of proof-theoretic semantics, in particular those of Lorenzen, Prawitz and Martin Löf (see sections 2.1.1, 2.2.2, 2.2.3).
And the deduction theorem can be viewed as the means of establishing a rule: Having shown that B can be deduced from A justifies the rule that from A we may pass over to B. A rule-based semantics of implication along such lines underlies several conceptions of proof-theoretic semantics, notably those by Lorenzen, von Kutschera and Schroeder-Heister.
Nor is it regarded as proving a conclusion; the Mohists develop no conception of deductive proof.
Every element of "17 Days" is an immaculate conception, perfect proof of the power of art, a genuine testament to the notion of individual genius.
There is a deeper problem with the probabilistic conception of the standard of proof.
Proponents of the mathematical conception of the standard of proof have stood their ground even while acknowledging that weight has a role to play in the Bayesian analysis of probative value and the sufficiency of evidence.
Realizing this conception in a formal system of proof amounts, as in Shin 1994, to specifying the syntax and semantics of diagrams.
Conversely, the state of evidence adduced in a case might establish a sufficient degree of probability high enough to cross the supposed threshold of proof on the mathematical conception of the standard of proof and yet lack adequate weight.
