Add: Implement logic system for linear logic

[gelijergensen]

And as a last extra difficult use case: linear logic offers more operators than classical propositional logic does, so it should be rather interesting to do. Also there is a fairly large number of rewrite rules to implement.

[gelijergensen]

Linear logic is more interesting if we already have a system for entailment, which we do not yet. Similarly to Intuititionistic Propositional Logic, the idea of simplifying formulas feels weird, especially since some of the time we need to weaken the formula to rewrite it