Derivation Relation

We call the relation $\vdash \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