scientific article; zbMATH DE number 2047280

MaRDI QIDQ4451468zbMATH OpenFDO

Authors Mirjana Borisavljević

Publication date 26 February 2004

zbMATH Keywords

cut-eliminationintuitionistic predicate logic

Mathematics Subject Classification ID

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

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

Cited in

(5)

• A cut-elimination proof in intuitionistic predicate logic
• Two measures for proving Gentzen's Hauptsatz without mix
• On permuting cut with contraction
• Cut elimination in sequent calculi with implicit contraction, with a conjecture on the origin of Gentzen's altitude line construction
• 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)