Derivation Relation

We call the relation $⊢\subseteq \mathcal{P}(\mathcal{L})\times \mathcal{L}$ a derivation relation for $\mathcal{S}$ if it is

• proof reflexive
• proof transitive
• monotonic or admits weakening

todo add formulas to the above