HARMONIC INFERENTIALISM AND THE LOGIC OF IDENTITY
From MaRDI portal
Publication:5741620
DOI10.1017/S1755020316000010zbMath1391.03015OpenAlexW2269690510MaRDI QIDQ5741620
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
Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (3)
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