Assertion: linear logic | /r/CapableOf | add computation-driven intuition
Facets:
Source sentences:
text: 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.