HARMONIC INFERENTIALISM AND THE LOGIC OF IDENTITY

DOI10.1017/S1755020316000010zbMath1391.03015OpenAlexW2269690510MaRDI QIDQ5741620

Stephen Read

Publication date: 29 July 2016

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020316000010

zbMATH Keywords

elimination ruleslogical inferentialismgeneral-elimination harmonyharmonic inferentialism

Mathematics Subject Classification ID

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

Related Items (3)

Identity and harmony and modality ⋮ The harmony of identity ⋮ Introducing identity

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A note on harmony
• General-elimination harmony and the meaning of the logical constants
• Proof analysis in modal logic
• Gentzen calculi for modal propositional logic
• Harmony and autonomy in classical logic
• Konstruktive Begründung der Mathematik
• HARMONIOUS RULES FOR IDENTITY
• On Inversion Principles
• A natural extension of natural deduction
• What are logical notions?
• Labelled propositional modal logics: theory and practice
• On the Concept of Following Logically
• Analytic natural deduction

This page was built for publication: HARMONIC INFERENTIALISM AND THE LOGIC OF IDENTITY