Sequent calculus in natural deduction style

DOI10.2307/2694976zbMath0994.03049OpenAlexW2165614850MaRDI QIDQ4328835

Jan von Plato, Sara Negri

Publication date: 29 April 2002

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2694976

zbMATH Keywords

contractioncut eliminationsequent calculusnatural deductionweakening

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07)

Related Items (9)

An Alternative Natural Deduction for the Intuitionistic Propositional Logic ⋮ Combinatorial analysis of proofs in projective and affine geometry ⋮ Harmony in multiple-conclusion natural-deduction ⋮ Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs ⋮ 2004 Summer Meeting of the Association for Symbolic Logic ⋮ Proof theory of Nelson's paraconsistent logic: a uniform perspective ⋮ Natural deduction systems for Nelson's paraconsistent logic and its neighbors ⋮ Maximum segments as natural deduction images of some cuts ⋮ Varieties of linear calculi

Cites Work

• Unnamed Item
• Unnamed Item
• A natural extension of natural deduction
• The consistency of arithmetics
• A proof of Gentzen's \textit{Hauptsatz} without multicut

This page was built for publication: Sequent calculus in natural deduction style