4 problems

Let $\mathsf{KS}$ be the minimal complete fragment of a standard deep inference system for propositional logic, and let $\mathsf{KS}\cup\{\mathsf{c\!\uparrow}\}$ be its extension b…

Let $\mathsf{KS}$ be the minimal complete fragment of a standard deep inference system for propositional logic, and let $\mathsf{KS}\cup\{\mathsf{c\!\uparrow}\}$ denote its extensi…

Stewart and Stouppa study deep inference rules for modal axioms, where inference rules act as term-rewriting rules on formulas and derivations are reduction sequences. Stewart–Stou…

Exponential-growth conjecture. In any analytic bounded-depth CoS proof system, the tautologies in $\mathsf{DT}$ only have proofs that grow exponentially in their size.