Natural deduction with general elimination rules
From MaRDI portal
Recommendations
Cited in
(60)- The normalization theorem for extended natural deduction
- Inversion principles and introduction rules
- Meaning in use
- scientific article; zbMATH DE number 874672 (Why is no real title available?)
- Sequent calculus in natural deduction style
- Gentzen's proof systems: byproducts in a work of genius
- Natural deduction bottom up
- A survey of nonstandard sequent calculi
- Translations from natural deduction to sequent calculus
- Bilateral relevant logic
- On sequence-conclusion natural deduction systems
- On structural inference rules for Gentzen-style natural deduction. I
- Normal derivability in classical natural deduction
- Normalisation and subformula property for a system of classical logic with Tarski's rule
- Strong normalization of classical natural deduction with disjunctions
- Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective)
- On flattening elimination rules
- A note on harmony
- Existential instantiation and normalization in sequent natural deduction
- General-elimination harmony and the meaning of the logical constants
- A new connective in natural deduction, and its application to quantum computing
- Normal derivations and sequent derivations
- On the unity of duality
- Harmony in multiple-conclusion natural-deduction
- INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES
- Deriving natural deduction rules from truth tables
- On the notion of canonical derivations from open assumptions and its role in proof-theoretic semantics
- In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs
- Varieties of linear calculi
- Does the implication elimination rule need a minor premise?
- Focusing in Linear Meta-logic
- Semantic values for natural deduction derivations
- A Sequent Systems without Improper Derivations
- A cut-like inference in a framework of explicit composition for various calculi of natural deduction
- The \(\lambda \)-calculus and the unity of structural proof theory
- Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization
- Normal proofs, cut free derivations and structural rules
- Prawitz, Proofs, and Meaning
- The polarized \(\lambda\)-calculus
- On harmony and permuting conversions
- The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
- AN ANALYSIS OF THE RULES OF GENTZEN’SNJANDLJ
- Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications
- A sequent calculus isomorphic to Gentzen's natural deduction
- Bilateralism in proof-theoretic semantics
- A logic inspired by natural language: quantifiers as subnectors
- Type checking and typability in domain-free lambda calculi
- From Gentzen to Jaśkowski and back: algorithmic translation of derivations between the two main systems of natural deduction
- Proof Terms for Generalized Natural Deduction
- Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
- Emptiness and discharge in sequent calculus and natural deduction
- Cut elimination, substitution and normalisation
- An alternative natural deduction for the intuitionistic propositional logic
- A framework for proof systems
- A faithful and quantitative notion of distant reduction for generalized applications
- Bilateral inversion principles
- Eight rules for implication elimination
- Which `intensional paradoxes' are paradoxes?
- Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules
- A faithful and quantitative notion of distant reduction for the lambda-calculus with generalized applications
This page was built for publication: Natural deduction with general elimination rules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1407508)
