Formalization of linear logic and related concepts.
https://formalizedformallogic.github.io/LinearLogic/docs
| Propositional | First-Order | Second-Order | |
|---|---|---|---|
| Linear Logic | $\mathbf{LL^0}$ | $\mathbf{LL^1}$ | - |
| Multiplicative Linear Logic | $\mathbf{MLL^0}$ | - | - |
| Multiplicative Exponential Linear Logic | $\mathbf{MELL^0}$ | - | - |
| Constructive Classical Logic | $\mathbf{LC^0}$ | - | - |
| Elementary Linear Logic | $\mathbf{ELL^0}$ | - | - |
| Variants of LK | $\mathbf{LK^0}$ | $\mathbf{LK^1}$ | $\mathbf{LK^2}$ |