Peano's Counterexample to Harmony

DOI10.1111/THEO.12217zbMATH Open1452.03008OpenAlexW2997475504WikidataQ124822469 ScholiaQ124822469MaRDI QIDQ3305303

Leonardo Ceragioli

Publication date: 6 August 2020

Published in: Theoria (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1111/theo.12217

zbMATH Keywords

harmonystabilityarithmeticcounterexampleconjectureconservative extensionPeano

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Proof-theoretic semantics, a problem with negation and prospects for modality 👍 👎
• A note on harmony 👍 👎
• General-elimination harmony and the meaning of the logical constants 👍 👎
• Harmonising natural deduction 👍 👎
• The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony 👍 👎
• Proof-theoretic harmony: towards an intensional account 👍 👎
• Relevant harmony 👍 👎
• HARMONISING HARMONY 👍 👎
• General-Elimination Harmony and Higher-Level Rules 👍 👎
• Explicit Composition and Its Application in Proofs of Normalization 👍 👎

This page was built for publication: Peano's Counterexample to Harmony

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3305303)