5 problems

Linearization generality conjecture. This technique should be usable in other settings to extract linear nested sequent systems from tree sequent or nested sequent systems.

Focused calculus conjecture. The equations expressing the skew multicategory laws for $\mathsf{scut}$, $\mathsf{ccut}$, $\mathsf{ax}$ and $\mathsf{pass}$ can then be avoided in thi…

Let $\textsf{ILC}_\mu$ denote the relevant unity-of-logic calculus, and let the dual calculus have call-by-name and call-by-value substructural calculi. Correspondence conjecture.…

Sequent calculi conjecture. It should be possible to give perhaps labelled sequent calculi for ERL and $\mathrm{ERL}^*$ that provide a similar operational reading of evolution to t…

Regularity conjecture. Regularity is a sufficient condition for a logic to enjoy the subformula property.