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

zbMATH Open1119.03331MaRDI QIDQ3433181FDOQ3433181

Authors: A. P. Pyn'ko 

Publication date: 27 April 2007

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

zbMATH Keywords

linear intermediate logic

Mathematics Subject Classification ID

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

Cited In (6)

• From the subformula property to cut-admissibility in propositional sequent calculi
• A cut-free Gentzen-type system for the logic of the weak law of excluded middle
• A Cut‐Free Calculus For Dummett's LC Quantified
• Title not available (Why is that?)
• \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs
• 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)