Recommendations
Cites work
- scientific article; zbMATH DE number 3125691 (Why is no real title available?)
- scientific article; zbMATH DE number 3758289 (Why is no real title available?)
- scientific article; zbMATH DE number 43055 (Why is no real title available?)
- scientific article; zbMATH DE number 3630747 (Why is no real title available?)
- scientific article; zbMATH DE number 1478228 (Why is no real title available?)
- scientific article; zbMATH DE number 3895056 (Why is no real title available?)
- scientific article; zbMATH DE number 3275554 (Why is no real title available?)
- scientific article; zbMATH DE number 3358455 (Why is no real title available?)
- A natural extension of natural deduction
- A note on existential instantiation
- A note on harmony
- Connectives stranger than tonk
- Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik
- General-elimination harmony and the meaning of the logical constants
- Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
- Gentzen's Proof of Normalization for Natural Deduction
- Harmony and autonomy in classical logic
- Identity and harmony
- Inferring, splicing, and the Stoic analysis of argument
- Is Even Minimal Negation Constructive?
- Meaning approached via proofs
- Natural deduction with general elimination rules
- On Inversion Principles
- On reduction rules, meaning-as-use, and proof-theoretic semantics
- Structural proof theory. With an appendix by Aarne Ranta
- Subformula and separation properties in natural deduction via small Kripke models
- THE SUBFORMULA PROPERTY IN CLASSICAL NATURAL DEDUCTION ESTABLISHED CONSTRUCTIVELY
- The consistency of arithmetics
- Varieties of linear calculi
Cited in
(19)- Bilateral inversion principles
- Proof Terms for Generalized Natural Deduction
- Normalisation and subformula property for a system of classical logic with Tarski's rule
- Normalisation for negative free logics without and with definite descriptions
- Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules
- INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES
- Deriving natural deduction rules from truth tables
- Inferential semantic contamination, harmony and realist pollution
- A classical first-order normalization procedure with and based on the Milne-Kürbis approach
- Inverse rules of ECA with rule number 150
- Intelim rules for classical connectives
- On Inversion Principles
- Bilateral Rules as Complex Rules
- Resolving Radzki’s issues with Łukasiewicz logics’ axiomatics via correspondence analysis
- Single-assumption systems in proof-theoretic semantics
- Meaning is use: the case of propositional identity
- General-elimination stability
- When rules define logical operators: rules as second-order definitions
- Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi
This page was built for publication: Inversion principles and introduction rules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5213611)
