The four binary operators for Linear Logic can be described by their logical sequents, or inference rules (shown above in the table). Note that in the rules for the operators, the operator appears …