Search results
From LLWiki
- 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 of30 KB (4,776 words) - 14:46, 28 October 2013
- ...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 stu22 KB (3,435 words) - 21:17, 28 October 2013