Translations from natural deduction to sequent calculus

DOI10.1002/MALQ.200310047zbMath1040.03042OpenAlexW2103087496MaRDI QIDQ4434498

Jan von Plato

Publication date: 10 November 2003

Published in: MLQ (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200310047

zbMATH Keywords

sequent calculusnatural deductionintuitionistic logiccut-free derivationnormal derivation

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (8)

AN ANALYSIS OF THE RULES OF GENTZEN’SNJANDLJ ⋮ An ecumenical notion of entailment ⋮ The elimination of maximum cuts in linear logic and BCK logic ⋮ A SEQUENT CALCULUS ISOMORPHIC TO GENTZEN’S NATURAL DEDUCTION ⋮ Natural deduction bottom up ⋮ Prawitz, Proofs, and Meaning ⋮ Maximum segments as natural deduction images of some cuts ⋮ ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS

This page was built for publication: Translations from natural deduction to sequent calculus