The following pages link to HARMONIOUS RULES FOR IDENTITY (Q2940886):
Displaying 5 items.
- Subatomic natural deduction for a naturalistic first-order language with non-primitive identity (Q2011824) (← links)
- Introducing identity (Q2056224) (← links)
- The harmony of identity (Q2281316) (← links)
- HARMONIC INFERENTIALISM AND THE LOGIC OF IDENTITY (Q5741620) (← links)
- The logicality of equality (Q6612870) (← links)