General-elimination harmony and higher-level rules
DOI10.1007/978-3-319-11041-7_13zbMATH Open1429.03203OpenAlexW71761585MaRDI QIDQ5213616FDOQ5213616
Publication date: 4 February 2020
Published in: Dag Prawitz on Proofs and Meaning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-11041-7_13
Recommendations
harmonyDummettintuitionistic logicnegationreductionflatteningclassical logicPrawitzGentzenlocal completenesshigher-level rules`tonk'generalized-elimination rules
Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20) Structure of proofs (03F07)
Cites Work
- Structural proof theory. With an appendix by Aarne Ranta
- Title not available (Why is that?)
- On the idea of a general proof theory
- Harmony and autonomy in classical logic
- Meaning approached via proofs
- Title not available (Why is that?)
- Title not available (Why is that?)
- A note on harmony
- Title not available (Why is that?)
- General-elimination harmony and the meaning of the logical constants
- A modal analysis of staged computation
- Title not available (Why is that?)
- Title not available (Why is that?)
- Validity concepts in proof-theoretic semantics
- A natural extension of natural deduction
- Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
- Generalized definitional reflection and the inversion principle
- Title not available (Why is that?)
- Title not available (Why is that?)
- Inferentialism and the categoricity problem: reply to Raatikainen
- Inferentialism, Logicism, Harmony, and a Counterpoint
Cited In (11)
- TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS
- Prawitz, Proofs, and Meaning
- Subatomic natural deduction for a naturalistic first-order language with non-primitive identity
- Classical harmony: Rules of inference and the meaning of the logical constants
- Proof-theoretic harmony: towards an intensional account
- Peano's Counterexample to Harmony
- The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
- Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
- On harmony and permuting conversions
- Harmony in Proof-Theoretic Semantics: A Reductive Analysis
- General-elimination stability
Uses Software
This page was built for publication: General-elimination harmony and higher-level rules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5213616)
