scientific article; zbMATH DE number 7178366

zbMATH Open1431.03074MaRDI QIDQ5219931

Alexander Leitsch

Publication date: 9 March 2020

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (4)

The problem of \(\Pi_{2}\)-cut-introduction ⋮ Title not available (Why is that?) ⋮ PROOF MINING IN L^p SPACES ⋮ Unwinding a Non-effective Cut Elimination Proof

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• On the complexity of cutting-plane proofs 👍 👎
• On the complexity of cutting-plane proofs using split cuts 👍 👎
• Upper bound on the lengthening of proofs by cut elimination 👍 👎
• Proof mining in \(L_{1}\)-approximation 👍 👎
• Structure of proofs and the complexity of cut elimination 👍 👎
• Cut-Elimination and Proof Schemata 👍 👎
• Revisiting Cut-Elimination: One Difficult Proof Is Really a Proof 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5219931)