Extended Natural Deduction Images of Conversions from the System of Sequents
From MaRDI portal
Publication:4659951
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
(15)- Revisiting Zucker's work on the correspondence between cut-elimination and normalisation
- Translations from natural deduction to sequent calculus
- AN ANALYSIS OF THE RULES OF GENTZEN’SNJANDLJ
- The normalization theorem for extended natural deduction
- From Gentzen to Jaśkowski and back: algorithmic translation of derivations between the two main systems of natural deduction
- Normal derivations and sequent derivations
- Commuting conversions vs. the standard conversions of the ``good connectives
- Decomposition of reduction
- Gentzenizing Schroeder-Heister's natural extension of natural deduction
- Reduction in first-order logic compared with reduction in implicational logic
- Existential instantiation and normalization in sequent natural deduction
- Sequent images of normal derivations and natural deduction images of derivations without m-cuts
- Two normalizations for naturald deductions in sequent style
- Cut elimination, substitution and normalisation
- A connection between cut elimination and normalization
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)
