A note on sequent calculi intermediate between LJ and LK

DOI10.1007/BF00370289zbMath0664.03020OpenAlexW2003794604MaRDI QIDQ1115420

Branislav R. Boričić

Publication date: 1988

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

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

zbMATH Keywords

separabilitycut-free class of sequent derivationscut-free Gentzen-type formulationdecidable intermediate logicnormalizable natural deduction formulationssubsystems of Gentzen's sequent calculus LK

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Algebra of proofs
• On sequence-conclusion natural deduction systems
• A cut-free Gentzen-type system for the logic of the weak law of excluded middle
• A second paper “On the interpolation theorem for the logic of constant domains”
• On the interpolation theorem for the logic of constant domains
• On logics intermediate between intuitionistic and classical predicate logic
• On intermediate propositional logics
• Eine Darstellung der Intuitionistischen Logik in der Klassischen
• Über die Zwischensysteme der Aussagenlogik