Eight rules for implication elimination
From MaRDI portal
Cites work
- A natural extension of natural deduction
- A note on how to extend Gentzen's second consistency proof to a proof of normalization for first order arithmetic
- Analytic cut
- Axiomensysteme für beliebige Satzsysteme. I. Teil. Sätze ersten Grades. (Über die Axiomensysteme von der kleinsten Satzzahl und den Begriff des idealen Elementes.)
- Completing Herbelin’s Programme
- Eight inference rules for implication
- Explicit substitutions
- General-elimination harmony and the meaning of the logical constants
- Gentzen's proof systems: byproducts in a work of genius
- Gentzenizing Schroeder-Heister's natural extension of natural deduction
- scientific article; zbMATH DE number 42059 (Why is no real title available?)
- scientific article; zbMATH DE number 3630747 (Why is no real title available?)
- scientific article; zbMATH DE number 949290 (Why is no real title available?)
- scientific article; zbMATH DE number 3275554 (Why is no real title available?)
- Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus
- Logic and structure
- Natural deduction with general elimination rules
- Normal proofs, cut free derivations and structural rules
- Structural proof theory. With an appendix by Aarne Ranta
- Substructural Logics in Natural Deduction
- Translations from natural deduction to sequent calculus
- Über Axiomensysteme für beliebige Satzsysteme.
- Über Axiomensysteme für beliebige Satzsysteme. Teil II. Sätze höheren Grades.
- Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen.
- Ultimate Normal Forms for Parallelized Natural Deductions
- Untersuchungen über das logische Schliessen. II
This page was built for publication: Eight rules for implication elimination
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6612871)
