On Inversion Principles

DOI10.1080/01445340701830334zbMath1147.03001OpenAlexW2067842890WikidataQ58343466 ScholiaQ58343466MaRDI QIDQ3518563

Enrico Moriconi, Laura Tesconi

Publication date: 8 August 2008

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445340701830334

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Cut-elimination and normal-form theorems (03F05) History of mathematical logic and foundations (03-03)

Related Items (17)

HARMONISING HARMONY ⋮ General-elimination harmony and the meaning of the logical constants ⋮ Semantics and proof-theory of depth bounded Boolean logics ⋮ Proof-theoretic pluralism ⋮ Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules ⋮ Bilateral Rules as Complex Rules ⋮ Proof-theoretic harmony: towards an intensional account ⋮ On harmony and permuting conversions ⋮ General-elimination stability ⋮ Harmony in multiple-conclusion natural-deduction ⋮ HARMONIC INFERENTIALISM AND THE LOGIC OF IDENTITY ⋮ Inversion Principles and Introduction Rules ⋮ Meaning in Use ⋮ Classical harmony and separability ⋮ INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES ⋮ Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus ⋮ Steps towards a proof-theoretical semantics

Cites Work

• Harmony and autonomy in classical logic
• Untersuchungen über das logische Schliessen. I
• Varieties of linear calculi
• Generalized definitional reflection and the inversion principle
• Konstruktive Begründung der Mathematik
• A natural extension of natural deduction
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On Inversion Principles