Sequent calculus in natural deduction style

DOI10.2307/2694976MaRDI QIDQ4328835zbMATH OpenOpenAlexFDO

Authors Sara Negri, Jan von Plato

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

contractionnatural deductioncut eliminationsequent calculusweakening

Mathematics Subject Classification ID

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

Recommendations

• Natural deduction with general elimination rules
• A natural deduction and its corresponding sequent calculus for positive contraction-less relevant logic
• Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi
• Translations from natural deduction to sequent calculus
• Cut-elimination and a permutation-free sequent calculus for intuitionistic logic

Cites work

• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3348059 (Why is no real title available?)
• A natural extension of natural deduction
• A proof of Gentzen's \textit{Hauptsatz} without multicut
• The consistency of arithmetics

Cited in

(29)

• Combinatorial analysis of proofs in projective and affine geometry
• Rewriting Techniques and Applications
• Sequent calculi and bidirectional natural deduction: on the proper basis of proof-theoretic semantics
• scientific article; zbMATH DE number 2051680 (Why is no real title available?)
• A Sequent Systems without Improper Derivations
• Natural deduction systems for Nelson's paraconsistent logic and its neighbors
• scientific article; zbMATH DE number 1980937 (Why is no real title available?)
• Extended Natural Deduction Images of Conversions from the System of Sequents
• Variable declarations in natural deduction
• On structural inference rules for Gentzen-style natural deduction. I
• 2-Sequent Calculus: Intuitionism and Natural Deduction
• Harmony in multiple-conclusion natural-deduction
• Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs
• Natural deduction with general elimination rules
• Emptiness and discharge in sequent calculus and natural deduction
• scientific article; zbMATH DE number 874672 (Why is no real title available?)
• 2004 Summer Meeting of the Association for Symbolic Logic
• A minimal classical sequent calculus free of structural rules
• From Hilbert proofs to consecutions and back
• Varieties of linear calculi
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• Exploring Jaśkowski's discussive logic. Proof analysis and related remarks
• Unified natural deduction for logics of strong negation
• Sequent images of normal derivations and natural deduction images of derivations without m-cuts
• An alternative natural deduction for the intuitionistic propositional logic
• Lambek Calculus in Natural Deduction
• scientific article; zbMATH DE number 1086653 (Why is no real title available?)
• Maximum segments as natural deduction images of some cuts
• A cut-like inference in a framework of explicit composition for various calculi of natural deduction

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

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