The following pages link to HARMONISING HARMONY (Q3195584):
Displaying 7 items.
- Subatomic natural deduction for a naturalistic first-order language with non-primitive identity (Q2011824) (← links)
- Proof, meaning and paradox: some remarks (Q2288280) (← links)
- Proof-theoretic harmony: towards an intensional account (Q2695033) (← links)
- (Q3003836) (← links)
- Peano's Counterexample to Harmony (Q3305303) (← links)
- Harmonious Extensions (Q4389016) (← links)
- (Q4936046) (← links)