A cut-free Gentzen-type system for the logic of the weak law of excluded middle

DOI10.1007/BF01881548zbMath0639.03023OpenAlexW2055279698MaRDI QIDQ1100191

Branislav R. Boričić

Publication date: 1986

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01881548

zbMATH Keywords

cut eliminationsequent calculusproof theoryinterpolation theoremintermediate logicGentzen-type systemweak law of excluded middle

Mathematics Subject Classification ID

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

Related Items (2)

Gentzen-type formulation of the propositional logic LQ ⋮ A note on sequent calculi intermediate between LJ and LK

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• An interpolation theorem in the predicate calculus
• Algebra of proofs
• Period, index and potential \(\text Ш\)
• Interpolation properties of superintuitionistic logics
• Semantical investigations in Heyting's intuitionistic logic
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• On the interpolation theorem for the logic of constant domains
• On logics intermediate between intuitionistic and classical predicate logic
• THE CALCULUS OF THE WEAK "LAW OF EXCLUDED MIDDLE"
• An extension of the Craig-Lyndon interpolation theorem
• Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable
• On intermediate propositional logics

This page was built for publication: A cut-free Gentzen-type system for the logic of the weak law of excluded middle