Search results

For every sequent <math>\Gamma\vdash\Delta</math>, there is a proof of <math>\Gamma\vdash\Delta</math> if and only if there is a proof of

...two proofs of <math>A</math> in ''S'', do they reduce to the same cut-free proof? Although decidable (thanks to strong normalization), this problem is not e * '''proof nets:''' the definition of proof nets, and in particular the formulation of correctness criteria and the stu