Linear conjunctions and disjunctions

Published: Oct. 29, 2021, 3 a.m.

b'

I explain the basic idea of multiplicative versus additive proof rules, and consider multiplicative conjunction (tensor), addition conjunction (&, "with"), additive disjunction -- but leaving multiplicative disjunction (par) for next time!

'