The following pages link to HARMONISING HARMONY (Q3195584):
Displayed 4 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)
- Bilateral Rules as Complex Rules (Q6200469) (← links)