A cut-free Gentzen calculus with subformula property for first-degree entailments in LC

MaRDI QIDQ3433181zbMATH OpenFDO

Authors A. P. Pyn'ko

Publication date 27 April 2007

zbMATH Keywords

linear intermediate logic

Mathematics Subject Classification ID

Intermediate logics (03B55) Cut-elimination and normal-form theorems (03F05)

Recommendations

• scientific article; zbMATH DE number 2118592
• A Cut‐Free Calculus For Dummett's LC Quantified
• Gentzen's cut-free calculus versus the logic of paradox
• \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs
• Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics

Cited in

(6)

• A cut-free Gentzen-type system for the logic of the weak law of excluded middle
• \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs
• A Cut‐Free Calculus For Dummett's LC Quantified
• From the subformula property to cut-admissibility in propositional sequent calculi
• scientific article; zbMATH DE number 2118592 (Why is no real title available?)
• Gentzen's cut-free calculus versus the logic of paradox

This page was built for publication: A cut-free Gentzen calculus with subformula property for first-degree entailments in \(\mathbf{LC}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3433181)