A note on sequent calculi intermediate between LJ and LK

DOI10.1007/BF00370289zbMATH Open0664.03020OpenAlexW2003794604MaRDI QIDQ1115420FDOQ1115420

Authors: Branislav 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

Recommendations

• On certain normalizable natural deduction formulations of some propositional intermediate logics
• Proof analysis in intermediate logics
• Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics
• scientific article; zbMATH DE number 3853043
• MULTIPLE FORMS OF GENTZEN'S RULES AND SOME INTERMEDIATE LOGICS

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

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

Cited In (10)

• A cut-free Gentzen-type system for the logic of the weak law of excluded middle
• On certain normalizable natural deduction formulations of some propositional intermediate logics
• Vetoing: social, logical and mathematical aspects
• MULTIPLE FORMS OF GENTZEN'S RULES AND SOME INTERMEDIATE LOGICS
• Some conservative extension results on classical and intuitionistic sequent calculi
• Title not available (Why is that?)
• On sequence-conclusion natural deduction systems
• Sequent calculus for the intersection of LK and the reversed
• Title not available (Why is that?)
• Subformula and separation properties in natural deduction via small Kripke models

This page was built for publication: A note on sequent calculi intermediate between LJ and LK

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