Extended Natural Deduction Images of Conversions from the System of Sequents
From MaRDI portal
Recommendations
- On sequence-conclusion natural deduction systems
- Translations from natural deduction to sequent calculus
- scientific article; zbMATH DE number 1980937
- Yet another bijection between sequent calculus and natural deduction
- scientific article; zbMATH DE number 1778907
- A sequent calculus isomorphic to Gentzen's natural deduction
- Sequent calculus in natural deduction style
- A logic program for transforming sequent proofs to natural deduction proofs
- scientific article; zbMATH DE number 1405618
- Natural deduction and sequent calculus for intuitionistic relevant logic
Cited in
(16)- Normal derivations and sequent derivations
- Commuting conversions vs. the standard conversions of the ``good connectives
- Existential instantiation and normalization in sequent natural deduction
- Reduction in first-order logic compared with reduction in implicational logic
- scientific article; zbMATH DE number 1302506 (Why is no real title available?)
- Translations from natural deduction to sequent calculus
- AN ANALYSIS OF THE RULES OF GENTZEN’SNJANDLJ
- From Gentzen to Jaśkowski and back: algorithmic translation of derivations between the two main systems of natural deduction
- The normalization theorem for extended natural deduction
- Cut elimination, substitution and normalisation
- Revisiting Zucker's work on the correspondence between cut-elimination and normalisation
- Decomposition of reduction
- Two normalizations for naturald deductions in sequent style
- Sequent images of normal derivations and natural deduction images of derivations without m-cuts
- A connection between cut elimination and normalization
- Gentzenizing Schroeder-Heister's natural extension of natural deduction
This page was built for publication: Extended Natural Deduction Images of Conversions from the System of Sequents
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4659951)
