General-elimination harmony and the meaning of the logical constants
From MaRDI portal
Publication:600850
DOI10.1007/S10992-010-9133-7zbMATH Open1207.03015OpenAlexW2091225478MaRDI QIDQ600850FDOQ600850
Publication date: 3 November 2010
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-010-9133-7
Recommendations
Cites Work
- Structural proof theory. With an appendix by Aarne Ranta
- Harmony and autonomy in classical logic
- Title not available (Why is that?)
- Gentzen's Proof of Normalization for Natural Deduction
- Title not available (Why is that?)
- A note on harmony
- Title not available (Why is that?)
- Multiple conclusions
- Title not available (Why is that?)
- Title not available (Why is that?)
- Natural deduction with general elimination rules
- A natural extension of natural deduction
- On Inversion Principles
Cited In (41)
- Proof-theoretic semantics, a problem with negation and prospects for modality
- Title not available (Why is that?)
- TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS
- Steps towards a proof-theoretical semantics
- BILATERAL RELEVANT LOGIC
- Prawitz, Proofs, and Meaning
- HARMONIC INFERENTIALISM AND THE LOGIC OF IDENTITY
- Proof-theoretic harmony: towards an intensional account
- Peano's Counterexample to Harmony
- Dialogues, Reasons and Endorsement
- Harmony and autonomy in classical logic
- The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
- Harmony in multiple-conclusion natural-deduction
- Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs
- Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
- PURE LOGIC OF ITERATED FULL GROUND
- HARMONIOUS RULES FOR IDENTITY
- Eight rules for implication elimination
- Paradoxes, intuitionism, and proof-theoretic semantics
- Is there a neutral metalanguage?
- HARMONISING HARMONY
- (Meta)inferential levels of entailment beyond the Tarskian paradigm
- Proof, meaning and paradox: some remarks
- ON FLATTENING ELIMINATION RULES
- Hopeful monsters: a note on multiple conclusions
- A new connective in natural deduction, and its application to quantum computing
- A new connective in natural deduction, and its application to quantum computing
- Introducing identity
- Definite Descriptions in Intuitionist Positive Free Logic
- Reading conclusions conjunctively
- A quick overview on the quantum control approach to the lambda calculus
- General-Elimination Harmony and Higher-Level Rules
- ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS
- Anything goes
- On harmony and permuting conversions
- Harmony in Proof-Theoretic Semantics: A Reductive Analysis
- Inversion Principles and Introduction Rules
- General-elimination stability
- Paradox and Inconsistency: Revising Tennant’s Distinction Through Schroeder-Heister’s Assumption Rules
- WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS
- Bilateral inversion principles
Uses Software
This page was built for publication: General-elimination harmony and the meaning of the logical constants
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q600850)
