Introducing identity

DOI10.1007/S10992-021-09605-9OpenAlexW4251452927MaRDI QIDQ2056224

Arif Ahmed, Owen Griffiths

Publication date: 2 December 2021

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-021-09605-9

zbMATH Keywords

identityproof-theoretic semanticsinferentialismlogical constantsmeaning-is-use

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• General-elimination harmony and the meaning of the logical constants
• The harmony of identity
• HARMONIOUS RULES FOR IDENTITY
• HOW A SEMANTICS FOR TONK SHOULD BE
• Identity and harmony
• HARMONIC INFERENTIALISM AND THE LOGIC OF IDENTITY

This page was built for publication: Introducing identity