On Inversion Principles
From MaRDI portal
Publication:3518563
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
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
This page was built for publication: On Inversion Principles