scientific article; zbMATH DE number 2047280

zbMATH Open1033.03033MaRDI QIDQ4451468FDOQ4451468

Authors: Mirjana Borisavljević 

Publication date: 26 February 2004

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

Recommendations

• A cut-elimination proof in intuitionistic predicate logic
• Bounds for cut elimination in intuitionistic propositional logic
• On permuting cut with contraction
• A proof of Gentzen's \textit{Hauptsatz} without multicut
• Two measures for proving Gentzen's Hauptsatz without mix

zbMATH Keywords

cut-eliminationintuitionistic predicate logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07)

Cited In (4)

• Two measures for proving Gentzen's Hauptsatz without mix
• Cut elimination in sequent calculi with implicit contraction, with a conjecture on the origin of Gentzen's altitude line construction
• On permuting cut with contraction
• A proof of Gentzen's \textit{Hauptsatz} without multicut

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 Q4451468)