Identity and harmony

DOI10.1111/J.1467-8284.2004.00469.XMaRDI QIDQ4663371zbMATH OpenOpenAlexFDO

Authors Stephen Read

Publication date 30 March 2005

Full work available at URL https://doi.org/10.1111/j.1467-8284.2004.00469.x

zbMATH Keywords

identityindiscerniblesnatural deduction

Mathematics Subject Classification ID

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

Recommendations

• The harmony of identity
• Harmonious rules for identity
• On the equivalence of proofs involving identity
• Harmonic inferentialism and the logic of identity
• A note on harmony

Cited in

(22)

• On the equivalence of proofs involving identity
• Subatomic natural deduction for a naturalistic first-order language with non-primitive identity
• Introducing identity
• The calculus of natural calculation
• The harmony of identity
• Meta-inferences and supervaluationism
• Rules for subatomic derivation
• Assertion, Denial and Non-classical Theories
• Inversion principles and introduction rules
• Isomorphism invariance and overgeneration
• A new connective in natural deduction, and its application to quantum computing
• A new connective in natural deduction, and its application to quantum computing
• Identity and harmony and modality
• A novel approach to equality
• Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules
• The logicality of equality
• A quick overview on the quantum control approach to the lambda calculus
• Why should identity be logical??
• Inferentialism and uniformity
• Meaning is use: the case of propositional identity
• Qualified definiteness
• Inferentializing semantics

This page was built for publication: Identity and harmony

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4663371)