New at #SEP: Linear Logic https://plato.stanford.edu/entries/logic-linear/