Report copyright - On the meaning of logical rules II : multiplicatives and additivesOn the meaning of logical rules II 3 1.1 Synthetic connectives Take a formula, say positive ; then we can decompose
Please pass captcha verification before submit form