Inversion principles and introduction rules

DOI10.1007/978-3-319-11041-7_8zbMATH Open1429.03202OpenAlexW2117477628MaRDI QIDQ5213611FDOQ5213611

Authors: Peter Milne 

Publication date: 4 February 2020

Published in: Dag Prawitz on Proofs and Meaning (Search for Journal in Brave)

Full work available at URL: http://www.springer.com/us/book/9783319110400

Recommendations

• On Inversion Principles
• Generalized definitional reflection and the inversion principle
• INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES
• Intelim rules for classical connectives
• Inferring, splicing, and the Stoic analysis of argument

zbMATH Keywords

sequent calculuselimination rulesintroduction rulesinversion principlegeneral elimination rules

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Structure of proofs (03F07)

Cites Work

• Structural proof theory. With an appendix by Aarne Ranta
• Harmony and autonomy in classical logic
• Meaning approached via proofs
• Gentzen's Proof of Normalization for Natural Deduction
• Title not available (Why is that?)
• Title not available (Why is that?)
• A note on harmony
• Title not available (Why is that?)
• Title not available (Why is that?)
• The consistency of arithmetics
• General-elimination harmony and the meaning of the logical constants
• Natural deduction with general elimination rules
• Title not available (Why is that?)
• Title not available (Why is that?)
• A natural extension of natural deduction
• Title not available (Why is that?)
• Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
• On Inversion Principles
• Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik
• Connectives stranger than tonk
• Identity and harmony
• On reduction rules, meaning-as-use, and proof-theoretic semantics
• Subformula and separation properties in natural deduction via small Kripke models
• Varieties of linear calculi
• Title not available (Why is that?)
• Is Even Minimal Negation Constructive?
• Inferring, splicing, and the Stoic analysis of argument
• THE SUBFORMULA PROPERTY IN CLASSICAL NATURAL DEDUCTION ESTABLISHED CONSTRUCTIVELY
• A note on existential instantiation

Cited In (13)

• Proof Terms for Generalized Natural Deduction
• Normalisation and subformula property for a system of classical logic with Tarski's rule
• 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
• Intelim rules for classical connectives
• Inverse rules of ECA with rule number 150
• Bilateral Rules as Complex Rules
• On Inversion Principles
• Single-assumption systems in proof-theoretic semantics
• Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi
• General-elimination stability
• Bilateral inversion principles

Uses Software

• Pesca

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)