HARMONIOUS RULES FOR IDENTITY

DOI10.1017/S1755020314000161zbMath1345.03010MaRDI QIDQ2940886

Owen Griffiths

Publication date: 21 January 2015

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

zbMATH Keywords

identityharmonious inference rules

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Related Items (4)

HARMONIC INFERENTIALISM AND THE LOGIC OF IDENTITY ⋮ Subatomic natural deduction for a naturalistic first-order language with non-primitive identity ⋮ The harmony of identity ⋮ Introducing identity

Cites Work

• Unnamed Item
• General-elimination harmony and the meaning of the logical constants
• Not so stable

This page was built for publication: HARMONIOUS RULES FOR IDENTITY