Publication:3743313
From MaRDI portal
zbMath0605.03022MaRDI QIDQ3743313
Publication date: 1985
proof theory; bounded formula; analogue of E-theorem for RBC; Collection Principle; generalization of cut elimination; sequent calculus RBC; sigma formula
03F05: Cut-elimination and normal-form theorems
Related Items