scientific article; zbMATH DE number 1302675

MaRDI QIDQ4249227zbMATH OpenFDO

Authors Elias Tahhan-Bittar

Publication date 8 October 2000

Full work available at URL https://eudml.org/doc/208921

zbMATH Keywords

cut eliminationstrong normalizationterm rewriting systems

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Recommendations

• Strong normalisation of cut-elimination in classical logic
• Strong cut-elimination in sequent calculus using Klop's ι-translation and perpetual reductions
• scientific article; zbMATH DE number 1722668
• scientific article; zbMATH DE number 874672

Cited in

(7)

• Some general results about proof normalization
• Gentzen's second consistency proof and strong cut-elimination
• scientific article; zbMATH DE number 1722668 (Why is no real title available?)
• Lexicographic Path Induction
• Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus
• A short proof of the strong normalization of classical natural deduction with disjunction
• scientific article; zbMATH DE number 966897 (Why is no real title available?)

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