Relates Proof Theoretic Semantics.
See http://www0.cs.ucl.ac.uk/staff/D.Pym/MGS_2025_2.pdf
Generalize IMLL
For IMLL (Intuinistic Multiplicative Linear Logic)
Given as set of atoms and and set of resources ,
\Gamma \Vdash^S_\mathcal{B} \phi $$ means that under the assumptions $\Gamma$ , the resources $S$, provides formula $\phi$ to hold where only atoms in $\mathcal{B}$ . ## See also [[Bunched Implication]]