Ordinarily, inference rules in natural deduction are written using a horizontal line, with the known, true, assumed or proven things written above the line and the inferred things written below the line. Here I’ve taken the artistic liberty to use diagonal lines instead of horizontal ones, and so tried to represent the introduction rules for the four binary operators of Linear Logic. In order to fit additive disjunction “plus” into this schema, I’ve broken the inference rule diagonal and written the duplicate inferred introduction below only once. I’m sure no self-respecting logician would do such a thing.

Further Reading:

https://en.wikipedia.org/wiki/Linear_logic

https://plato.stanford.edu/entries/logic-linear/

https://en.wikipedia.org/wiki/Natural_deduction

https://equivalentexchange.blog/2012/04/17/the-four-binary-operators-of-linear-logic/

https://equivalentexchange.blog/2011/03/09/j-y-girards-linear-logic/

[*11.60]

<>