A cut-free Gentzen-type system for the logic of the weak law of excluded middle
type: Item
instance of: scholarly article
title: A cut-free Gentzen-type system for the logic of the weak law of excluded middle
zbMATH Open document ID: 0639.03023
DOI: 10.1007/BF01881548
author: Branislav Boričić
published in: Studia Logica
publication date: 1986-01-01T00:00:00Z
review text: The first order intermediate logic of the weak law of excluded middle \(\neg A\vee \neg \neg A\) is formulated in a Gentzen-type system, for which the cut elimination theorem is proved by the usual constructive method. As consequences the author gives the interpolation theorem, the decidability of the propositional part and so on.
Mathematics Subject Classification ID: 03B55
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 4041875
zbMATH Keywords: proof theory
zbMATH Keywords: sequent calculus
zbMATH Keywords: intermediate logic
zbMATH Keywords: weak law of excluded middle
zbMATH Keywords: Gentzen-type system
zbMATH Keywords: cut elimination
zbMATH Keywords: interpolation theorem
reviewed by: Osamu Sonobe
MaRDI profile type: Publication
cites work: Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable
cites work: Linear reasoning. A new form of the Herbrand-Gentzen theorem
cites work: Semantical investigations in Heyting's intuitionistic logic
cites work: An extension of the Craig-Lyndon interpolation theorem
cites work: Q5519125
cites work: THE CALCULUS OF THE WEAK "LAW OF EXCLUDED MIDDLE"
cites work: On the interpolation theorem for the logic of constant domains
cites work: An interpolation theorem in the predicate calculus
cites work: Interpolation properties of superintuitionistic logics
cites work: Period, index and potential \(\text Ш\)
cites work: Q5610986
cites work: Algebra of proofs
cites work: On intermediate propositional logics
cites work: On logics intermediate between intuitionistic and classical predicate logic
cites work: Q3852158
full work available at URL: https://doi.org/10.1007/bf01881548
OpenAlex ID: W2055279698
description: scientific article; zbMATH DE number 4041875