General-elimination harmony and the meaning of the logical constants
From MaRDI portal
Publication:600850
DOI10.1007/s10992-010-9133-7zbMath1207.03015OpenAlexW2091225478MaRDI QIDQ600850
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
Related Items
Proof-theoretic semantics, a problem with negation and prospects for modality, HARMONISING HARMONY, ON FLATTENING ELIMINATION RULES, BILATERAL RELEVANT LOGIC, HARMONIOUS RULES FOR IDENTITY, Is there a neutral metalanguage?, (Meta)inferential levels of entailment beyond the Tarskian paradigm, TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS, Proof-theoretic harmony: towards an intensional account, Unnamed Item, Anything goes, Dialogues, Reasons and Endorsement, On harmony and permuting conversions, General-elimination stability, Harmony in multiple-conclusion natural-deduction, WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS, Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different, The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony, HARMONIC INFERENTIALISM AND THE LOGIC OF IDENTITY, Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs, Proof, meaning and paradox: some remarks, PURE LOGIC OF ITERATED FULL GROUND, A new connective in natural deduction, and its application to quantum computing, Prawitz, Proofs, and Meaning, Inversion Principles and Introduction Rules, General-Elimination Harmony and Higher-Level Rules, Harmony in Proof-Theoretic Semantics: A Reductive Analysis, Paradox and Inconsistency: Revising Tennant’s Distinction Through Schroeder-Heister’s Assumption Rules, A new connective in natural deduction, and its application to quantum computing, Hopeful monsters: a note on multiple conclusions, Introducing identity, Steps towards a proof-theoretical semantics, Definite Descriptions in Intuitionist Positive Free Logic, ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS
Uses Software
Cites Work
- A note on harmony
- Natural deduction with general elimination rules
- Harmony and autonomy in classical logic
- Gentzen's Proof of Normalization for Natural Deduction
- On Inversion Principles
- A natural extension of natural deduction
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
