Identity and harmony
From MaRDI portal
Publication:4663371
DOI10.1111/j.1467-8284.2004.00469.xzbMath1070.03007OpenAlexW2026760619MaRDI QIDQ4663371
Publication date: 30 March 2005
Full work available at URL: https://doi.org/10.1111/j.1467-8284.2004.00469.x
Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (15)
ISOMORPHISM INVARIANCE AND OVERGENERATION ⋮ Identity and harmony and modality ⋮ Meta-inferences and supervaluationism ⋮ A novel approach to equality ⋮ Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules ⋮ Assertion, Denial and Non-classical Theories ⋮ Subatomic natural deduction for a naturalistic first-order language with non-primitive identity ⋮ Inferentializing semantics ⋮ The harmony of identity ⋮ A new connective in natural deduction, and its application to quantum computing ⋮ Inversion Principles and Introduction Rules ⋮ A new connective in natural deduction, and its application to quantum computing ⋮ Introducing identity ⋮ RULES FOR SUBATOMIC DERIVATION ⋮ The calculus of natural calculation
This page was built for publication: Identity and harmony
