scientific article; zbMATH DE number 5001188

MaRDI QIDQ3367500zbMATH OpenFDO

Authors Marcel Crabbé

Publication date 24 January 2006

zbMATH Keywords

cut eliminationextensionalitysequent calculus for a set-theoretic system

Mathematics Subject Classification ID

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

Cited in

(2)

• Don't eliminate cut
• Two extensions of the structurally free logic LC

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