Natural deduction with general elimination rules
From MaRDI portal
Recommendations
Cited in
(70)- Normal derivations and sequent derivations
- On sequence-conclusion natural deduction systems
- Existential instantiation and normalization in sequent natural deduction
- The polarized \(\lambda\)-calculus
- Varieties of linear calculi
- Normalisation and subformula property for a system of classical logic with Tarski's rule
- Natural deduction bottom up
- Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization
- Harmony in multiple-conclusion natural-deduction
- Normal proofs, cut free derivations and structural rules
- The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
- A survey of nonstandard sequent calculi
- Strong normalization of classical natural deduction with disjunctions
- On the unity of duality
- Semantic values for natural deduction derivations
- Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications
- On structural inference rules for Gentzen-style natural deduction. I
- Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective)
- Normal derivability in classical natural deduction
- Gentzen's proof systems: byproducts in a work of genius
- On flattening elimination rules
- Bilateral relevant logic
- An alternative natural deduction for the intuitionistic propositional logic
- A sequent calculus isomorphic to Gentzen's natural deduction
- Does the implication elimination rule need a minor premise?
- Focusing in Linear Meta-logic
- INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES
- scientific article; zbMATH DE number 1302506 (Why is no real title available?)
- Sequent calculus in natural deduction style
- Translations from natural deduction to sequent calculus
- A note on harmony
- 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
- Bilateralism in proof-theoretic semantics
- A logic inspired by natural language: quantifiers as subnectors
- scientific article; zbMATH DE number 874672 (Why is no real title available?)
- The normalization theorem for extended natural deduction
- On harmony and permuting conversions
- Prawitz, Proofs, and Meaning
- Cut elimination, substitution and normalisation
- Inversion principles and introduction rules
- Meaning in use
- A cut-like inference in a framework of explicit composition for various calculi of natural deduction
- Deriving natural deduction rules from truth tables
- 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
- 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
- A new connective in natural deduction, and its application to quantum computing
- General-elimination harmony and the meaning of the logical constants
- Proof Terms for Generalized Natural Deduction
- A Sequent Systems without Improper Derivations
- 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 generalized applications
- Type checking and typability in domain-free lambda calculi
- A faithful and quantitative notion of distant reduction for the lambda-calculus with generalized applications
- Which `intensional paradoxes' are paradoxes?
- Eight rules for implication elimination
- Bilateral inversion principles
- A classical first-order normalization procedure with and based on the Milne-Kürbis approach
- Permutability in proof terms for intuitionistic sequent calculus with cuts
- Gödel's modal interpretation of intuitionistic logic and its proof theory
- A new conjecture about identity of proofs
- Rereading Gentzen
- Exploring Jaśkowski's discussive logic. Proof analysis and related remarks
- Sequent images of normal derivations and natural deduction images of derivations without m-cuts
- A framework for proof systems
- Cut-elimination and normalization theorems for connexive logics over Wansing's C
- Mind the gap: a conciliating short proof of strong normalization for minimal propositional logic
- The \(\lambda \)-calculus and the unity of structural proof theory
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)
