2 problems

Matching

The vertical non-uniqueness conjecture for special cases
Special-case vertical non-uniqueness conjecture. Special cases are not vertically unique.
openproof-theory sequent-calculi substructural-logic
04
The vertical non-uniqueness conjecture for PC connectives outside PU
Vertical non-uniqueness conjecture. For every connective $\texttt{\#}$ , if $\texttt{\#}\in\texttt{PC}$ but $\texttt{\#}\notin\texttt{PU}$ , then $\texttt{\#}$ is not vertically inte…
openproof-theory sequent-calculi substructural-logic
05

The vertical non-uniqueness conjecture for special cases