In Linear Logic, Contexts are finite trees have additive and multiplicative operations , and ; to build this tree.
- ; - additive
- , - multiplicative
This has two logics going on at the same time, with the only difference being that Contractibility and weakening are only present for the additive operations.