Translations from natural deduction to sequent calculus
From MaRDI portal
Publication:4434498
DOI10.1002/malq.200310047zbMath1040.03042MaRDI QIDQ4434498
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
03F05: Cut-elimination and normal-form theorems
03F03: Proof theory in general (including proof-theoretic semantics)
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
AN ANALYSIS OF THE RULES OF GENTZEN’SNJANDLJ, Prawitz, Proofs, and Meaning, ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS, The elimination of maximum cuts in linear logic and BCK logic, Maximum segments as natural deduction images of some cuts, Natural deduction bottom up, A SEQUENT CALCULUS ISOMORPHIC TO GENTZEN’S NATURAL DEDUCTION