scientific article; zbMATH DE number 966897

zbMATH Open0861.03013MaRDI QIDQ5690149FDOQ5690149

Heinrich Wansing

Publication date: 12 May 1997

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

Recommendations

• Strong cut-elimination in sequent calculus using Klop's ι-translation and perpetual reductions
• scientific article; zbMATH DE number 1302675
• Publication:2778837

zbMATH Keywords

display logicstrong cut-elimination

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Cited In (1)

• Cut for core logic

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