Report - 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