1 problem

0 votes0 replies0 views
Separation conjecture for core and non-core rules in the calculus of structures
Separation conjecture. For every derivation $T\vdash_{\mathsf{SKS}}R$ , there is a derivation of the form
Conjectureopencalculus-of-structures classical-logic proof-theoryarXiv posted 2 days ago

Separation conjecture for core and non-core rules in the calculus of structures