scientific article; zbMATH DE number 2118592

MaRDI QIDQ4828042zbMATH OpenFDO

Authors A. P. Pyn'ko

Publication date 24 November 2004

zbMATH Keywords

classical propositional logicGentzen calculusDummett superintuitionistic propositional logic

Mathematics Subject Classification ID

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

Recommendations

• A cut-free Gentzen calculus with subformula property for first-degree entailments in \(\mathbf{LC}\)
• scientific article; zbMATH DE number 1361525
• A Cut‐Free Calculus For Dummett's LC Quantified
• Terminating calculi for propositional Dummett logic with subformula property
• \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs

Cited in

(5)

• scientific article; zbMATH DE number 4039846 (Why is no real title available?)
• A Cut‐Free Calculus For Dummett's LC Quantified
• Density Elimination and Rational Completeness for First-Order Logics
• A cut-free Gentzen calculus with subformula property for first-degree entailments in \(\mathbf{LC}\)
• Gentzen calculi for the existence predicate

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