The harmony of identity

DOI10.1007/s10992-018-09499-0zbMath1457.03068OpenAlexW2910984308MaRDI QIDQ2281316

Ansten Mørch Klev

Publication date: 19 December 2019

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

Full work available at URL: https://doi.org/10.1007/s10992-018-09499-0

zbMATH Keywords

natural deductionidentitydefinition

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 ⋮ Introducing identity ⋮ The calculus of natural calculation

Cites Work

• Combinatory logic. With two sections by William Craig.
• Untersuchungen über das logische Schliessen. I
• Validity concepts in proof-theoretic semantics
• HARMONIOUS RULES FOR IDENTITY
• Identity and harmony
• Intensional interpretations of functionals of finite type I
• HARMONIC INFERENTIALISM AND THE LOGIC OF IDENTITY
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The harmony of identity